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

InstanceResultTime
tlc05-nonuniform-depth-6UNSAT0.03
tlc04-nonuniform-depth-8UNSAT0.06
tlc03-nonuniform-depth-19UNSAT0.3
tlc04-nonuniform-depth-27UNSAT1.3
tlc02-nonuniform-depth-73UNSAT1.5
tlc01-nonuniform-depth-63UNSAT1.61
tlc03-nonuniform-depth-67UNSAT3
tlc05-nonuniform-depth-73UNSAT12.12
tlc04-nonuniform-depth-64UNSAT14.49
tlc02-uniform-depth-151UNSAT32.71