Instances of family Planning-CTE solved by caqe-pre
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
driverlog10_6UNSAT3.24
depots07_8UNSAT13.4
depots03_9UNSAT15.73
pipesnotankage11_8UNSAT20.29
pipesnotankage13_5UNSAT21.47
depots16_5UNSAT27.62
depots08_6UNSAT35.97
freecell02_4UNSAT36.31
depots13_9SAT39.31
pipesnotankage16_10UNSAT47.17
pipesnotankage15_10UNSAT48.09
pipesnotankage14_10UNSAT51.27
freecell02_6UNSAT60.38
pipesnotankage17_7UNSAT63.83
pipesnotankage17_5UNSAT64.33
pipesnotankage17_6UNSAT64.4
freecell03_6UNSAT105.43
freecell03_5UNSAT105.76
pipesnotankage18_7UNSAT134.36
pipesnotankage18_8UNSAT135.26
freecell03_7SAT147.19
depots09_13UNSAT151.65
pipesnotankage19_7UNSAT160.8
depots09_11UNSAT170.63
depots09_12UNSAT173.39
pipesnotankage19_9UNSAT218.81