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

InstanceResultTime
pipesnotankage04_5UNSAT0.19
driverlog10_6UNSAT0.43
driverlog12_7UNSAT1.43
driverlog13_6UNSAT1.82
depots03_9UNSAT1.93
depots07_8UNSAT2.88
depots08_6UNSAT4.85
pipesnotankage13_5UNSAT5.63
depots16_5UNSAT7.43
pipesnotankage11_8UNSAT7.79
freecell02_4UNSAT8.29
freecell02_6UNSAT12.76
pipesnotankage17_6UNSAT15.55
pipesnotankage17_7UNSAT15.55
pipesnotankage17_5UNSAT15.74
pipesnotankage15_10UNSAT16.56
pipesnotankage16_10UNSAT16.78
pipesnotankage14_10UNSAT18.31
freecell03_6UNSAT19.05
freecell03_5UNSAT19.08
depots13_9SAT19.88
freecell03_7SAT38.59
pipesnotankage18_7UNSAT44.54
pipesnotankage18_8UNSAT44.55
pipesnotankage19_7UNSAT47.13
depots09_12UNSAT49.3
depots09_11UNSAT49.64
depots09_13UNSAT60.15
pipesnotankage19_9UNSAT68.56