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

InstanceResultTime
tlc03-uniform-depth-9UNSAT0.09
tlc03-nonuniform-depth-17UNSAT0.24
tlc03-uniform-depth-21UNSAT0.32
tlc04-uniform-depth-36UNSAT1.42
tlc01-uniform-depth-73UNSAT1.44
tlc03-uniform-depth-52UNSAT2.68
tlc02-uniform-depth-114UNSAT3.27
tlc04-nonuniform-depth-56UNSAT5.51
tlc04-nonuniform-depth-98UNSAT14.97
tlc02-uniform-depth-241UNSAT57.99