phyLS/benchmarks/router.aig