Instances of family Planning-CTE solved by Qute_default
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
driverlog10_6UNSAT8.6
depots07_8UNSAT22.69
depots03_9UNSAT23.46
pipesnotankage13_5UNSAT26.92
pipesnotankage11_8UNSAT27.98
depots16_5UNSAT33.41
depots08_6UNSAT48.16
depots13_9SAT53.56
pipesnotankage16_10UNSAT62.79
freecell02_4UNSAT63.71
pipesnotankage17_5UNSAT77.08
pipesnotankage17_6UNSAT83.64
freecell02_6UNSAT87.4
pipesnotankage17_7UNSAT87.56
pipesnotankage15_10UNSAT91.1
pipesnotankage14_10UNSAT110.03
freecell03_6UNSAT167.01
freecell03_5UNSAT185.8
depots09_13UNSAT196.05
pipesnotankage18_7UNSAT201.53
depots09_11UNSAT214.4
depots09_12UNSAT214.48
pipesnotankage18_8UNSAT222.35
pipesnotankage19_7UNSAT235.48
freecell03_7SAT254.23
pipesnotankage19_9UNSAT294.56