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

InstanceResultTime
pipesnotankage04_5UNSAT7.63
driverlog10_6UNSAT8.52
driverlog12_7UNSAT13.76
driverlog13_6UNSAT19.34
depots07_8UNSAT22.12
depots03_9UNSAT23.59
pipesnotankage13_5UNSAT26.34
pipesnotankage11_8UNSAT27.4
depots16_5UNSAT32.92
depots08_6UNSAT47.66
depots13_9SAT49.03
freecell02_4UNSAT57.9
pipesnotankage15_10UNSAT61
pipesnotankage16_10UNSAT61.35
pipesnotankage14_10UNSAT72.29
pipesnotankage17_5UNSAT74.98
pipesnotankage17_6UNSAT75.24
freecell02_6UNSAT84.12
pipesnotankage17_7UNSAT84.89
freecell03_6UNSAT166.61
freecell03_5UNSAT173.37
pipesnotankage18_7UNSAT190.75
depots09_13UNSAT192.03
pipesnotankage18_8UNSAT196.88
depots09_11UNSAT209.36
depots09_12UNSAT209.51
freecell03_7SAT219.75
pipesnotankage19_7UNSAT234.07
pipesnotankage19_9UNSAT284.57