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

InstanceResultTime
driverlog10_6UNSAT16.27
depots03_9UNSAT38.19
depots07_8UNSAT43.11
depots08_6UNSAT58.73
pipesnotankage13_5UNSAT87.34
pipesnotankage11_8UNSAT90.61
depots16_5UNSAT104.61
depots13_9SAT116.2
pipesnotankage16_10UNSAT138.06
pipesnotankage15_10UNSAT138.24
pipesnotankage14_10UNSAT152.28
freecell02_4UNSAT162.1
pipesnotankage17_5UNSAT166.47
freecell02_6UNSAT172.81
pipesnotankage17_7UNSAT175.32
pipesnotankage17_6UNSAT322.61
freecell03_6UNSAT391.74
freecell03_5UNSAT406.4
pipesnotankage18_7UNSAT439.7
depots09_11UNSAT485.96
depots09_12UNSAT486.37
pipesnotankage18_8UNSAT493.02
pipesnotankage19_7UNSAT494.7
freecell03_7SAT495.59
pipesnotankage19_9UNSAT611.54
depots09_13FAIL900.01