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


InstanceSolverResultTime
depots03_9Heretiq-cubeUNSAT2.95
depots07_8ijtihadUNSAT4.42
depots08_6ijtihadUNSAT30.46
depots09_11Iprover-HQSpre-BloqqerUNSAT172.14
depots09_12Iprover-HQSpre-BloqqerUNSAT171.96
depots09_13Iprover-HQSpre-BloqqerUNSAT148.62
depots13_9ijtihadSAT41.16
depots16_5Iprover-HQSpre-BloqqerUNSAT28.31
driverlog10_6Heretiq-cubeUNSAT0.33
freecell02_4Iprover-HQSpre-BloqqerUNSAT36.49
freecell02_6Caqe-hqspreUNSAT61.88
freecell03_5Caqe-hqspreUNSAT107.77
freecell03_6Caqe-hqspreUNSAT108.02
freecell03_7Iprover-HQSpre-BloqqerSAT166.61
pipesnotankage11_8Iprover-HQSpre-BloqqerUNSAT21.49
pipesnotankage13_5Iprover-HQSpre-BloqqerUNSAT21.47
pipesnotankage14_10Iprover-HQSpre-BloqqerUNSAT50.25
pipesnotankage15_10Iprover-HQSpre-BloqqerUNSAT50.49
pipesnotankage16_10Iprover-HQSpre-BloqqerUNSAT46.78
pipesnotankage17_5Iprover-HQSpre-BloqqerUNSAT62.41
pipesnotankage17_6Caqe-hqspreUNSAT65.59
pipesnotankage17_7Iprover-HQSpre-BloqqerUNSAT67.77
pipesnotankage18_7Iprover-HQSpre-BloqqerUNSAT133.48
pipesnotankage18_8Iprover-HQSpre-BloqqerUNSAT133.53
pipesnotankage19_7Caqe-hqspreUNSAT166.99
pipesnotankage19_9Iprover-HQSpre-BloqqerUNSAT213.9