Instances of family Planning-CTE solved by Qute_random
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
pipesnotankage04_5UNSAT7.55
driverlog10_6UNSAT8.55
driverlog12_7UNSAT13.84
driverlog13_6UNSAT19.35
depots07_8UNSAT22.07
depots03_9UNSAT23.48
pipesnotankage13_5UNSAT26.33
pipesnotankage11_8UNSAT27.37
depots16_5UNSAT32.77
depots08_6UNSAT47.76
depots13_9SAT49.29
freecell02_4UNSAT58.16
pipesnotankage15_10UNSAT60.78
pipesnotankage16_10UNSAT61.5
pipesnotankage14_10UNSAT73.09
pipesnotankage17_6UNSAT73.74
pipesnotankage17_5UNSAT74.12
freecell02_6UNSAT84.48
pipesnotankage17_7UNSAT85.82
freecell03_6UNSAT168.13
freecell03_5UNSAT180.45
pipesnotankage18_7UNSAT189.24
depots09_13UNSAT191.1
pipesnotankage18_8UNSAT195.98
depots09_12UNSAT206.46
depots09_11UNSAT207.29
freecell03_7SAT212.9
pipesnotankage19_7UNSAT229.69
pipesnotankage19_9UNSAT278.53