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

InstanceResultTime
tlc03-uniform-depth-9UNSAT1.06
tlc03-nonuniform-depth-17UNSAT1.08
tlc03-uniform-depth-21UNSAT1.09
tlc03-uniform-depth-52UNSAT1.15
tlc01-uniform-depth-73UNSAT1.16
tlc04-nonuniform-depth-56UNSAT4.15
tlc04-nonuniform-depth-98UNSAT17.21
tlc02-uniform-depth-114UNSAT72.38
tlc02-uniform-depth-241UNSAT378.17
tlc04-uniform-depth-36FAIL600