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

InstanceResultTime
depots09_13FAIL117.83
pipesnotankage17_5FAIL120.72
pipesnotankage19_7FAIL122.03
depots09_12FAIL123.73
pipesnotankage17_7FAIL123.91
freecell03_5FAIL124.35
depots09_11FAIL125.15
freecell02_6FAIL125.39
pipesnotankage19_9FAIL126.04
freecell02_4FAIL126.99
depots13_9FAIL132.7
pipesnotankage17_6FAIL144.03
pipesnotankage04_5FAIL247.71
freecell03_7FAIL495.44
pipesnotankage16_10FAIL496.8
pipesnotankage14_10FAIL498.37
pipesnotankage13_5FAIL512.55
pipesnotankage18_8FAIL526.02
depots16_5FAIL537.41
freecell03_6FAIL546.5
pipesnotankage11_8FAIL635.32
pipesnotankage15_10FAIL676.37
pipesnotankage18_7FAIL692.73
driverlog12_7FAIL900
depots07_8FAIL900
driverlog13_6FAIL900
depots08_6FAIL900
depots03_9FAIL900
driverlog10_6FAIL900