Instances of family Planning-CTE solved by Rareqs_2018
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
driverlog10_6UNSAT0.68
depots07_8UNSAT5.53
depots03_9UNSAT6.54
pipesnotankage11_8UNSAT35.79
depots08_6UNSAT37.54
pipesnotankage13_5UNSAT48.88
depots16_5UNSAT75.81
depots13_9SAT96.67
freecell02_4UNSAT138.98
pipesnotankage15_10UNSAT144.08
pipesnotankage16_10UNSAT147.58
pipesnotankage14_10UNSAT167.12
pipesnotankage17_7UNSAT231.59
pipesnotankage17_5UNSAT234.59
pipesnotankage17_6UNSAT234.8
freecell02_6UNSAT235.64
freecell03_5UNSAT276.61
freecell03_6UNSAT303.88
freecell03_7SAT429.4
pipesnotankage18_8UNSAT500.91
pipesnotankage19_7UNSAT508.45
depots09_11UNSAT631.93
depots09_12UNSAT671.55
pipesnotankage18_7UNSAT725.52
depots09_13UNSAT809.7
pipesnotankage19_9FAIL900.07