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

InstanceResultTime
driverlog10_6UNSAT9.41
depots07_8UNSAT23.1
depots03_9UNSAT24.16
pipesnotankage13_5UNSAT27.87
pipesnotankage11_8UNSAT29.58
depots16_5UNSAT35.12
depots08_6UNSAT49.32
depots13_9SAT52.15
freecell02_4UNSAT60.04
pipesnotankage15_10UNSAT65.24
pipesnotankage16_10UNSAT65.42
pipesnotankage14_10UNSAT77.95
pipesnotankage17_5UNSAT79.08
pipesnotankage17_6UNSAT79.31
freecell02_6UNSAT89.6
pipesnotankage17_7UNSAT90.3
freecell03_6UNSAT171.03
freecell03_5UNSAT186.61
depots09_13UNSAT202.94
pipesnotankage18_7UNSAT204.18
pipesnotankage18_8UNSAT205.13
depots09_12UNSAT218.51
depots09_11UNSAT220.56
freecell03_7SAT228.15
pipesnotankage19_7UNSAT246.33
pipesnotankage19_9UNSAT298.43