Sota solver results for family Abduction
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.


InstanceSolverResultTime
aim-100-1_6-yes1-1-00yQuaffleSAT0.06
aim-100-1_6-yes1-1-50yQuaffleSAT0.04
aim-100-1_6-yes1-1-90yQuaffleUNSAT0.05
aim-100-1_6-yes1-2-00yQuaffleSAT0.05
aim-100-1_6-yes1-2-50yQuaffleSAT0.04
aim-100-1_6-yes1-2-90yQuaffleUNSAT0.05
aim-100-1_6-yes1-3-00yQuaffleUNSAT0.05
aim-100-1_6-yes1-3-50yQuaffleUNSAT0.06
aim-100-1_6-yes1-3-90yQuaffleSAT0.04
aim-100-1_6-yes1-4-00yQuaffleUNSAT0.06
aim-100-1_6-yes1-4-50yQuaffleUNSAT0.05
aim-100-1_6-yes1-4-90yQuaffleUNSAT0.06
aim-100-2_0-yes1-1-00yQuaffleUNSAT0.06
aim-100-2_0-yes1-1-50yQuaffleUNSAT0.06
aim-100-2_0-yes1-1-90yQuaffleUNSAT0.05
aim-100-2_0-yes1-2-00yQuaffleSAT0.05
aim-100-2_0-yes1-2-50yQuaffleSAT0.06
aim-100-2_0-yes1-2-90yQuaffleUNSAT0.06
aim-100-2_0-yes1-3-00yQuaffleUNSAT0.04
aim-100-2_0-yes1-3-50yQuaffleUNSAT0.06
aim-100-2_0-yes1-3-90yQuaffleUNSAT0.06
aim-100-2_0-yes1-4-00yQuaffleUNSAT0.04
aim-100-2_0-yes1-4-50yQuaffleUNSAT0.06
aim-100-2_0-yes1-4-90yQuaffleSAT0.05
aim-100-3_4-yes1-1-00yQuaffleUNSAT0.06
aim-100-3_4-yes1-1-50yQuaffleUNSAT0.07
aim-100-3_4-yes1-1-90yQuaffleSAT0.04
aim-100-3_4-yes1-2-00yQuaffleUNSAT0.06
aim-100-3_4-yes1-2-50yQuaffleSAT0.05
aim-100-3_4-yes1-2-90yQuaffleUNSAT0.07
aim-100-3_4-yes1-3-00yQuaffleSAT0.06
aim-100-3_4-yes1-3-50yQuaffleUNSAT0.07
aim-100-3_4-yes1-3-90yQuaffleUNSAT0.08
aim-100-3_4-yes1-4-00yQuaffleSAT0.06
aim-100-3_4-yes1-4-50yQuaffleUNSAT0.07
aim-100-3_4-yes1-4-90yQuaffleSAT0.06
aim-100-6_0-yes1-1-00yQuaffleSAT0.08
aim-100-6_0-yes1-1-50yQuaffleSAT0.09
aim-100-6_0-yes1-1-90yQuaffleUNSAT0.1
aim-100-6_0-yes1-2-00yQuaffleUNSAT0.07
aim-100-6_0-yes1-2-50yQuaffleUNSAT0.09
aim-100-6_0-yes1-2-90yQuaffleSAT0.1
aim-100-6_0-yes1-3-00yQuaffleSAT0.07
aim-100-6_0-yes1-3-50yQuaffleSAT0.07
aim-100-6_0-yes1-3-90yQuaffleUNSAT0.1
aim-100-6_0-yes1-4-00yQuaffleUNSAT0.07
aim-100-6_0-yes1-4-50yQuaffleUNSAT0.09
aim-100-6_0-yes1-4-90yQuaffleSAT0.08
aim-200-1_6-yes1-1-00yQuaffleSAT0.12
aim-200-1_6-yes1-1-50yQuaffleSAT0.11
aim-200-1_6-yes1-1-90yQuaffleSAT0.12
aim-200-1_6-yes1-2-00yQuaffleUNSAT0.12
aim-200-1_6-yes1-2-50yQuaffleSAT0.1
aim-200-1_6-yes1-2-90yQuaffleUNSAT0.11
aim-200-1_6-yes1-3-00yQuaffleUNSAT0.1
aim-200-1_6-yes1-3-50yQuaffleUNSAT0.11
aim-200-1_6-yes1-3-90yQuaffleUNSAT0.13
aim-200-1_6-yes1-4-00yQuaffleUNSAT0.12
aim-200-1_6-yes1-4-50yQuaffleSAT0.11
aim-200-1_6-yes1-4-90yQuaffleSAT0.09
aim-200-2_0-yes1-1-00yQuaffleSAT0.1
aim-200-2_0-yes1-1-50yQuaffleUNSAT0.13
aim-200-2_0-yes1-1-90yQuaffleUNSAT0.13
aim-200-2_0-yes1-2-00yQuaffleUNSAT0.11
aim-200-2_0-yes1-2-50yQuaffleUNSAT0.15
aim-200-2_0-yes1-2-90yQuaffleUNSAT0.13
aim-200-2_0-yes1-3-00yQuaffleUNSAT0.1
aim-200-2_0-yes1-3-50yQuaffleUNSAT0.12
aim-200-2_0-yes1-3-90yQuaffleSAT0.14
aim-200-2_0-yes1-4-00yQuaffleSAT0.12
aim-200-2_0-yes1-4-50yQuaffleSAT0.12
aim-200-2_0-yes1-4-90yQuaffleSAT0.08
aim-200-3_4-yes1-1-00yQuaffleUNSAT0.14
aim-200-3_4-yes1-1-50yQuaffleSAT0.12
aim-200-3_4-yes1-1-90yQuaffleSAT0.13
aim-200-3_4-yes1-2-00yQuaffleUNSAT0.15
aim-200-3_4-yes1-2-50yQuaffleSAT0.15
aim-200-3_4-yes1-2-90yQuaffleUNSAT0.22
aim-200-3_4-yes1-3-00yQuaffleSAT0.14
aim-200-3_4-yes1-3-50yQuaffleSAT0.11
aim-200-3_4-yes1-3-90yQuaffleUNSAT0.2
aim-200-3_4-yes1-4-00yQuaffleSAT0.14
aim-200-3_4-yes1-4-50yQuaffleSAT0.15
aim-200-3_4-yes1-4-90yQuaffleSAT0.06
aim-200-6_0-yes1-1-00yQuaffleUNSAT0.23
aim-200-6_0-yes1-1-50yQuaffleUNSAT0.24
aim-200-6_0-yes1-1-90yQuaffleSAT0.22
aim-200-6_0-yes1-2-00yQuaffleUNSAT0.21
aim-200-6_0-yes1-2-50yQuaffleUNSAT0.25
aim-200-6_0-yes1-2-90yQuaffleUNSAT0.28
aim-200-6_0-yes1-3-00yQuaffleSAT0.22
aim-200-6_0-yes1-3-50yQuaffleUNSAT0.26
aim-200-6_0-yes1-3-90yQuaffleUNSAT0.28
aim-200-6_0-yes1-4-00yQuaffleUNSAT0.25
aim-200-6_0-yes1-4-50yQuaffleSAT0.18
aim-200-6_0-yes1-4-90yQuaffleSAT0.18
aim-50-1_6-yes1-1-00yQuaffleSAT0.04
aim-50-1_6-yes1-1-50yQuaffleSAT0.03
aim-50-1_6-yes1-1-90yQuaffleUNSAT0.04
aim-50-1_6-yes1-2-00yQuaffleSAT0.04
aim-50-1_6-yes1-2-50yQuaffleSAT0.03
aim-50-1_6-yes1-2-90yQuaffleUNSAT0.04
aim-50-1_6-yes1-3-00yQuaffleSAT0.04
aim-50-1_6-yes1-3-50yQuaffleUNSAT0.04
aim-50-1_6-yes1-3-90yQuaffleSAT0.04
aim-50-1_6-yes1-4-00yQuaffleSAT0.04
aim-50-1_6-yes1-4-50yQuaffleSAT0.04
aim-50-1_6-yes1-4-90yQuaffleUNSAT0.03
aim-50-2_0-yes1-1-00yQuaffleUNSAT0.04
aim-50-2_0-yes1-1-50yQuaffleUNSAT0.04
aim-50-2_0-yes1-1-90yQuaffleUNSAT0.04
aim-50-2_0-yes1-2-00yQuaffleUNSAT0.04
aim-50-2_0-yes1-2-50yQuaffleUNSAT0.04
aim-50-2_0-yes1-2-90yQuaffleSAT0.04
aim-50-2_0-yes1-3-00yQuaffleUNSAT0.04
aim-50-2_0-yes1-3-50yQuaffleUNSAT0.04
aim-50-2_0-yes1-3-90yQuaffleUNSAT0.04
aim-50-2_0-yes1-4-00yQuaffleUNSAT0.04
aim-50-2_0-yes1-4-50yQuaffleSAT0.04
aim-50-2_0-yes1-4-90yQuaffleSAT0.03
aim-50-3_4-yes1-1-00yQuaffleUNSAT0.04
aim-50-3_4-yes1-1-50yQuaffleUNSAT0.04
aim-50-3_4-yes1-1-90yQuaffleUNSAT0.04
aim-50-3_4-yes1-2-00yQuaffleSAT0.04
aim-50-3_4-yes1-2-50yQuaffleSAT0.04
aim-50-3_4-yes1-2-90yQuaffleSAT0.04
aim-50-3_4-yes1-3-00yQuaffleSAT0.04
aim-50-3_4-yes1-3-50yQuaffleSAT0.04
aim-50-3_4-yes1-3-90yQuaffleUNSAT0.04
aim-50-3_4-yes1-4-00yQuaffleUNSAT0.04
aim-50-3_4-yes1-4-50yQuaffleUNSAT0.04
aim-50-3_4-yes1-4-90yQuaffleSAT0.05
aim-50-6_0-yes1-1-00yQuaffleUNSAT0.04
aim-50-6_0-yes1-1-50yQuaffleUNSAT0.05
aim-50-6_0-yes1-1-90yQuaffleSAT0.05
aim-50-6_0-yes1-2-00yQuaffleUNSAT0.04
aim-50-6_0-yes1-2-50yQuaffleUNSAT0.05
aim-50-6_0-yes1-2-90yQuaffleUNSAT0.06
aim-50-6_0-yes1-3-00yQuaffleUNSAT0.04
aim-50-6_0-yes1-3-50yQuaffleUNSAT0.04
aim-50-6_0-yes1-3-90yQuaffleSAT0.05
aim-50-6_0-yes1-4-00yQuaffleSAT0.04
aim-50-6_0-yes1-4-50yQuaffleUNSAT0.05
aim-50-6_0-yes1-4-90yQuaffleSAT0.05
ii32b1-00ncQuBE1.1SAT2.44
ii32b1-50yQuaffleSAT0.09
ii32b1-90ncQuBE1.1SAT0.82
ii32b2-00yQuaffleSAT0.22
ii32b2-50yQuaffleSAT0.2
ii32b2-90yQuaffleSAT42.46
ii32c1-50ncQuBE1.1SAT0.24
ii32c1-90ncQuBE1.1UNSAT4.88
ii32c2-00ncQuBE1.0SAT16.73
ii32c2-50yQuaffleSAT0.17
ii32c2-90ncQuBE1.0SAT3.44
ii32c3-00yQuaffleSAT0.24
ii32c3-50yQuaffleSAT0.29
ii32c3-90yQuaffleSAT0.26
ii32d1-00ncQuBE1.1SAT0.56
ii32d1-50yQuaffleSAT0.49
ii32d1-90ncQuBE1.1SAT2.46
ii32e1-00yQuaffleSAT0.09
ii32e1-50yQuaffleSAT0.09
ii32e1-90ncQuBE1.1UNSAT0.53
ii32e2-00ncQuBE1.0SAT5.82
ii32e2-50yQuaffleSAT0.18
ii32e2-90ncQuBE1.1SAT14.33
ii8a1-00AQME-C4.5SAT6.39
ii8a1-50yQuaffleSAT0.05
ii8a1-90ncQuBE1.0SAT0.08
ii8a2-00ncQuBE1.1SAT0.3
ii8a2-50ncQuBE1.1SAT81.18
ii8a2-90ncQuBE1.0UNSAT0.83
ii8a3-00ncQuBE1.1SAT0.69
ii8a4-00yQuaffleSAT0.55
ii8a4-90AQME-C4.5SAT1
ii8b1-00ncQuBE1.1SAT15.11
ii8b1-50ncQuBE1.0SAT14.94
ii8b1-90ncQuBE1.1SAT0.48
ii8c1-90ncQuBE1.1SAT0.45
ii8d1-00ncQuBE1.1SAT176.71
jnh1-00ncQuBE1.1SAT0.32
jnh1-50yQuaffleSAT0.1
jnh1-90ncQuBE1.1UNSAT3.44
jnh12-00ncQuBE1.1UNSAT0.32
jnh12-50ncQuBE1.1UNSAT0.32
jnh12-90yQuaffleSAT0.09
jnh17-00yQuaffleSAT0.12
jnh17-50yQuaffleSAT0.12
jnh17-90yQuaffleUNSAT0.2
jnh201-00ncQuBE1.1SAT0.71
jnh201-50ncQuBE1.1SAT0.28
jnh201-90ncQuBE1.1SAT14.1
jnh204-00ncQuBE1.1SAT0.48
jnh204-50yQuaffleSAT0.3
jnh204-90ncQuBE1.1SAT1.74
jnh205-00ncQuBE1.1UNSAT1.36
jnh205-50yQuaffleSAT0.14
jnh205-90yQuaffleUNSAT0.32
jnh207-00ncQuBE1.1UNSAT0.52
jnh207-50yQuaffleUNSAT0.5
jnh207-90yQuaffleSAT0.18
jnh209-00yQuaffleSAT0.12
jnh209-50ncQuBE1.1UNSAT2.2
jnh209-90ncQuBE1.0UNSAT0.9
jnh210-00ncQuBE1.1UNSAT51.89
jnh210-50yQuaffleSAT0.24
jnh210-90yQuaffleUNSAT0.15
jnh212-00yQuaffleUNSAT0.29
jnh212-50yQuaffleUNSAT0.37
jnh212-90yQuaffleUNSAT0.29
jnh213-00yQuaffleSAT0.12
jnh213-50yQuaffleSAT0.09
jnh213-90yQuaffleSAT0.28
jnh217-00yQuaffleSAT0.08
jnh217-50ncQuBE1.1SAT0.31
jnh217-90yQuaffleSAT2.43
jnh218-00yQuaffleSAT0.12
jnh218-50ncQuBE1.1SAT1.02
jnh218-90yQuaffleSAT0.15
jnh220-00yQuaffleSAT0.47
jnh220-50yQuaffleSAT0.13
jnh220-90yQuaffleSAT0.88
jnh301-00ncQuBE1.0UNSAT0.66
jnh301-50yQuaffleSAT0.15
jnh301-90ncQuBE1.1UNSAT0.6
jnh7-00yQuaffleSAT0.13
jnh7-50ncQuBE1.1SAT0.35
jnh7-90yQuaffleSAT0.16
par16-1-00yQuaffleUNSAT9.46
par16-1-50yQuaffleUNSAT8.71
par16-1-90ncQuBE1.1UNSAT8.04
par16-1-c-00yQuaffleSAT0.84
par16-1-c-50yQuaffleSAT1.24
par16-1-c-90yQuaffleSAT1.99
par16-2-c-00AQME-RIPPERSAT6.26
par16-2-c-50yQuaffleSAT3.1
par16-2-c-90AQME-RIPPERSAT6.92
par16-3-c-00yQuaffleUNSAT8.55
par16-3-c-50yQuaffleUNSAT7.16
par16-3-c-90ncQuBE1.1UNSAT8.08
par16-4-00yQuaffleUNSAT3.93
par16-4-50ncQuBE1.0UNSAT5.38
par16-4-90ncQuBE1.1UNSAT5.02
par16-4-c-00yQuaffleSAT0.88
par16-4-c-50yQuaffleUNSAT1.9
par16-4-c-90AQME-RIPPERUNSAT3.48
par16-5-c-00yQuaffleSAT1.58
par16-5-c-50yQuaffleUNSAT2
par16-5-c-90yQuaffleSAT2.44
par8-1-00yQuaffleSAT0.22
par8-1-50ncQuBE1.1SAT0.3
par8-1-90yQuaffleUNSAT0.6
par8-1-c-00yQuaffleUNSAT0.05
par8-1-c-50yQuaffleUNSAT0.05
par8-1-c-90yQuaffleUNSAT0.06
par8-2-00yQuaffleUNSAT0.2
par8-2-50yQuaffleUNSAT0.62
par8-2-90ncQuBE1.1UNSAT0.65
par8-2-c-00yQuaffleUNSAT0.05
par8-2-c-50yQuaffleUNSAT0.06
par8-2-c-90yQuaffleUNSAT0.06
par8-3-00yQuaffleUNSAT0.19
par8-3-50yQuaffleUNSAT0.6
par8-3-90ncQuBE1.0SAT0.72
par8-3-c-00yQuaffleSAT0.05
par8-3-c-50yQuaffleUNSAT0.06
par8-3-c-90yQuaffleUNSAT0.07
par8-4-00yQuaffleSAT0.24
par8-4-50yQuaffleUNSAT0.52
par8-4-90yQuaffleUNSAT0.62
par8-4-c-00yQuaffleSAT0.06
par8-4-c-50yQuaffleSAT0.05
par8-4-c-90yQuaffleSAT0.04
par8-5-00yQuaffleUNSAT0.21
par8-5-50yQuaffleSAT0.25
par8-5-90ncQuBE1.0UNSAT0.78
par8-5-c-00yQuaffleUNSAT0.06
par8-5-c-50yQuaffleUNSAT0.06
par8-5-c-90yQuaffleUNSAT0.07
ssa7552-158-50ncQuBE1.1SAT2.94
ssa7552-158-90AQME-1NNSAT1.22
ssa7552-159-00QUANTOR_2.15SAT0.06
ssa7552-159-50ncQuBE1.1SAT1.14
ssa7552-159-90AQME-C4.5SAT1.9
ssa7552-160-00AQME-C4.5SAT1.55
ssa7552-160-50AQME-RIPPERSAT1.54