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

InstanceResultTime
pipesnotankage04_5UNSAT0.34
driverlog10_6UNSAT0.71
depots07_8UNSAT5.39
driverlog12_7UNSAT5.65
depots03_9UNSAT6.33
driverlog13_6UNSAT9.27
pipesnotankage11_8UNSAT34.51
depots08_6UNSAT36.1
pipesnotankage13_5UNSAT47.17
depots16_5UNSAT71.67
depots13_9SAT83.02
freecell02_4UNSAT125.52
pipesnotankage15_10UNSAT139.61
pipesnotankage16_10UNSAT142.46
pipesnotankage14_10UNSAT161.62
freecell02_6UNSAT207.35
pipesnotankage17_5UNSAT207.87
pipesnotankage17_7UNSAT216.59
pipesnotankage17_6UNSAT220.13
freecell03_5UNSAT288.29
freecell03_6UNSAT288.56
freecell03_7SAT380.37
pipesnotankage19_7UNSAT459.81
pipesnotankage18_8UNSAT466.74
pipesnotankage18_7UNSAT476.23
depots09_12UNSAT587.02
depots09_11UNSAT607.61
depots09_13UNSAT817.09
pipesnotankage19_9UNSAT881.23