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

InstanceResultTime
driverlog10_7SAT3.65
driverlog11_8UNSAT5.69
driverlog10_6UNSAT9.48
driverlog12_8UNSAT9.51
driverlog13_7UNSAT11.6
driverlog13_8UNSAT12.03
driverlog11_9SAT12.11
freecell01_6SAT14.13
driverlog14_8UNSAT17.2
driverlog12_9UNSAT20.1
depots07_8UNSAT23.06
depots03_9UNSAT24.15
depots16_5UNSAT35.39
depots08_6UNSAT49.32
depots13_9SAT51.48
freecell02_4UNSAT60.77
freecell02_5UNSAT61.12
pipesnotankage15_10UNSAT65.05
pipesnotankage16_10UNSAT66.3
depots10_8UNSAT71.77
depots16_7UNSAT73.66
pipesnotankage14_10UNSAT78.38
pipesnotankage17_6UNSAT79.68
pipesnotankage17_5UNSAT79.89
pipesnotankage17_7UNSAT90.52
freecell02_6UNSAT90.74
freecell03_6UNSAT174.31
freecell03_5UNSAT187.01
pipesnotankage18_7UNSAT201.94
depots09_13UNSAT204.29
pipesnotankage18_8UNSAT205.69
depots09_12UNSAT222.6
depots09_11UNSAT223.09
freecell03_7SAT228.56
pipesnotankage19_7UNSAT245.81
pipesnotankage19_9UNSAT302.11
freecell04_9UNSAT556.12
freecell04_8UNSAT756.4
driverlog14_9FAIL900
freecell04_7FAIL900