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

InstanceResultTime
driverlog10_6UNSAT9.44
depots07_8UNSAT22.97
depots03_9UNSAT24.09
pipesnotankage13_5UNSAT27.86
pipesnotankage11_8UNSAT29.71
depots16_5UNSAT35.4
depots08_6UNSAT48.95
depots13_9SAT50.96
freecell02_4UNSAT60.56
pipesnotankage16_10UNSAT65.07
pipesnotankage15_10UNSAT65.17
pipesnotankage14_10UNSAT77.78
pipesnotankage17_6UNSAT78.51
pipesnotankage17_5UNSAT79.33
freecell02_6UNSAT89.59
pipesnotankage17_7UNSAT90.78
freecell03_6UNSAT174.57
freecell03_5UNSAT183.12
depots09_13UNSAT202.13
pipesnotankage18_7UNSAT202.15
pipesnotankage18_8UNSAT203.93
depots09_11UNSAT219.82
depots09_12UNSAT221.53
freecell03_7SAT227.84
pipesnotankage19_7UNSAT246.6
pipesnotankage19_9UNSAT300.74