Instances of family Planning-CTE solved by CUED1919_NL
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
pipesnotankage17_5FAIL100.13
pipesnotankage19_9FAIL118.18
pipesnotankage19_7FAIL118.73
pipesnotankage17_7FAIL119.1
depots09_13FAIL119.75
pipesnotankage17_6FAIL120.2
depots09_11FAIL121.67
depots09_12FAIL123.87
freecell02_4FAIL124.24
freecell02_6FAIL125.96
freecell03_5FAIL126.83
depots13_9FAIL138.69
driverlog10_6FAIL314.79
pipesnotankage04_5FAIL385.39
driverlog13_6FAIL443.61
driverlog12_7FAIL462.64
pipesnotankage13_5FAIL467.71
pipesnotankage18_8FAIL483.37
freecell03_7FAIL499.06
depots03_9FAIL500.43
freecell03_6FAIL501.82
pipesnotankage14_10FAIL527.36
pipesnotankage18_7FAIL535.17
pipesnotankage16_10FAIL555.64
depots16_5FAIL606.11
depots07_8FAIL622.4
pipesnotankage15_10FAIL643.95
pipesnotankage11_8FAIL666.8
depots08_6FAIL738.75