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

InstanceResultTime
driverlog10_6UNSAT0.34
depots03_9UNSAT2.98
depots07_8UNSAT4.46
depots08_6UNSAT30.49
pipesnotankage11_8UNSAT31.89
pipesnotankage13_5UNSAT40.97
depots13_9SAT41.31
depots16_5UNSAT64.18
pipesnotankage15_10UNSAT92.16
pipesnotankage16_10UNSAT93.49
pipesnotankage14_10UNSAT109.11
freecell02_4UNSAT125.54
pipesnotankage17_5UNSAT188.03
pipesnotankage17_7UNSAT205.46
pipesnotankage17_6UNSAT206.29
freecell02_6UNSAT210.25
freecell03_6UNSAT251.66
freecell03_7SAT320.13
freecell03_5UNSAT327.82
depots09_12UNSAT374.8
pipesnotankage18_7UNSAT389.97
pipesnotankage18_8UNSAT390.08
depots09_11UNSAT412.72
depots09_13UNSAT533.93
pipesnotankage19_7UNSAT590.09
pipesnotankage19_9UNSAT726.71