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

InstanceResultTime
driverlog10_6UNSAT8.61
depots07_8UNSAT22.74
depots03_9UNSAT23.79
pipesnotankage13_5UNSAT26.84
pipesnotankage11_8UNSAT27.89
depots16_5UNSAT33.29
depots08_6UNSAT49.07
depots13_9SAT50.19
freecell02_4UNSAT59.49
pipesnotankage15_10UNSAT62.11
pipesnotankage16_10UNSAT67.39
pipesnotankage17_6UNSAT76.26
pipesnotankage17_5UNSAT76.95
pipesnotankage14_10UNSAT80.06
pipesnotankage17_7UNSAT86.15
freecell02_6UNSAT87.97
pipesnotankage18_8UNSAT196.22
pipesnotankage18_7UNSAT200.72
depots09_12UNSAT214.52
depots09_11UNSAT214.8
depots09_13UNSAT219.85
pipesnotankage19_7UNSAT234.21
freecell03_7SAT251.65
freecell03_6UNSAT273.93
pipesnotankage19_9UNSAT292.23
freecell03_5UNSAT306.96