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

InstanceResultTime
tlc03-uniform-depth-9UNSAT0.82
tlc03-nonuniform-depth-17UNSAT1.41
tlc03-uniform-depth-21UNSAT3.07
tlc03-uniform-depth-52UNSAT16.46
tlc01-uniform-depth-73UNSAT30.93
tlc04-uniform-depth-36UNSAT116.1
tlc04-nonuniform-depth-56UNSAT300.21
tlc02-uniform-depth-114UNSAT362.25
tlc02-uniform-depth-241FAIL599.22
tlc04-nonuniform-depth-98FAIL599.32