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

InstanceResultTime
driverlog10_7SAT3.67
driverlog11_8UNSAT5.48
driverlog10_6UNSAT9.52
driverlog12_8UNSAT9.61
driverlog13_7UNSAT11.42
driverlog11_9SAT11.97
driverlog13_8UNSAT12.08
freecell01_6SAT14.09
driverlog14_8UNSAT17.13
driverlog12_9UNSAT19.75
depots07_8UNSAT23.19
depots03_9UNSAT24.1
depots16_5UNSAT35.4
depots08_6UNSAT48.84
depots13_9SAT51.79
freecell02_4UNSAT60.79
freecell02_5UNSAT60.79
pipesnotankage15_10UNSAT65.57
pipesnotankage16_10UNSAT66.19
depots10_8UNSAT71.74
depots16_7UNSAT74.48
pipesnotankage14_10UNSAT78.73
pipesnotankage17_5UNSAT79.64
pipesnotankage17_6UNSAT80.22
freecell02_6UNSAT90.79
pipesnotankage17_7UNSAT90.79
freecell03_6UNSAT175.15
freecell03_5UNSAT183.96
depots09_13UNSAT204.08
pipesnotankage18_7UNSAT206.14
pipesnotankage18_8UNSAT206.47
depots09_11UNSAT222.17
depots09_12UNSAT222.63
freecell03_7SAT230.3
pipesnotankage19_7UNSAT242.43
pipesnotankage19_9UNSAT302.78
freecell04_9UNSAT484.32
freecell04_8UNSAT652.98
driverlog14_9FAIL900
freecell04_7FAIL900