Instances of family trafficlight-controller solved by ghostq-cegar
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
tlc03-uniform-depth-9UNSAT1.04
tlc03-nonuniform-depth-17UNSAT1.94
tlc03-uniform-depth-21UNSAT2.64
tlc02-uniform-depth-114FAIL4.46
tlc04-uniform-depth-36UNSAT5.21
tlc03-uniform-depth-52UNSAT7.02
tlc01-uniform-depth-73UNSAT7.51
tlc02-uniform-depth-241FAIL8.32
tlc04-nonuniform-depth-56UNSAT8.35
tlc04-nonuniform-depth-98UNSAT12.79