Instances of family Planning-CTE solved by ijtihad
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
driverlog10_6UNSAT0.33
depots03_9UNSAT2.97
depots07_8UNSAT4.42
depots08_6UNSAT30.46
pipesnotankage11_8UNSAT31.97
pipesnotankage13_5UNSAT40.83
depots13_9SAT41.16
depots16_5UNSAT64.37
pipesnotankage16_10UNSAT92.89
pipesnotankage14_10UNSAT109.63
freecell02_4UNSAT125.05
pipesnotankage15_10UNSAT134.88
pipesnotankage17_7UNSAT191.63
pipesnotankage17_5UNSAT201.37
pipesnotankage17_6UNSAT206.16
freecell02_6UNSAT210.93
freecell03_6UNSAT251.13
freecell03_5UNSAT252.91
freecell03_7SAT315.06
pipesnotankage18_8UNSAT363.88
pipesnotankage18_7UNSAT388.02
depots09_13UNSAT391.1
depots09_11UNSAT394.83
depots09_12UNSAT409.22
pipesnotankage19_7UNSAT462.18
pipesnotankage19_9UNSAT704.04