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

InstanceResultTime
aim-50-1_6-yes1-3-90SAT0.14
aim-50-2_0-yes1-4-90SAT0.18
aim-50-1_6-yes1-2-50SAT0.2
aim-50-1_6-yes1-1-50SAT0.23
aim-50-1_6-yes1-3-00SAT0.34
aim-50-2_0-yes1-4-50SAT0.35
aim-50-1_6-yes1-1-00SAT0.36
aim-50-2_0-yes1-2-90SAT0.44
aim-50-1_6-yes1-4-50SAT0.48
aim-50-3_4-yes1-3-50SAT0.49
aim-50-1_6-yes1-4-00SAT0.52
aim-50-1_6-yes1-2-00SAT0.56
aim-100-1_6-yes1-3-90SAT0.58
aim-100-1_6-yes1-2-50SAT0.68
aim-50-1_6-yes1-4-90UNSAT0.69
aim-50-1_6-yes1-2-90UNSAT0.76
aim-50-1_6-yes1-1-90UNSAT0.77
aim-100-1_6-yes1-1-50SAT0.81
aim-50-3_4-yes1-2-00SAT0.9
aim-100-1_6-yes1-2-00SAT0.99
aim-50-2_0-yes1-3-90UNSAT1
aim-50-2_0-yes1-1-90UNSAT1.08
aim-50-1_6-yes1-3-50UNSAT1.12
aim-100-3_4-yes1-1-90SAT1.36
aim-50-2_0-yes1-3-50UNSAT1.42
aim-100-2_0-yes1-4-90SAT1.48
aim-50-2_0-yes1-1-50UNSAT1.54
aim-50-2_0-yes1-2-50UNSAT1.61
aim-100-3_4-yes1-2-50SAT1.71
aim-50-3_4-yes1-2-90SAT1.72
aim-50-2_0-yes1-4-00UNSAT1.92
aim-100-1_6-yes1-1-00SAT1.98
aim-50-6_0-yes1-4-00SAT2
aim-50-6_0-yes1-3-90SAT2.1
aim-50-2_0-yes1-1-00UNSAT2.14
aim-50-2_0-yes1-3-00UNSAT2.17
aim-50-3_4-yes1-4-90SAT2.3
aim-100-2_0-yes1-2-50SAT2.34
aim-50-3_4-yes1-3-00SAT2.4
aim-50-2_0-yes1-2-00UNSAT2.43
aim-50-6_0-yes1-4-90SAT2.6
aim-50-3_4-yes1-3-90UNSAT2.67
aim-50-3_4-yes1-2-50SAT2.76
aim-100-2_0-yes1-2-00SAT2.91
aim-50-3_4-yes1-1-90UNSAT2.98
par8-4-c-90SAT3.12
aim-50-6_0-yes1-1-90SAT3.24
aim-50-3_4-yes1-1-50UNSAT3.38
ii8a1-90SAT3.51
aim-100-3_4-yes1-4-90SAT3.84
aim-50-3_4-yes1-4-50UNSAT3.86
aim-100-1_6-yes1-2-90UNSAT4.5
aim-100-6_0-yes1-3-50SAT4.51
aim-100-1_6-yes1-4-90UNSAT4.52
par8-4-c-50SAT4.83
aim-100-1_6-yes1-1-90UNSAT4.85
aim-50-3_4-yes1-1-00UNSAT4.87
aim-100-3_4-yes1-3-00SAT5.01
aim-50-3_4-yes1-4-00UNSAT5.34
aim-200-3_4-yes1-4-90SAT5.42
aim-200-2_0-yes1-4-90SAT5.46
par8-4-c-00SAT5.74
ii8a1-50SAT5.8
par8-1-c-90FAIL5.88
par8-1-c-50FAIL5.92
par8-1-c-00FAIL6.02
aim-100-2_0-yes1-1-90UNSAT7.01
aim-100-2_0-yes1-3-90UNSAT7.21
aim-100-2_0-yes1-2-90UNSAT7.4
aim-100-1_6-yes1-4-50UNSAT7.46
aim-100-1_6-yes1-3-50UNSAT8.53
aim-200-1_6-yes1-4-90SAT8.59
aim-200-3_4-yes1-3-50SAT8.75
aim-100-6_0-yes1-4-90SAT9.24
par8-2-c-90SAT9.27
aim-50-6_0-yes1-3-50UNSAT9.29
par8-3-c-00SAT9.54
aim-100-3_4-yes1-4-00SAT9.65
aim-50-6_0-yes1-2-90UNSAT10.49
aim-50-6_0-yes1-3-00UNSAT10.8
par8-3-c-90SAT10.83
aim-100-2_0-yes1-1-50UNSAT11.06
aim-100-2_0-yes1-4-50UNSAT11.11
aim-50-6_0-yes1-1-50UNSAT11.18
aim-50-6_0-yes1-4-50UNSAT11.19
aim-100-2_0-yes1-3-50UNSAT11.21
aim-50-6_0-yes1-2-50UNSAT11.74
par8-2-c-50SAT11.9
aim-50-6_0-yes1-1-00UNSAT12.55
aim-100-1_6-yes1-4-00UNSAT12.77
aim-200-1_6-yes1-1-90SAT12.98
aim-200-1_6-yes1-1-50SAT12.99
aim-200-3_4-yes1-3-00SAT13.25
aim-200-3_4-yes1-1-90SAT13.5
par8-3-c-50SAT13.9
par8-5-c-90SAT13.93
aim-200-1_6-yes1-2-50SAT14.27
aim-50-6_0-yes1-2-00UNSAT15.02
aim-100-1_6-yes1-3-00UNSAT15.19
aim-200-3_4-yes1-1-50SAT15.23
par8-5-c-50SAT17.41
aim-100-2_0-yes1-3-00UNSAT17.44
aim-200-2_0-yes1-4-50SAT17.56
aim-100-2_0-yes1-1-00UNSAT18.17
par8-2-c-00SAT18.37
aim-100-2_0-yes1-4-00UNSAT18.95
aim-100-3_4-yes1-2-90UNSAT19.26
aim-100-3_4-yes1-3-90UNSAT20.2
aim-200-1_6-yes1-1-00SAT20.2
aim-100-6_0-yes1-2-90SAT20.45
aim-200-1_6-yes1-4-50SAT20.6
aim-200-2_0-yes1-4-00SAT21.93
aim-200-2_0-yes1-3-90SAT22.21
aim-200-2_0-yes1-1-00SAT24.76
aim-100-3_4-yes1-1-50UNSAT26.86
par8-5-c-00SAT26.95
aim-100-3_4-yes1-3-50UNSAT27.46
aim-100-3_4-yes1-4-50UNSAT34.67
aim-100-6_0-yes1-3-00SAT36.48
aim-100-3_4-yes1-1-00UNSAT36.66
aim-100-3_4-yes1-2-00UNSAT36.98
aim-100-6_0-yes1-1-00SAT39.49
aim-100-6_0-yes1-1-50SAT40
aim-200-3_4-yes1-2-50SAT40.94
aim-200-6_0-yes1-4-90SAT44.29
aim-200-1_6-yes1-3-90UNSAT44.8
aim-200-3_4-yes1-4-50SAT45.57
aim-200-1_6-yes1-2-90UNSAT47.84
aim-200-6_0-yes1-4-50SAT49.53
aim-100-6_0-yes1-3-90UNSAT65.92
aim-100-6_0-yes1-1-90UNSAT66.55
aim-200-1_6-yes1-3-50UNSAT69.36
aim-200-2_0-yes1-1-90UNSAT73.26
aim-200-2_0-yes1-2-90UNSAT79.46
aim-100-6_0-yes1-4-50UNSAT86.94
aim-200-6_0-yes1-1-90SAT89.13
aim-100-6_0-yes1-4-00UNSAT94.8
aim-200-2_0-yes1-3-50UNSAT97.69
aim-100-6_0-yes1-2-50UNSAT109.72
aim-200-2_0-yes1-1-50UNSAT119.31
aim-200-2_0-yes1-2-50UNSAT120.74
aim-200-1_6-yes1-3-00UNSAT127.2
aim-200-6_0-yes1-3-00SAT127.58
aim-100-6_0-yes1-2-00UNSAT134.62
aim-200-1_6-yes1-2-00UNSAT134.81
aim-200-1_6-yes1-4-00UNSAT141.18
aim-200-3_4-yes1-4-00SAT141.46
aim-200-2_0-yes1-3-00UNSAT160.41
aim-200-2_0-yes1-2-00UNSAT192.25
aim-200-3_4-yes1-2-90UNSAT200.38
aim-200-3_4-yes1-3-90UNSAT206.78
jnh218-00SAT243.98
jnh7-90SAT248.56
ssa7552-159-00SAT273.38
jnh207-90SAT279.37
jnh220-50SAT294.64
jnh1-50SAT312.14
jnh213-50SAT319.58
ii8a2-50FAIL323.98
jnh218-90SAT326.38
jnh213-00SAT363.76
jnh213-90SAT370.64
aim-200-3_4-yes1-2-00UNSAT377.3
jnh205-50SAT379.16
jnh212-90UNSAT382.22
jnh12-90SAT383.15
jnh301-50SAT391.44
jnh205-90UNSAT398.01
aim-200-3_4-yes1-1-00UNSAT405.92
ii8a2-90FAIL410.27
jnh209-90UNSAT410.87
jnh220-90SAT414.93
ii8a2-00FAIL417.57
jnh210-50SAT417.99
aim-200-6_0-yes1-2-90UNSAT439.99
jnh301-90UNSAT441.43
jnh17-90UNSAT447.4
jnh204-90SAT451.39
jnh17-00SAT452.25
jnh207-50UNSAT455.3
aim-200-6_0-yes1-3-90UNSAT461.69
jnh212-50UNSAT465.49
jnh1-90UNSAT475.99
aim-200-6_0-yes1-1-50UNSAT477.63
jnh218-50SAT494.06
jnh12-50UNSAT500.9
jnh17-50SAT510.69
aim-200-6_0-yes1-2-50UNSAT513.86
jnh207-00UNSAT526.86
jnh209-50UNSAT529.39
aim-200-6_0-yes1-3-50UNSAT541.83
jnh12-00UNSAT543.1
jnh204-50SAT546.69
jnh7-50SAT579.31
jnh209-00SAT582.91
aim-200-6_0-yes1-1-00UNSAT587.72
jnh205-00UNSAT590.12
jnh212-00UNSAT590.67
aim-200-6_0-yes1-2-00UNSAT590.8
ssa7552-158-50FAIL600
par8-4-90FAIL600
par8-4-50FAIL600
ssa7552-160-00FAIL600
ssa7552-160-50FAIL600
par8-3-90FAIL600
par16-2-c-00FAIL600
par16-1-c-90FAIL600
par16-1-c-50FAIL600
par16-1-00FAIL600
ssa7552-158-90FAIL600
par8-5-90FAIL600
par16-1-50FAIL600
par8-5-50FAIL600
par8-5-00FAIL600
par16-1-90FAIL600
ssa7552-159-50FAIL600
ssa7552-159-90FAIL600
par8-4-00FAIL600
par16-1-c-00FAIL600
par8-3-50FAIL600
par16-2-c-50FAIL600
par8-1-50FAIL600
par16-5-c-90FAIL600
par16-5-c-50FAIL600
par16-5-c-00FAIL600
par16-4-c-90FAIL600
par16-4-c-50FAIL600
par16-4-c-00FAIL600
par16-4-00FAIL600
par16-4-50FAIL600
par8-1-90FAIL600
par16-3-c-90FAIL600
par16-3-c-50FAIL600
par8-3-00FAIL600
ssa7552-160-90FAIL600
ssa7552-158-00FAIL600
par8-2-90FAIL600
par8-2-50FAIL600
par8-2-00FAIL600
par8-1-00FAIL600
par16-2-c-90FAIL600
par16-3-c-00FAIL600
par16-4-90FAIL600
aim-200-6_0-yes1-4-00FAIL600
ii32c3-00FAIL600
ii32c3-50FAIL600
ii32c3-90FAIL600
ii32d1-00FAIL600
ii32d1-50FAIL600
ii32d1-90FAIL600
ii32e1-00FAIL600
ii32e1-50FAIL600
ii32e1-90FAIL600
ii32e2-00FAIL600
ii32e2-50FAIL600
ii32e2-90FAIL600
ii8a1-00FAIL600
ii32c2-90FAIL600
ii32c2-50FAIL600
f600-00FAIL600
f600-50FAIL600
f600-90FAIL600
ii32b1-00FAIL600
ii32b1-50FAIL600
ii32b1-90FAIL600
ii32b2-00FAIL600
ii32b2-50FAIL600
ii32b2-90FAIL600
ii32c1-00FAIL600
ii32c1-50FAIL600
ii32c1-90FAIL600
ii32c2-00FAIL600
ii8a3-00FAIL600
ii8a3-50FAIL600
ii8e1-90FAIL600
jnh1-00FAIL600
jnh201-00FAIL600
jnh201-50FAIL600
jnh201-90FAIL600
jnh204-00FAIL600
jnh210-00FAIL600
jnh210-90FAIL600
jnh217-00FAIL600
jnh217-50FAIL600
jnh217-90FAIL600
jnh220-00FAIL600
jnh301-00FAIL600
ii8e1-50FAIL600
ii8e1-00FAIL600
ii8a3-90FAIL600
ii8a4-00FAIL600
ii8a4-50FAIL600
ii8a4-90FAIL600
ii8b1-00FAIL600
ii8b1-50FAIL600
ii8b1-90FAIL600
ii8c1-00FAIL600
ii8c1-50FAIL600
ii8c1-90FAIL600
ii8d1-00FAIL600
ii8d1-50FAIL600
ii8d1-90FAIL600
jnh7-00FAIL600