Instances of family trafficlight-controller solved by iprover-QBF-bloqqer
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
tlc03-uniform-depth-9FAIL0.64
tlc03-nonuniform-depth-17UNSAT2.44
tlc03-uniform-depth-21FAIL2.89
tlc03-uniform-depth-52UNSAT13.29
tlc01-uniform-depth-73UNSAT16.22
tlc04-uniform-depth-36UNSAT28.91
tlc02-uniform-depth-114UNSAT131.66
tlc04-nonuniform-depth-56UNSAT315.49
tlc04-nonuniform-depth-98FAIL584.43
tlc02-uniform-depth-241FAIL599.12