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

InstanceResultTime
pipesnotankage04_5UNSAT0.22
driverlog10_6UNSAT0.46
depots03_9UNSAT2.91
driverlog12_7UNSAT3.61
depots07_8UNSAT4.35
driverlog13_6UNSAT6.98
depots08_6UNSAT29.55
pipesnotankage11_8UNSAT30.86
pipesnotankage13_5UNSAT39.55
depots13_9SAT39.93
depots16_5UNSAT61.73
pipesnotankage16_10UNSAT87.84
pipesnotankage15_10UNSAT88.84
pipesnotankage14_10UNSAT105.72
freecell02_4UNSAT118.87
pipesnotankage17_6UNSAT183.65
pipesnotankage17_5UNSAT195.81
pipesnotankage17_7UNSAT199.16
freecell02_6UNSAT204.6
freecell03_5UNSAT242.82
freecell03_6UNSAT243.94
freecell03_7SAT284.01
pipesnotankage18_7UNSAT344.01
depots09_11UNSAT363.35
pipesnotankage18_8UNSAT377.92
depots09_12UNSAT383.24
depots09_13UNSAT383.98
pipesnotankage19_7UNSAT430.16
pipesnotankage19_9UNSAT630.78