phyLS/benchmarks/ctrl.aig