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

InstanceResultTime
driverlog10_6UNSAT8.61
depots07_8UNSAT22.76
depots03_9UNSAT23.62
pipesnotankage11_8UNSAT27.83
pipesnotankage13_5UNSAT28.29
depots16_5UNSAT33.59
depots08_6UNSAT48.94
depots13_9SAT50.09
freecell02_4UNSAT59.74
pipesnotankage16_10UNSAT62.79
pipesnotankage15_10UNSAT66.89
pipesnotankage17_6UNSAT77.12
pipesnotankage14_10UNSAT80.01
pipesnotankage17_5UNSAT83.64
freecell02_6UNSAT87.99
pipesnotankage17_7UNSAT130.33
freecell03_6UNSAT172.48
freecell03_5UNSAT185.96
depots09_13UNSAT196.85
pipesnotankage18_8UNSAT200.69
pipesnotankage18_7UNSAT201.3
depots09_11UNSAT214.92
freecell03_7SAT225.66
depots09_12UNSAT237.74
pipesnotankage19_7UNSAT273.4
pipesnotankage19_9UNSAT296.56