Instances of family Planning-CTE solved by ijtihad_v1
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
pipesnotankage04_5UNSAT0.22
driverlog10_6UNSAT0.46
depots03_9UNSAT2.92
driverlog12_7UNSAT3.59
depots07_8UNSAT4.34
driverlog13_6UNSAT7.01
depots08_6UNSAT29.51
pipesnotankage11_8UNSAT31.04
pipesnotankage13_5UNSAT39.68
depots13_9SAT40.06
depots16_5UNSAT62.08
pipesnotankage16_10UNSAT86.49
pipesnotankage15_10UNSAT90.03
pipesnotankage14_10UNSAT106.21
freecell02_4UNSAT121.53
pipesnotankage17_6UNSAT195.85
pipesnotankage17_7UNSAT198.41
pipesnotankage17_5UNSAT200.48
freecell02_6UNSAT200.72
freecell03_6UNSAT235.02
freecell03_5UNSAT244.17
freecell03_7SAT307.93
depots09_13UNSAT363.84
depots09_12UNSAT366.58
pipesnotankage18_7UNSAT368.43
pipesnotankage18_8UNSAT375.17
depots09_11UNSAT393.2
pipesnotankage19_7UNSAT420.08
pipesnotankage19_9UNSAT640.47