Instances of family trafficlight-controller solved by xb-qsts_bqsts2.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
tlc05-nonuniform-depth-6UNSAT0.28
tlc04-nonuniform-depth-8UNSAT0.54
tlc03-nonuniform-depth-19UNSAT2.51
tlc04-nonuniform-depth-27UNSAT5.75
tlc01-nonuniform-depth-63UNSAT10.19
tlc02-nonuniform-depth-73UNSAT15.4
tlc03-nonuniform-depth-67UNSAT17.84
tlc04-nonuniform-depth-64UNSAT23.1
tlc05-nonuniform-depth-73UNSAT26.76
tlc02-uniform-depth-151UNSAT52.2