Instances of family Planning-CTE solved by Iprover-HQSpre-Bloqqer
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
driverlog10_6UNSAT3.33
depots07_8UNSAT13.38
depots03_9UNSAT15.78
pipesnotankage13_5UNSAT21.47
pipesnotankage11_8UNSAT21.49
depots16_5UNSAT28.31
freecell02_4UNSAT36.49
depots08_6UNSAT37.01
depots13_9SAT42.66
pipesnotankage16_10UNSAT46.78
pipesnotankage14_10UNSAT50.25
pipesnotankage15_10UNSAT50.49
pipesnotankage17_5UNSAT62.41
freecell02_6UNSAT66.11
pipesnotankage17_7UNSAT67.77
pipesnotankage17_6UNSAT67.96
freecell03_6UNSAT118.86
freecell03_5UNSAT119.57
pipesnotankage18_7UNSAT133.48
pipesnotankage18_8UNSAT133.53
depots09_13UNSAT148.62
freecell03_7SAT166.61
depots09_12UNSAT171.96
depots09_11UNSAT172.14
pipesnotankage19_7UNSAT187.35
pipesnotankage19_9UNSAT213.9