Instances of family trafficlight-controller solved by caqe-minisat
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
tlc03-uniform-depth-9UNSAT0.63
tlc03-nonuniform-depth-17UNSAT2.11
tlc03-uniform-depth-21UNSAT2.97
tlc03-uniform-depth-52UNSAT11.16
tlc01-uniform-depth-73UNSAT11.23
tlc02-uniform-depth-114UNSAT31.45
tlc04-nonuniform-depth-56UNSAT31.72
tlc04-nonuniform-depth-98UNSAT82.83
tlc02-uniform-depth-241UNSAT116.58
tlc04-uniform-depth-36FAIL599.75