Sota solver results for family Planning-CTE
Prenex CNF Track


InstanceSolverResultTime
depots03_9Rareqs_2018UNSAT6.44
depots07_8Rareqs_2018UNSAT5.38
depots08_6caqe-preUNSAT36.13
depots09_11caqe-preUNSAT173.86
depots09_12caqe-preUNSAT173.12
depots09_13caqe-preUNSAT151.65
depots10_8Rareqs_2018UNSAT26.36
depots13_9caqe-preSAT39.19
depots16_5Caqe-hqspreUNSAT27.63
depots16_7Caqe-hqspreUNSAT60.5
driverlog10_6Rareqs_2018UNSAT0.68
driverlog10_7Rareqs_2018SAT1.84
driverlog11_8Rareqs_2018UNSAT1.35
driverlog11_9Rareqs_2018SAT6.91
driverlog12_8Rareqs_2018UNSAT2.5
driverlog12_9Rareqs_2018UNSAT6.1
driverlog13_7Rareqs_2018UNSAT2.73
driverlog13_8Rareqs_2018UNSAT3.55
driverlog14_8Rareqs_2018UNSAT4.41
driverlog14_9Rareqs_2018UNSAT35.88
freecell01_6caqe-preSAT8.57
freecell02_4caqe-preUNSAT36.41
freecell02_5Caqe-hqspreUNSAT36.41
freecell02_6caqe-preUNSAT60.48
freecell03_5caqe-preUNSAT105.35
freecell03_6caqe-preUNSAT105.12
freecell03_7Caqe-hqspreSAT144.82
freecell04_7Caqe-hqspreUNSAT456.83
freecell04_8Caqe-hqspreUNSAT460.76
freecell04_9caqe-preUNSAT339.45
pipesnotankage14_10Caqe-hqspreUNSAT50.58
pipesnotankage15_10caqe-preUNSAT48.29
pipesnotankage16_10caqe-preUNSAT47.62
pipesnotankage17_5Caqe-hqspreUNSAT64.21
pipesnotankage17_6caqe-preUNSAT64.19
pipesnotankage17_7Caqe-hqspreUNSAT63.97
pipesnotankage18_7caqe-preUNSAT135.06
pipesnotankage18_8Caqe-hqspreUNSAT133.65
pipesnotankage19_7Caqe-hqspreUNSAT163.21
pipesnotankage19_9caqe-preUNSAT218.55