phyLS/benchmarks/voter.aig