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

InstanceResultTime
tlc03-uniform-depth-9UNSAT0.59
tlc03-nonuniform-depth-17UNSAT2.07
tlc03-uniform-depth-21UNSAT2.85
tlc04-uniform-depth-36UNSAT9.47
tlc03-uniform-depth-52UNSAT11.51
tlc01-uniform-depth-73UNSAT12.18
tlc04-nonuniform-depth-56UNSAT20.11
tlc02-uniform-depth-114UNSAT30.83
tlc04-nonuniform-depth-98UNSAT54.12
tlc02-uniform-depth-241UNSAT122.23