Instances of family trafficlight-controller solved by caqe-minisat-par
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
tlc03-uniform-depth-9UNSAT0.31
tlc03-nonuniform-depth-17UNSAT1.15
tlc03-uniform-depth-21UNSAT1.54
tlc03-uniform-depth-52UNSAT6.23
tlc01-uniform-depth-73UNSAT6.52
tlc02-uniform-depth-114UNSAT17.7
tlc04-nonuniform-depth-56UNSAT18.43
tlc04-nonuniform-depth-98UNSAT49.77
tlc02-uniform-depth-241UNSAT81.92
tlc04-uniform-depth-36FAIL600