Instances of family Planning-CTE solved by xb-qsts_xbqsts1.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
pipesnotankage04_5UNSAT35.09
driverlog13_6UNSAT81.81
driverlog12_7UNSAT89.54
pipesnotankage13_5UNSAT813.44
depots07_8UNSAT868.05
freecell03_7FAIL894.71
freecell03_6FAIL896
freecell03_5FAIL896.01
depots08_6FAIL900
freecell02_4FAIL900
pipesnotankage15_10FAIL900
depots09_11FAIL900
freecell02_6FAIL900
pipesnotankage16_10FAIL900
depots03_9FAIL900
depots09_12FAIL900
pipesnotankage17_5FAIL900
driverlog10_6FAIL900
depots09_13FAIL900
pipesnotankage17_6FAIL900
pipesnotankage14_10FAIL900
depots13_9FAIL900
pipesnotankage17_7FAIL900
pipesnotankage18_7FAIL900
depots16_5FAIL900
pipesnotankage19_7FAIL900
pipesnotankage18_8FAIL900
pipesnotankage11_8FAIL900
pipesnotankage19_9FAIL900