Instances of family Planning-CTE solved by Caqe-hqspre
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
driverlog10_6UNSAT3.27
depots07_8UNSAT13.45
depots03_9UNSAT15.77
pipesnotankage11_8UNSAT20.53
pipesnotankage13_5UNSAT21.46
depots16_5UNSAT27.58
depots08_6UNSAT36.53
freecell02_4UNSAT36.69
depots13_9SAT39.06
pipesnotankage16_10UNSAT47.44
pipesnotankage15_10UNSAT48.09
pipesnotankage14_10UNSAT51.19
freecell02_6UNSAT60.33
pipesnotankage17_5UNSAT64.03
pipesnotankage17_6UNSAT64.05
pipesnotankage17_7UNSAT64.07
freecell03_5UNSAT105.47
freecell03_6UNSAT105.83
pipesnotankage18_7UNSAT134.61
pipesnotankage18_8UNSAT134.68
freecell03_7SAT147.02
depots09_13UNSAT151.77
pipesnotankage19_7UNSAT162.53
depots09_11UNSAT171.34
depots09_12UNSAT173.69
pipesnotankage19_9UNSAT215.42