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

InstanceResultTime
tlc03-uniform-depth-9UNSAT0.06
tlc03-nonuniform-depth-17UNSAT0.15
tlc03-uniform-depth-21UNSAT0.21
tlc04-uniform-depth-36UNSAT0.77
tlc03-uniform-depth-52UNSAT1.25
tlc01-uniform-depth-73UNSAT1.34
tlc02-uniform-depth-114UNSAT2.46
tlc04-nonuniform-depth-56UNSAT5.22
tlc04-nonuniform-depth-98UNSAT14.22
tlc02-uniform-depth-241UNSAT25