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

InstanceResultTime
driverlog10_6UNSAT0.33
depots03_9UNSAT2.95
depots07_8UNSAT4.52
depots08_6UNSAT30.54
pipesnotankage11_8UNSAT31.97
pipesnotankage13_5UNSAT40.87
depots13_9SAT41.76
depots16_5UNSAT64.17
pipesnotankage15_10UNSAT92.61
pipesnotankage16_10UNSAT93.26
pipesnotankage14_10UNSAT109.53
freecell02_4UNSAT182.94
pipesnotankage17_7UNSAT205.33
pipesnotankage17_6UNSAT206.31
pipesnotankage17_5UNSAT206.64
freecell02_6UNSAT210.92
freecell03_5UNSAT251.55
freecell03_7SAT318.65
freecell03_6UNSAT342.69
pipesnotankage18_7UNSAT347.7
pipesnotankage18_8UNSAT356.8
depots09_11UNSAT399.81
depots09_12UNSAT402.26
pipesnotankage19_7UNSAT478.98
depots09_13UNSAT533.09
pipesnotankage19_9UNSAT711.68