Instances of family Abduction solved by preQuel_sKizzo-0.10
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.

InstanceResultTime
aim-50-1_6-yes1-1-50SAT0.04
aim-50-1_6-yes1-2-50SAT0.04
aim-50-1_6-yes1-3-90SAT0.04
aim-50-2_0-yes1-4-90SAT0.05
aim-50-1_6-yes1-1-00SAT0.06
aim-50-2_0-yes1-4-50SAT0.06
aim-50-1_6-yes1-3-00SAT0.06
aim-50-1_6-yes1-4-00SAT0.07
aim-50-2_0-yes1-2-90SAT0.08
aim-50-1_6-yes1-2-00SAT0.08
aim-50-3_4-yes1-3-50SAT0.08
aim-100-1_6-yes1-2-50SAT0.1
aim-50-6_0-yes1-3-00UNSAT0.11
aim-100-1_6-yes1-2-00SAT0.11
aim-50-1_6-yes1-4-50SAT0.11
aim-50-6_0-yes1-3-50UNSAT0.12
aim-50-1_6-yes1-1-90UNSAT0.12
aim-50-1_6-yes1-4-90UNSAT0.13
aim-50-3_4-yes1-2-00SAT0.13
par8-4-c-90SAT0.14
aim-50-2_0-yes1-1-90UNSAT0.14
aim-50-1_6-yes1-3-50UNSAT0.14
aim-50-3_4-yes1-4-90SAT0.14
aim-50-1_6-yes1-2-90UNSAT0.14
aim-100-1_6-yes1-3-90SAT0.15
aim-50-2_0-yes1-1-50UNSAT0.15
aim-100-1_6-yes1-1-50SAT0.16
aim-50-3_4-yes1-3-00SAT0.16
aim-50-2_0-yes1-3-90UNSAT0.16
aim-50-3_4-yes1-2-90SAT0.16
jnh12-90SAT0.17
aim-50-2_0-yes1-3-50UNSAT0.17
aim-100-3_4-yes1-1-90SAT0.17
aim-100-3_4-yes1-2-50SAT0.17
aim-50-2_0-yes1-2-00UNSAT0.17
aim-50-2_0-yes1-2-50UNSAT0.18
aim-50-6_0-yes1-4-00SAT0.18
aim-50-2_0-yes1-1-00UNSAT0.18
aim-50-2_0-yes1-4-00UNSAT0.18
aim-50-3_4-yes1-2-50SAT0.19
aim-50-2_0-yes1-3-00UNSAT0.2
aim-50-6_0-yes1-3-90SAT0.21
aim-50-3_4-yes1-1-50UNSAT0.22
aim-100-2_0-yes1-4-90SAT0.23
aim-50-3_4-yes1-3-90UNSAT0.23
aim-50-3_4-yes1-1-90UNSAT0.23
aim-100-2_0-yes1-2-00SAT0.23
aim-100-2_0-yes1-2-50SAT0.23
aim-100-1_6-yes1-1-00SAT0.23
aim-50-6_0-yes1-4-90SAT0.24
aim-50-3_4-yes1-4-50UNSAT0.25
aim-50-3_4-yes1-1-00UNSAT0.26
aim-50-6_0-yes1-1-90SAT0.28
aim-50-3_4-yes1-4-00UNSAT0.29
ssa7552-159-00SAT0.3
jnh213-50SAT0.34
par8-4-c-50SAT0.38
aim-100-3_4-yes1-4-90SAT0.39
aim-100-3_4-yes1-3-00SAT0.39
aim-100-6_0-yes1-3-50SAT0.42
aim-50-6_0-yes1-4-50UNSAT0.45
jnh213-00SAT0.45
par8-1-c-50UNSAT0.45
par8-4-c-00SAT0.45
aim-100-1_6-yes1-4-00UNSAT0.46
aim-50-6_0-yes1-1-00UNSAT0.48
par8-1-c-90UNSAT0.49
aim-100-1_6-yes1-2-90UNSAT0.49
aim-50-6_0-yes1-2-90UNSAT0.51
aim-50-6_0-yes1-2-00UNSAT0.51
aim-100-1_6-yes1-4-90UNSAT0.52
par8-3-c-00SAT0.52
aim-50-6_0-yes1-1-50UNSAT0.52
aim-100-2_0-yes1-2-90UNSAT0.52
par8-3-c-50UNSAT0.52
aim-100-2_0-yes1-1-90UNSAT0.53
aim-100-1_6-yes1-4-50UNSAT0.53
aim-100-1_6-yes1-3-50UNSAT0.54
aim-100-2_0-yes1-3-50UNSAT0.54
par8-1-c-00UNSAT0.55
aim-100-2_0-yes1-4-50UNSAT0.56
par8-3-c-90UNSAT0.56
aim-50-6_0-yes1-2-50UNSAT0.56
par8-2-c-50UNSAT0.56
aim-100-2_0-yes1-1-50UNSAT0.56
aim-100-1_6-yes1-3-00UNSAT0.57
aim-100-2_0-yes1-4-00UNSAT0.59
par8-2-c-00UNSAT0.59
aim-100-1_6-yes1-1-90UNSAT0.59
aim-100-2_0-yes1-1-00UNSAT0.61
aim-100-2_0-yes1-3-90UNSAT0.61
par8-2-c-90UNSAT0.64
aim-100-3_4-yes1-1-50UNSAT0.66
aim-100-2_0-yes1-3-00UNSAT0.68
aim-100-3_4-yes1-4-00SAT0.7
par8-5-c-00UNSAT0.7
aim-100-6_0-yes1-1-50SAT0.7
aim-100-3_4-yes1-2-90UNSAT0.72
aim-100-6_0-yes1-4-90SAT0.75
aim-200-2_0-yes1-4-90SAT0.75
aim-100-3_4-yes1-2-00UNSAT0.78
aim-200-3_4-yes1-4-90SAT0.8
aim-100-3_4-yes1-1-00UNSAT0.82
aim-100-3_4-yes1-3-50UNSAT0.82
aim-100-3_4-yes1-3-90UNSAT0.82
aim-100-3_4-yes1-4-50UNSAT0.84
jnh12-50UNSAT0.85
jnh12-00UNSAT0.85
aim-100-6_0-yes1-1-00SAT0.88
aim-100-6_0-yes1-3-00SAT0.89
par8-5-c-50UNSAT0.9
aim-200-3_4-yes1-3-50SAT1.05
ii8a1-90SAT1.06
par8-5-c-90UNSAT1.08
aim-200-3_4-yes1-3-00SAT1.11
aim-100-6_0-yes1-1-90UNSAT1.2
aim-200-6_0-yes1-4-50SAT1.2
aim-200-6_0-yes1-4-90SAT1.21
aim-100-6_0-yes1-4-50UNSAT1.22
aim-200-3_4-yes1-1-50SAT1.32
aim-100-6_0-yes1-3-90UNSAT1.32
aim-200-1_6-yes1-4-90SAT1.32
aim-200-3_4-yes1-1-90SAT1.34
aim-200-2_0-yes1-1-00SAT1.38
jnh210-50SAT1.45
aim-100-6_0-yes1-4-00UNSAT1.46
aim-200-2_0-yes1-4-50SAT1.64
aim-200-6_0-yes1-3-00SAT1.69
aim-200-1_6-yes1-2-50SAT1.7
aim-200-6_0-yes1-1-90SAT1.7
aim-200-2_0-yes1-4-00SAT1.72
aim-200-1_6-yes1-1-00SAT1.75
aim-200-1_6-yes1-1-90SAT1.8
aim-200-1_6-yes1-1-50SAT2.02
aim-200-2_0-yes1-3-90SAT2.14
aim-200-1_6-yes1-2-00UNSAT2.35
aim-200-2_0-yes1-2-00UNSAT2.62
aim-200-2_0-yes1-2-50UNSAT2.66
aim-200-1_6-yes1-4-00UNSAT2.78
aim-200-1_6-yes1-2-90UNSAT2.85
aim-200-1_6-yes1-3-50UNSAT2.87
aim-200-3_4-yes1-4-50SAT2.89
aim-200-1_6-yes1-4-50SAT2.9
aim-200-2_0-yes1-3-00UNSAT2.92
aim-200-2_0-yes1-2-90UNSAT2.96
aim-200-2_0-yes1-1-50UNSAT3.02
aim-200-6_0-yes1-2-00UNSAT3.05
aim-200-6_0-yes1-3-50UNSAT3.08
aim-200-2_0-yes1-1-90UNSAT3.14
aim-200-6_0-yes1-1-00UNSAT3.14
aim-200-3_4-yes1-2-50SAT3.21
aim-200-6_0-yes1-2-90UNSAT3.23
aim-200-6_0-yes1-4-00UNSAT3.23
aim-200-6_0-yes1-1-50UNSAT3.28
aim-200-6_0-yes1-2-50UNSAT3.28
aim-200-6_0-yes1-3-90UNSAT3.28
aim-200-2_0-yes1-3-50UNSAT3.42
aim-200-1_6-yes1-3-90UNSAT3.45
ii8a1-50SAT3.53
aim-200-1_6-yes1-3-00UNSAT3.56
aim-200-3_4-yes1-4-00SAT4.1
aim-200-3_4-yes1-3-90UNSAT4.77
aim-100-6_0-yes1-2-50UNSAT4.8
aim-200-3_4-yes1-1-00UNSAT4.98
jnh7-00SAT5.22
aim-200-3_4-yes1-2-90UNSAT5.45
aim-200-3_4-yes1-2-00UNSAT5.88
aim-100-6_0-yes1-2-90SAT5.96
aim-100-6_0-yes1-2-00UNSAT6.64
ii32c2-00FAIL20.21
ii8b1-50FAIL21.49
ii8a4-50FAIL21.59
par16-4-c-90FAIL21.69
par16-2-c-50FAIL21.75
par16-4-c-50FAIL21.85
ii8a3-50FAIL21.86
ii8d1-50FAIL22.29
par16-5-c-50FAIL22.97
par16-1-c-50FAIL23.15
par16-5-c-90FAIL23.54
ii8d1-00FAIL23.62
par16-3-c-50FAIL24.69
ii8c1-00FAIL24.79
par16-3-c-90FAIL24.84
ii32d1-50FAIL25.07
par16-2-c-00FAIL25.38
par16-5-c-00FAIL25.42
ii32b1-90FAIL25.46
ii8c1-90FAIL25.62
ii8e1-50FAIL25.69
par16-2-c-90FAIL25.82
par16-4-c-00FAIL25.87
ii8c1-50FAIL26.03
par8-3-50FAIL26.04
ii32c2-90FAIL26.15
ii8e1-90FAIL26.24
ii32b2-90FAIL26.35
par16-1-c-90FAIL26.49
par16-3-c-00FAIL26.64
ii32d1-00FAIL26.78
ii8b1-00FAIL26.85
ii32c3-90FAIL27.23
ii32e2-50FAIL27.54
ii8d1-90FAIL27.66
ii8a4-00FAIL27.67
ii32e2-00FAIL27.7
par8-1-50FAIL27.71
par8-5-00FAIL27.75
f600-00FAIL27.79
ii32b2-50FAIL27.82
ii32d1-90FAIL27.84
par16-1-c-00FAIL28.6
f600-90FAIL28.67
ii8a4-90FAIL28.71
par8-2-00FAIL28.91
ii8e1-00FAIL29.48
ii32b1-50FAIL29.85
ii32c3-00FAIL30.08
ii32c3-50FAIL30.67
ii32c2-50FAIL31.05
f600-50FAIL31.18
ii8b1-90FAIL34.18
ii8a2-00FAIL34.31
ii32b2-00FAIL35.95
ii8a2-50FAIL36.9
ii8a3-00FAIL37.79
ii32b1-00FAIL42.22
par8-1-00FAIL47.04
ssa7552-159-50FAIL48.01
ii32e2-90FAIL52.5
ii32c1-00FAIL56.56
par8-2-50FAIL56.82
ssa7552-159-90FAIL61.29
ssa7552-158-90FAIL64.3
ssa7552-160-90FAIL65.57
par8-4-00FAIL68.09
par16-4-90FAIL71.53
ssa7552-158-50FAIL73.36
par16-4-00FAIL73.53
par8-4-50FAIL75.57
par16-4-50FAIL75.61
ii32e1-00FAIL77.23
par8-3-00FAIL77.44
ii8a3-90FAIL77.48
par16-1-00FAIL79.14
ii8a2-90FAIL81.75
ii32c1-90FAIL81.97
par16-1-90FAIL82.26
par8-1-90FAIL82.99
ssa7552-160-50FAIL88.55
par16-1-50FAIL92.76
par8-5-90FAIL97.01
ii32e1-90FAIL102.05
jnh17-00FAIL103.25
ssa7552-158-00FAIL103.94
jnh17-50FAIL113.25
ssa7552-160-00FAIL119.73
jnh220-50FAIL272.54
ii32e1-50FAIL318.73
jnh218-50FAIL345.88
jnh218-00FAIL386.5
par8-2-90FAIL454.87
jnh7-50FAIL486.6
par8-4-90FAIL518.55
par8-3-90FAIL523.43
ii8a1-00FAIL595.95
jnh201-00FAIL600
jnh205-90FAIL600
jnh217-00FAIL600
jnh1-00FAIL600
jnh205-50FAIL600
jnh205-00FAIL600
jnh204-90FAIL600
jnh17-90FAIL600
par8-5-50FAIL600
jnh1-50FAIL600
jnh204-50FAIL600
jnh204-00FAIL600
jnh201-90FAIL600
jnh201-50FAIL600
jnh1-90FAIL600
jnh207-00FAIL600
jnh207-50FAIL600
jnh217-50FAIL600
jnh217-90FAIL600
jnh218-90FAIL600
jnh220-00FAIL600
jnh220-90FAIL600
jnh301-00FAIL600
jnh301-50FAIL600
jnh301-90FAIL600
jnh213-90FAIL600
jnh212-90FAIL600
jnh212-50FAIL600
jnh207-90FAIL600
ii32c1-50FAIL600
jnh209-00FAIL600
jnh209-50FAIL600
jnh209-90FAIL600
jnh210-00FAIL600
jnh210-90FAIL600
jnh212-00FAIL600
jnh7-90FAIL600