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

InstanceResultTime
ssa7552-159-00SAT0.12
par8-4-c-90SAT0.38
aim-50-6_0-yes1-2-50UNSAT0.54
ii8a1-90SAT1.15
ii8a1-50SAT1.37
par8-1-c-90UNSAT1.42
aim-50-6_0-yes1-3-50UNSAT2.41
aim-50-6_0-yes1-1-90SAT2.5
aim-50-6_0-yes1-2-90UNSAT2.53
aim-50-6_0-yes1-2-00UNSAT2.77
par8-4-c-50SAT2.81
par8-2-c-90UNSAT2.93
par8-3-c-90UNSAT2.95
par8-2-c-50UNSAT3.34
aim-50-6_0-yes1-3-90SAT3.76
aim-50-1_6-yes1-2-90UNSAT5.93
par8-3-c-00SAT6.26
par8-4-c-00SAT6.28
aim-50-1_6-yes1-4-90UNSAT6.4
par8-1-c-00UNSAT6.54
par8-3-c-50UNSAT7.13
par8-5-c-90UNSAT7.18
par8-5-50SAT8.08
aim-50-6_0-yes1-4-00SAT9.53
par8-1-c-50UNSAT9.69
aim-50-6_0-yes1-3-00UNSAT10.31
jnh213-50SAT11.61
jnh7-00SAT11.7
jnh12-50UNSAT11.72
jnh210-50SAT11.83
jnh12-90SAT12.05
jnh213-00SAT13.44
jnh7-90SAT14.86
jnh12-00UNSAT15.38
aim-50-6_0-yes1-4-90SAT17.57
aim-50-6_0-yes1-1-50UNSAT18.83
aim-50-3_4-yes1-4-50UNSAT20.83
aim-50-3_4-yes1-4-00UNSAT23.05
aim-50-6_0-yes1-4-50UNSAT23.35
par8-2-00UNSAT23.69
aim-50-6_0-yes1-1-00UNSAT24.59
aim-50-3_4-yes1-2-90SAT27.13
aim-50-3_4-yes1-3-90UNSAT28.1
par8-5-c-00UNSAT28.59
aim-50-3_4-yes1-1-00UNSAT33.95
aim-50-3_4-yes1-1-90UNSAT35.44
aim-200-2_0-yes1-3-90SAT36.94
aim-100-2_0-yes1-3-90UNSAT38.35
aim-50-2_0-yes1-4-90SAT38.98
aim-100-1_6-yes1-1-50SAT39.37
par8-5-c-50UNSAT39.68
aim-200-1_6-yes1-4-90SAT41.27
aim-100-1_6-yes1-3-50UNSAT43.02
aim-100-1_6-yes1-2-50SAT43.06
par8-5-90UNSAT43.33
aim-50-1_6-yes1-4-50SAT43.65
aim-200-2_0-yes1-4-90SAT43.68
aim-200-2_0-yes1-1-50UNSAT45.07
aim-200-2_0-yes1-2-50UNSAT46.36
aim-200-3_4-yes1-4-90SAT46.86
par8-2-90UNSAT47.02
aim-200-1_6-yes1-1-50SAT47.14
aim-100-2_0-yes1-1-90UNSAT47.28
aim-200-1_6-yes1-1-90SAT47.31
aim-200-2_0-yes1-4-00SAT47.53
aim-100-2_0-yes1-2-00SAT47.56
aim-100-1_6-yes1-4-50UNSAT47.57
aim-100-2_0-yes1-4-90SAT47.6
aim-200-2_0-yes1-4-50SAT47.62
aim-100-2_0-yes1-2-90UNSAT48.02
aim-200-1_6-yes1-4-50SAT48.13
aim-100-1_6-yes1-2-90UNSAT48.86
aim-100-1_6-yes1-4-90UNSAT49.14
aim-100-1_6-yes1-3-00UNSAT49.18
aim-100-3_4-yes1-4-50UNSAT49.3
aim-100-1_6-yes1-4-00UNSAT50.76
aim-200-2_0-yes1-2-00UNSAT50.76
aim-100-1_6-yes1-1-00SAT50.8
par8-2-c-00UNSAT50.97
aim-50-1_6-yes1-3-50UNSAT51.05
aim-200-2_0-yes1-3-00UNSAT51.06
aim-100-2_0-yes1-1-50UNSAT51.32
aim-200-3_4-yes1-3-00SAT51.9
aim-100-1_6-yes1-3-90SAT52.28
aim-200-2_0-yes1-2-90UNSAT52.88
aim-100-2_0-yes1-3-50UNSAT53.17
jnh218-00SAT53.17
aim-200-1_6-yes1-2-90UNSAT53.41
aim-200-1_6-yes1-2-50SAT53.57
aim-100-1_6-yes1-1-90UNSAT53.64
aim-200-3_4-yes1-1-00UNSAT54.36
aim-200-1_6-yes1-1-00SAT55.08
aim-200-3_4-yes1-4-00SAT55.12
aim-100-1_6-yes1-2-00SAT55.36
aim-100-3_4-yes1-3-90UNSAT56.34
aim-100-2_0-yes1-4-00UNSAT56.82
aim-100-2_0-yes1-3-00UNSAT57.86
aim-50-2_0-yes1-3-90UNSAT58.1
aim-50-1_6-yes1-2-00SAT58.58
aim-200-3_4-yes1-3-50SAT58.64
aim-100-3_4-yes1-1-90SAT58.72
par8-3-90SAT59.79
aim-100-6_0-yes1-3-00SAT60.07
aim-200-3_4-yes1-1-50SAT60.25
aim-50-3_4-yes1-3-50SAT60.44
aim-100-6_0-yes1-4-00UNSAT60.51
aim-50-1_6-yes1-1-00SAT60.6
aim-200-3_4-yes1-2-00UNSAT60.66
aim-50-1_6-yes1-4-00SAT60.69
aim-100-3_4-yes1-1-50UNSAT60.86
aim-200-2_0-yes1-3-50UNSAT60.9
aim-50-2_0-yes1-1-50UNSAT61.28
aim-50-3_4-yes1-3-00SAT61.38
aim-50-1_6-yes1-3-90SAT61.4
aim-200-2_0-yes1-1-00SAT61.4
aim-200-3_4-yes1-4-50SAT61.58
ii8a1-00SAT61.72
aim-50-3_4-yes1-2-00SAT61.92
aim-50-3_4-yes1-1-50UNSAT62.55
aim-100-6_0-yes1-1-50SAT62.63
aim-100-2_0-yes1-2-50SAT62.73
aim-100-3_4-yes1-3-00SAT62.8
aim-100-2_0-yes1-1-00UNSAT63.3
ii32e1-50SAT63.31
aim-50-3_4-yes1-2-50SAT63.38
aim-50-2_0-yes1-4-50SAT63.61
aim-100-2_0-yes1-4-50UNSAT63.76
aim-50-2_0-yes1-2-90SAT63.89
aim-100-6_0-yes1-2-00UNSAT64.22
aim-100-3_4-yes1-4-00SAT64.23
aim-50-2_0-yes1-3-50UNSAT64.42
ii32e1-00SAT64.44
aim-100-3_4-yes1-2-50SAT64.61
aim-50-3_4-yes1-4-90SAT64.69
aim-100-6_0-yes1-2-50UNSAT64.92
ii8b1-90SAT65.54
aim-100-6_0-yes1-4-50UNSAT65.79
aim-50-1_6-yes1-1-90UNSAT66.02
aim-50-1_6-yes1-2-50SAT66.04
aim-100-3_4-yes1-3-50UNSAT66.61
aim-50-2_0-yes1-1-90UNSAT66.68
jnh205-50SAT67.24
jnh220-50SAT67.61
aim-200-6_0-yes1-3-00SAT67.67
aim-200-1_6-yes1-2-00UNSAT67.92
jnh204-00SAT68.51
aim-100-3_4-yes1-2-90UNSAT68.78
jnh217-00SAT68.84
aim-50-1_6-yes1-1-50SAT68.97
jnh17-00SAT69.5
aim-100-3_4-yes1-2-00UNSAT69.66
aim-50-2_0-yes1-3-00UNSAT70.05
jnh1-50SAT70.07
aim-100-3_4-yes1-4-90SAT70.42
jnh218-50SAT71.79
aim-200-6_0-yes1-1-00UNSAT73.28
aim-200-3_4-yes1-1-90SAT74.07
jnh301-50SAT74.48
aim-100-6_0-yes1-3-90UNSAT74.49
aim-50-1_6-yes1-3-00SAT74.95
aim-200-6_0-yes1-1-90SAT75.19
ii32b1-00SAT75.22
aim-100-6_0-yes1-1-90UNSAT75.3
jnh207-00UNSAT76.45
aim-200-6_0-yes1-2-00UNSAT76.99
aim-100-6_0-yes1-4-90SAT77.21
jnh7-50SAT77.72
aim-100-6_0-yes1-1-00SAT78.2
jnh212-00UNSAT78.62
jnh17-50SAT79.25
ii8c1-90SAT79.29
aim-100-6_0-yes1-3-50SAT79.73
aim-100-3_4-yes1-1-00UNSAT79.79
aim-200-6_0-yes1-4-50SAT82.27
jnh207-50UNSAT82.49
jnh209-00SAT82.92
aim-200-6_0-yes1-4-00UNSAT83.71
ii32b1-50SAT86.89
jnh220-00SAT87.27
jnh1-00SAT87.61
jnh207-90SAT88.19
jnh301-90UNSAT90.69
jnh301-00UNSAT90.8
aim-200-2_0-yes1-1-90UNSAT95.19
ii32b2-50SAT97.94
jnh217-50SAT101.25
ii32c1-50SAT103.06
ii32c2-50SAT111.19
ii32e2-50SAT112.82
aim-200-6_0-yes1-3-50UNSAT113.88
ii32c2-00SAT114.49
ii32e2-00SAT115.59
jnh212-50UNSAT117.15
jnh205-00UNSAT117.74
aim-200-6_0-yes1-3-90UNSAT118.01
jnh218-90SAT122.1
aim-100-6_0-yes1-2-90SAT123.19
aim-200-6_0-yes1-2-50UNSAT123.65
aim-200-6_0-yes1-2-90UNSAT125.62
aim-200-6_0-yes1-1-50UNSAT133.93
aim-200-6_0-yes1-4-90SAT138.45
ii8a4-90SAT142.17
ii32c1-90UNSAT142.2
ii32b2-00SAT143.53
aim-200-3_4-yes1-2-50SAT155.79
jnh17-90UNSAT162.08
aim-200-3_4-yes1-3-90UNSAT162.31
ii32c3-00SAT186.43
aim-50-2_0-yes1-2-00UNSAT187.05
aim-50-2_0-yes1-2-50UNSAT208.26
jnh209-50UNSAT213.47
ii32c3-50SAT236.64
jnh210-90UNSAT255.28
ii32e1-90UNSAT265.87
jnh205-90UNSAT266.65
jnh204-50SAT268.42
jnh212-90UNSAT269.83
ii32c2-90SAT279.39
ii8a3-00SAT280.27
aim-50-2_0-yes1-4-00UNSAT280.63
ii32b1-90SAT298.49
aim-200-3_4-yes1-2-90UNSAT415.03
jnh209-90UNSAT424
par8-1-90FAIL600
ssa7552-160-90FAIL600
ssa7552-160-50FAIL600
aim-50-2_0-yes1-1-00FAIL600
ssa7552-160-00FAIL600
par8-1-50FAIL600
par8-1-00FAIL600
par16-5-c-90FAIL600
par16-4-50FAIL600
par16-5-c-00FAIL600
par16-4-c-90FAIL600
par16-4-c-50FAIL600
par16-4-c-00FAIL600
par16-4-90FAIL600
par16-5-c-50FAIL600
ssa7552-159-90FAIL600
par8-4-50FAIL600
par8-4-00FAIL600
par8-4-90FAIL600
par8-3-00FAIL600
ii8c1-00FAIL600
aim-200-1_6-yes1-4-00FAIL600
par8-5-00FAIL600
aim-200-1_6-yes1-3-90FAIL600
aim-200-1_6-yes1-3-50FAIL600
aim-200-1_6-yes1-3-00FAIL600
ssa7552-158-00FAIL600
ssa7552-158-50FAIL600
ssa7552-158-90FAIL600
par8-2-50FAIL600
ssa7552-159-50FAIL600
par8-3-50FAIL600
par16-4-00FAIL600
ii8a2-00FAIL600
ii8d1-90FAIL600
ii8e1-00FAIL600
ii8e1-50FAIL600
ii8e1-90FAIL600
ii32d1-50FAIL600
ii32d1-00FAIL600
ii32c3-90FAIL600
ii32e2-90FAIL600
jnh1-90FAIL600
ii8d1-50FAIL600
ii8d1-00FAIL600
ii8c1-50FAIL600
ii8a2-50FAIL600
ii8a2-90FAIL600
ii8a3-50FAIL600
ii8a3-90FAIL600
ii8a4-00FAIL600
ii8a4-50FAIL600
ii8b1-00FAIL600
ii8b1-50FAIL600
ii32d1-90FAIL600
jnh201-00FAIL600
jnh201-50FAIL600
jnh201-90FAIL600
par16-1-90FAIL600
par16-1-c-00FAIL600
par16-1-c-50FAIL600
par16-1-c-90FAIL600
par16-2-c-00FAIL600
par16-2-c-50FAIL600
par16-2-c-90FAIL600
par16-3-c-00FAIL600
par16-3-c-50FAIL600
par16-1-50FAIL600
par16-1-00FAIL600
f600-00FAIL600
jnh204-90FAIL600
jnh210-00FAIL600
ii32c1-00FAIL600
ii32b2-90FAIL600
jnh213-90FAIL600
jnh217-90FAIL600
f600-90FAIL600
jnh220-90FAIL600
f600-50FAIL600
par16-3-c-90FAIL600