Instances of family trafficlight-controller solved by xb-bid-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
tlc03-uniform-depth-9UNSAT0.59
tlc03-nonuniform-depth-17UNSAT1.97
tlc03-uniform-depth-21UNSAT2.83
tlc04-uniform-depth-36UNSAT9.49
tlc03-uniform-depth-52UNSAT11.66
tlc01-uniform-depth-73UNSAT12.15
tlc04-nonuniform-depth-56UNSAT22.98
tlc02-uniform-depth-114UNSAT30.73
tlc04-nonuniform-depth-98UNSAT69.06
tlc02-uniform-depth-241UNSAT121