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

InstanceResultTime
aim-50-2_0-yes1-4-90SAT0.26
aim-50-1_6-yes1-3-90SAT0.26
aim-50-1_6-yes1-2-50SAT0.32
aim-50-1_6-yes1-1-50SAT0.52
aim-50-1_6-yes1-3-00SAT0.94
aim-50-1_6-yes1-1-00SAT1
aim-50-2_0-yes1-4-50SAT1.08
aim-50-2_0-yes1-2-90SAT1.16
aim-100-1_6-yes1-2-50SAT1.28
aim-50-1_6-yes1-4-50SAT1.43
aim-50-1_6-yes1-1-90UNSAT1.59
aim-50-1_6-yes1-4-90UNSAT1.6
aim-50-3_4-yes1-3-50SAT1.7
aim-50-1_6-yes1-2-00SAT1.71
aim-100-1_6-yes1-3-90SAT1.74
aim-50-1_6-yes1-4-00SAT1.74
aim-50-1_6-yes1-2-90UNSAT1.75
aim-50-2_0-yes1-1-90UNSAT2.06
aim-100-1_6-yes1-1-50SAT2.32
aim-50-2_0-yes1-3-90UNSAT2.42
aim-50-1_6-yes1-3-50UNSAT2.44
aim-100-1_6-yes1-2-00SAT2.63
aim-50-2_0-yes1-1-50UNSAT3.12
aim-50-2_0-yes1-3-50UNSAT3.3
aim-50-2_0-yes1-2-50UNSAT3.62
aim-50-3_4-yes1-2-00SAT4.04
aim-50-2_0-yes1-1-00UNSAT4.79
aim-100-3_4-yes1-1-90SAT5.13
aim-50-3_4-yes1-2-90SAT5.37
aim-50-2_0-yes1-2-00UNSAT5.48
aim-50-2_0-yes1-4-00UNSAT5.57
aim-50-2_0-yes1-3-00UNSAT5.58
aim-100-2_0-yes1-4-90SAT5.72
par8-1-c-90FAIL5.92
par8-1-c-50FAIL5.92
par8-1-c-00FAIL5.98
aim-50-3_4-yes1-1-90UNSAT6.32
aim-50-3_4-yes1-4-90SAT6.75
aim-50-3_4-yes1-3-90UNSAT6.81
aim-100-1_6-yes1-1-00SAT7.26
aim-50-3_4-yes1-1-50UNSAT7.43
aim-50-3_4-yes1-2-50SAT8.09
aim-100-3_4-yes1-2-50SAT8.21
aim-50-3_4-yes1-3-00SAT8.94
aim-50-3_4-yes1-4-50UNSAT9.62
aim-100-2_0-yes1-2-50SAT9.64
aim-100-1_6-yes1-1-90UNSAT10.48
aim-100-1_6-yes1-2-90UNSAT11.29
aim-50-3_4-yes1-1-00UNSAT11.57
aim-100-1_6-yes1-4-90UNSAT11.76
aim-50-3_4-yes1-4-00UNSAT11.91
aim-50-6_0-yes1-4-00SAT12.06
aim-50-6_0-yes1-3-90SAT13.12
aim-100-2_0-yes1-2-00SAT13.24
ii8a1-90SAT13.7
aim-50-6_0-yes1-4-90SAT14.37
aim-100-2_0-yes1-3-90UNSAT15.07
aim-100-2_0-yes1-1-90UNSAT15.85
aim-100-2_0-yes1-2-90UNSAT16.26
par8-4-c-90SAT16.95
aim-100-1_6-yes1-4-50UNSAT19.27
aim-100-1_6-yes1-3-50UNSAT19.33
aim-50-6_0-yes1-1-90SAT19.71
aim-100-3_4-yes1-4-90SAT20.48
ii8a1-50SAT23.13
par8-4-c-50SAT24.05
aim-100-2_0-yes1-3-50UNSAT24.07
aim-200-2_0-yes1-4-90SAT24.91
aim-100-2_0-yes1-1-50UNSAT25.05
aim-100-2_0-yes1-4-50UNSAT25.4
aim-200-3_4-yes1-4-90SAT28.54
aim-50-6_0-yes1-2-90UNSAT28.69
aim-50-6_0-yes1-3-50UNSAT30.18
aim-100-3_4-yes1-3-00SAT30.45
par8-2-c-90SAT31.43
aim-200-1_6-yes1-4-90SAT31.5
par8-4-c-00SAT31.81
aim-100-1_6-yes1-4-00UNSAT32.93
aim-50-6_0-yes1-4-50UNSAT33.81
aim-100-1_6-yes1-3-00UNSAT34.55
aim-50-6_0-yes1-2-50UNSAT35.62
aim-50-6_0-yes1-1-50UNSAT36.15
aim-50-6_0-yes1-3-00UNSAT37.12
aim-100-6_0-yes1-3-50SAT37.43
par8-3-c-90SAT37.68
par8-2-c-50SAT38.08
aim-100-2_0-yes1-3-00UNSAT38.69
aim-200-1_6-yes1-1-90SAT40.3
aim-100-2_0-yes1-1-00UNSAT40.96
aim-50-6_0-yes1-2-00UNSAT41.56
aim-100-2_0-yes1-4-00UNSAT43.2
par8-5-c-90SAT44.56
aim-50-6_0-yes1-1-00UNSAT45.35
par8-3-c-00SAT48.03
aim-100-3_4-yes1-2-90UNSAT48.56
par8-3-c-50SAT49.53
aim-100-3_4-yes1-3-90UNSAT51.02
aim-100-3_4-yes1-4-00SAT51.67
aim-200-1_6-yes1-1-50SAT53.37
par8-5-c-50SAT55.14
par8-2-c-00SAT59.08
aim-200-1_6-yes1-2-50SAT59.16
aim-100-3_4-yes1-1-50UNSAT60.85
aim-200-3_4-yes1-3-50SAT68.36
aim-100-3_4-yes1-3-50UNSAT70.48
aim-200-1_6-yes1-4-50SAT72.64
aim-200-2_0-yes1-4-50SAT72.69
aim-200-2_0-yes1-3-90SAT75.41
aim-100-3_4-yes1-4-50UNSAT76.23
par8-5-c-00SAT81.66
aim-100-3_4-yes1-1-00UNSAT86.74
aim-200-1_6-yes1-1-00SAT87.53
aim-100-6_0-yes1-4-90SAT88.21
aim-100-3_4-yes1-2-00UNSAT94.42
aim-200-1_6-yes1-3-90UNSAT98.55
aim-200-3_4-yes1-1-90SAT99.2
aim-200-2_0-yes1-4-00SAT102.66
aim-200-1_6-yes1-2-90UNSAT103.96
aim-200-2_0-yes1-1-00SAT114.69
aim-200-3_4-yes1-3-00SAT117.3
aim-200-3_4-yes1-1-50SAT128.78
aim-100-6_0-yes1-2-90SAT135.41
aim-200-2_0-yes1-2-90UNSAT146.14
aim-200-2_0-yes1-1-90UNSAT147.92
aim-200-1_6-yes1-3-50UNSAT181.47
aim-100-6_0-yes1-1-50SAT204.35
aim-100-6_0-yes1-1-90UNSAT214.84
aim-100-6_0-yes1-3-90UNSAT216.67
aim-100-6_0-yes1-1-00SAT226.52
aim-200-2_0-yes1-2-50UNSAT247.09
aim-100-6_0-yes1-3-00SAT253.65
aim-200-2_0-yes1-3-50UNSAT257.94
aim-200-2_0-yes1-1-50UNSAT260.23
aim-200-3_4-yes1-2-50SAT270.77
ssa7552-159-00SAT275.29
aim-200-3_4-yes1-4-50SAT287.31
aim-100-6_0-yes1-2-50UNSAT295.05
aim-100-6_0-yes1-4-50UNSAT302.82
aim-200-1_6-yes1-3-00UNSAT346.69
aim-100-6_0-yes1-4-00UNSAT347.23
aim-200-1_6-yes1-4-00UNSAT358.09
aim-200-1_6-yes1-2-00UNSAT365.87
aim-100-6_0-yes1-2-00UNSAT376.76
aim-200-2_0-yes1-2-00UNSAT435.29
aim-200-2_0-yes1-3-00UNSAT453.99
aim-200-6_0-yes1-4-90SAT480.67
aim-200-3_4-yes1-3-90UNSAT497.18
aim-200-3_4-yes1-2-90UNSAT535.69
aim-200-6_0-yes1-4-50SAT555.53
jnh301-00FAIL600
jnh301-50FAIL600
jnh301-90FAIL600
jnh7-00FAIL600
jnh7-50FAIL600
jnh7-90FAIL600
par16-1-c-90FAIL600
par16-2-c-50FAIL600
par16-1-00FAIL600
par16-2-c-00FAIL600
par16-1-50FAIL600
par16-1-90FAIL600
par16-1-c-00FAIL600
par16-1-c-50FAIL600
jnh220-90FAIL600
jnh220-50FAIL600
jnh220-00FAIL600
jnh209-90FAIL600
jnh210-00FAIL600
jnh210-50FAIL600
jnh210-90FAIL600
jnh212-00FAIL600
jnh212-50FAIL600
jnh212-90FAIL600
jnh213-00FAIL600
jnh213-50FAIL600
jnh213-90FAIL600
jnh217-00FAIL600
jnh217-50FAIL600
jnh217-90FAIL600
jnh218-00FAIL600
jnh218-50FAIL600
jnh218-90FAIL600
par16-2-c-90FAIL600
par16-3-c-00FAIL600
par16-3-c-50FAIL600
par8-2-50FAIL600
par8-2-90FAIL600
ssa7552-158-90FAIL600
ssa7552-159-50FAIL600
ssa7552-159-90FAIL600
par8-3-00FAIL600
par8-3-50FAIL600
par8-3-90FAIL600
ssa7552-160-00FAIL600
ssa7552-160-50FAIL600
par8-4-00FAIL600
par8-4-50FAIL600
par8-4-90FAIL600
ssa7552-160-90FAIL600
par8-5-00FAIL600
par8-2-00FAIL600
ssa7552-158-50FAIL600
par16-3-c-90FAIL600
par16-4-00FAIL600
par16-4-50FAIL600
par16-4-90FAIL600
par16-4-c-00FAIL600
par16-4-c-50FAIL600
par16-4-c-90FAIL600
par16-5-c-00FAIL600
par16-5-c-50FAIL600
par16-5-c-90FAIL600
par8-1-00FAIL600
par8-1-50FAIL600
par8-1-90FAIL600
par8-5-90FAIL600
ssa7552-158-00FAIL600
par8-5-50FAIL600
ii8a2-00FAIL600
ii32c3-50FAIL600
ii32c3-00FAIL600
ii32c2-90FAIL600
ii32c2-50FAIL600
ii32c2-00FAIL600
ii32c1-90FAIL600
ii32c1-50FAIL600
ii32c1-00FAIL600
ii32c3-90FAIL600
ii32d1-00FAIL600
ii32d1-50FAIL600
ii8a1-00FAIL600
ii32e2-90FAIL600
ii32e2-50FAIL600
ii32e2-00FAIL600
ii32e1-90FAIL600
ii32e1-50FAIL600
ii32e1-00FAIL600
ii32d1-90FAIL600
ii32b2-90FAIL600
ii32b2-50FAIL600
aim-200-6_0-yes1-2-90FAIL600
aim-200-6_0-yes1-2-50FAIL600
aim-200-6_0-yes1-2-00FAIL600
aim-200-6_0-yes1-1-90FAIL600
aim-200-6_0-yes1-1-50FAIL600
aim-200-6_0-yes1-1-00FAIL600
aim-200-3_4-yes1-4-00FAIL600
aim-200-3_4-yes1-2-00FAIL600
aim-200-6_0-yes1-3-00FAIL600
aim-200-6_0-yes1-3-50FAIL600
aim-200-6_0-yes1-3-90FAIL600
ii32b2-00FAIL600
ii32b1-90FAIL600
ii32b1-50FAIL600
ii32b1-00FAIL600
f600-90FAIL600
f600-50FAIL600
f600-00FAIL600
aim-200-6_0-yes1-4-00FAIL600
aim-200-3_4-yes1-1-00FAIL600
ii8a2-50FAIL600
jnh209-50FAIL600
jnh201-50FAIL600
jnh201-00FAIL600
jnh1-90FAIL600
jnh17-90FAIL600
jnh17-50FAIL600
jnh17-00FAIL600
jnh1-50FAIL600
jnh12-90FAIL600
jnh201-90FAIL600
jnh204-00FAIL600
jnh204-50FAIL600
jnh209-00FAIL600
jnh207-90FAIL600
jnh207-50FAIL600
jnh207-00FAIL600
jnh205-90FAIL600
jnh205-50FAIL600
jnh205-00FAIL600
jnh204-90FAIL600
jnh12-50FAIL600
jnh12-00FAIL600
ii8b1-50FAIL600
ii8b1-00FAIL600
ii8a4-90FAIL600
ii8a4-50FAIL600
ii8a4-00FAIL600
ii8a3-90FAIL600
ii8a3-50FAIL600
ii8a3-00FAIL600
ii8b1-90FAIL600
ii8c1-00FAIL600
ii8c1-50FAIL600
jnh1-00FAIL600
ii8e1-90FAIL600
ii8e1-50FAIL600
ii8e1-00FAIL600
ii8d1-90FAIL600
ii8d1-50FAIL600
ii8d1-00FAIL600
ii8c1-90FAIL600
ii8a2-90FAIL600