Sota solver results for family Planning-CTE
QBFEVAL'17 - Prenex CNF Track


InstanceSolverResultTime
depots03_9QELL_defaultUNSAT1.93
depots07_8QELL_defaultUNSAT2.88
depots08_6QELL_defaultUNSAT4.85
depots09_11QELL_defaultUNSAT49.64
depots09_12QELL_defaultUNSAT49.3
depots09_13QELL_defaultUNSAT60.15
depots13_9QELL_unitSAT19.45
depots16_5QELL_defaultUNSAT7.43
driverlog10_6QELL_defaultUNSAT0.43
driverlog12_7QELL_defaultUNSAT1.43
driverlog13_6QELL_defaultUNSAT1.82
freecell02_4QELL_defaultUNSAT8.29
freecell02_6QELL_defaultUNSAT12.76
freecell03_5QELL_defaultUNSAT19.08
freecell03_6QELL_defaultUNSAT19.05
freecell03_7QELL_unitSAT36.38
pipesnotankage04_5QELL_defaultUNSAT0.19
pipesnotankage11_8QELL_defaultUNSAT7.79
pipesnotankage13_5QELL_defaultUNSAT5.63
pipesnotankage14_10QELL_defaultUNSAT18.31
pipesnotankage15_10QELL_defaultUNSAT16.56
pipesnotankage16_10QELL_defaultUNSAT16.78
pipesnotankage17_5QELL_defaultUNSAT15.74
pipesnotankage17_6QELL_defaultUNSAT15.55
pipesnotankage17_7QELL_defaultUNSAT15.55
pipesnotankage18_7QELL_defaultUNSAT44.54
pipesnotankage18_8QELL_defaultUNSAT44.55
pipesnotankage19_7QELL_defaultUNSAT47.13
pipesnotankage19_9QELL_unitUNSAT67.4