Instances of family trafficlight-controller solved by rareqs
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
tlc05-nonuniform-depth-6UNSAT0.03
tlc04-nonuniform-depth-8UNSAT0.05
tlc03-nonuniform-depth-19UNSAT0.24
tlc04-nonuniform-depth-27UNSAT0.59
tlc01-nonuniform-depth-63UNSAT0.63
tlc03-nonuniform-depth-67UNSAT1.07
tlc02-nonuniform-depth-73UNSAT1.53
tlc04-nonuniform-depth-64UNSAT1.78
tlc05-nonuniform-depth-73UNSAT1.83
tlc02-uniform-depth-151UNSAT5.26