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

InstanceResultTime
pipesnotankage04_5UNSAT7.51
driverlog10_6UNSAT8.56
driverlog12_7UNSAT13.84
driverlog13_6UNSAT19.41
depots07_8UNSAT22.3
depots03_9UNSAT23.59
pipesnotankage13_5UNSAT26.42
pipesnotankage11_8UNSAT27.46
depots16_5UNSAT32.71
depots08_6UNSAT47.67
depots13_9SAT49.2
freecell02_4UNSAT56.65
pipesnotankage16_10UNSAT60.48
pipesnotankage15_10UNSAT60.92
pipesnotankage14_10UNSAT73.16
pipesnotankage17_5UNSAT75.16
pipesnotankage17_6UNSAT75.32
freecell02_6UNSAT84.07
pipesnotankage17_7UNSAT85.95
freecell03_6UNSAT170.22
freecell03_5UNSAT180.01
depots09_13UNSAT190.54
pipesnotankage18_8UNSAT195.54
pipesnotankage18_7UNSAT196.79
depots09_11UNSAT209.14
depots09_12UNSAT209.81
freecell03_7SAT219.7
pipesnotankage19_7UNSAT237.15
pipesnotankage19_9UNSAT286.68