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

InstanceResultTime
tlc05-nonuniform-depth-6FAIL0.17
tlc04-nonuniform-depth-8FAIL0.29
tlc03-nonuniform-depth-19FAIL1.33
tlc04-nonuniform-depth-27FAIL2.62
tlc02-nonuniform-depth-73FAIL10.7
tlc01-nonuniform-depth-63FAIL27.4
tlc04-nonuniform-depth-64FAIL27.89
tlc03-nonuniform-depth-67FAIL32.03
tlc05-nonuniform-depth-73FAIL36.72
tlc02-uniform-depth-151FAIL50.91