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

InstanceResultTime
aim-50-6_0-yes1-4-50FAIL0
aim-50-6_0-yes1-3-00FAIL0.01
aim-200-2_0-yes1-1-00FAIL0.01
aim-50-6_0-yes1-4-00FAIL0.01
aim-200-2_0-yes1-2-50FAIL0.01
aim-200-2_0-yes1-2-00FAIL0.01
aim-200-2_0-yes1-1-90FAIL0.01
aim-200-2_0-yes1-1-50FAIL0.01
aim-200-3_4-yes1-2-90FAIL0.01
aim-200-6_0-yes1-4-90FAIL0.02
aim-100-6_0-yes1-4-50FAIL0.02
aim-200-3_4-yes1-4-50FAIL0.02
aim-200-6_0-yes1-1-90FAIL0.02
aim-200-6_0-yes1-1-50FAIL0.02
aim-200-6_0-yes1-1-00FAIL0.02
aim-200-3_4-yes1-2-50FAIL0.02
aim-200-6_0-yes1-3-50FAIL0.02
aim-200-6_0-yes1-2-00FAIL0.02
aim-200-6_0-yes1-4-50FAIL0.02
aim-200-6_0-yes1-4-00FAIL0.02
aim-200-6_0-yes1-3-90FAIL0.02
aim-200-6_0-yes1-2-90FAIL0.02
aim-200-6_0-yes1-3-00FAIL0.02
aim-200-6_0-yes1-2-50FAIL0.02
ii8a1-90SAT0.22
par8-1-c-90UNSAT0.75
par8-4-c-90SAT1.64
par8-5-c-90UNSAT1.66
par8-3-c-90UNSAT2.06
aim-50-6_0-yes1-4-90SAT2.12
aim-50-1_6-yes1-1-90UNSAT2.2
aim-50-2_0-yes1-1-90SAT2.53
aim-50-3_4-yes1-4-90SAT2.85
aim-50-6_0-yes1-1-90SAT3.02
par8-2-c-90UNSAT3.17
aim-50-6_0-yes1-3-90FAIL3.62
aim-50-3_4-yes1-3-90UNSAT4.68
aim-50-2_0-yes1-4-90SAT7.95
aim-50-3_4-yes1-1-90UNSAT8.2
aim-50-6_0-yes1-2-90UNSAT8.73
aim-50-3_4-yes1-2-90SAT9.59
aim-50-1_6-yes1-3-90SAT9.81
aim-50-1_6-yes1-4-90UNSAT9.89
aim-50-2_0-yes1-3-90UNSAT11.48
aim-50-1_6-yes1-2-90UNSAT14.23
aim-50-2_0-yes1-2-90SAT19.45
aim-200-2_0-yes1-3-90FAIL25.85
aim-200-3_4-yes1-1-90FAIL26.19
ii8a2-90FAIL26.36
par8-1-90FAIL26.73
aim-200-1_6-yes1-4-90FAIL26.99
par8-3-90FAIL27.69
aim-100-6_0-yes1-3-90FAIL27.75
aim-50-6_0-yes1-3-50FAIL27.86
par16-1-00FAIL28.09
par8-1-00FAIL28.13
f600-90FAIL28.16
par16-4-00FAIL28.22
par8-4-50FAIL28.23
aim-200-3_4-yes1-4-90FAIL28.28
par8-4-90FAIL28.32
jnh207-50FAIL28.33
par8-2-00FAIL28.35
jnh201-90FAIL28.35
aim-200-2_0-yes1-3-00FAIL28.37
par8-4-00FAIL28.44
aim-50-3_4-yes1-1-50FAIL28.5
par8-5-00FAIL28.62
par8-2-90FAIL28.65
par16-4-50FAIL28.67
ii32c1-90FAIL28.71
aim-100-2_0-yes1-4-90FAIL28.71
aim-50-3_4-yes1-2-50FAIL28.79
par8-2-50FAIL28.8
par8-3-00FAIL28.82
par8-3-50FAIL28.85
aim-200-1_6-yes1-2-90FAIL28.99
aim-200-1_6-yes1-3-90FAIL29.03
par8-5-50FAIL29.08
aim-200-3_4-yes1-3-90FAIL29.18
aim-100-3_4-yes1-3-90FAIL29.18
jnh213-90FAIL29.37
aim-100-1_6-yes1-2-90FAIL29.43
aim-100-3_4-yes1-1-90FAIL29.5
par16-1-90FAIL29.51
aim-200-1_6-yes1-1-90FAIL29.53
aim-100-6_0-yes1-1-90FAIL29.58
aim-200-2_0-yes1-2-90FAIL29.63
aim-100-2_0-yes1-3-90FAIL29.69
par16-4-90FAIL29.7
jnh301-90FAIL29.71
par16-1-50FAIL29.9
aim-50-2_0-yes1-3-50FAIL29.94
aim-100-3_4-yes1-4-90FAIL29.95
ii32c3-00FAIL30.04
aim-50-1_6-yes1-2-00FAIL30.08
aim-100-2_0-yes1-1-90FAIL30.17
aim-100-6_0-yes1-2-90FAIL30.17
ii8a4-50FAIL30.18
par8-1-50FAIL30.19
aim-100-1_6-yes1-3-90FAIL30.23
ii8e1-00FAIL30.27
jnh7-90FAIL30.29
ssa7552-160-00FAIL30.29
ii8c1-50FAIL30.3
ssa7552-160-50FAIL30.3
jnh209-90FAIL30.31
ii32d1-90FAIL30.32
ii8e1-90FAIL30.32
ssa7552-159-00FAIL30.37
ii8c1-90FAIL30.37
ssa7552-160-90FAIL30.38
ii32e2-90FAIL30.39
ii8d1-90FAIL30.4
aim-50-6_0-yes1-1-50FAIL30.43
par16-2-c-00FAIL30.44
ssa7552-158-50FAIL30.45
ssa7552-158-90FAIL30.45
ii32c3-50FAIL30.46
f600-50FAIL30.46
aim-100-6_0-yes1-4-90FAIL30.47
ii32b2-90FAIL30.47
ii32d1-50FAIL30.49
jnh201-00FAIL30.49
ii8c1-00FAIL30.49
jnh217-90FAIL30.52
par16-3-c-90FAIL30.54
f600-00FAIL30.55
ssa7552-158-00FAIL30.56
ssa7552-159-90FAIL30.61
par16-3-c-00FAIL30.64
ii8a4-90FAIL30.65
jnh17-90FAIL30.66
ii8d1-50FAIL30.67
ii32c2-00FAIL30.69
ii8b1-00FAIL30.69
ii8b1-90FAIL30.69
ii32b2-00FAIL30.69
aim-50-1_6-yes1-3-50FAIL30.7
ssa7552-159-50FAIL30.7
ii8e1-50FAIL30.71
ii8a4-00FAIL30.73
ii32c3-90FAIL30.73
aim-100-1_6-yes1-1-90FAIL30.75
par16-4-c-00FAIL30.75
ii32e1-50FAIL30.75
ii32d1-00FAIL30.77
jnh17-00FAIL30.78
ii32c1-00FAIL30.78
ii8a3-90FAIL30.8
ii32e2-00FAIL30.8
ii8b1-50FAIL30.81
jnh7-00FAIL30.82
par16-3-c-50FAIL30.85
jnh301-00FAIL30.85
ii8a3-00FAIL30.86
par16-5-c-90FAIL30.87
jnh205-00FAIL30.87
jnh218-90FAIL30.87
jnh207-00FAIL30.88
ii8d1-00FAIL30.89
jnh12-00FAIL30.9
ii32b1-00FAIL30.92
ii32e1-90FAIL30.92
jnh210-00FAIL30.93
jnh218-50FAIL30.95
ii32b2-50FAIL30.97
aim-100-2_0-yes1-2-90FAIL30.97
aim-200-3_4-yes1-3-50FAIL30.97
par16-4-c-90FAIL30.98
aim-200-3_4-yes1-1-00FAIL31.01
aim-50-1_6-yes1-1-50FAIL31.02
ii8a2-50FAIL31.02
aim-100-3_4-yes1-3-50FAIL31.03
par16-5-c-50FAIL31.04
ii32c2-90FAIL31.04
aim-50-6_0-yes1-2-00FAIL31.05
jnh1-00FAIL31.05
aim-100-6_0-yes1-1-00FAIL31.08
jnh210-50FAIL31.08
par16-1-c-00FAIL31.09
par16-1-c-90FAIL31.09
aim-200-3_4-yes1-4-00FAIL31.09
aim-200-1_6-yes1-1-00FAIL31.1
jnh212-90FAIL31.1
ii32e2-50FAIL31.1
jnh220-00FAIL31.11
jnh209-50FAIL31.11
aim-200-1_6-yes1-2-00FAIL31.11
jnh209-00FAIL31.11
jnh301-50FAIL31.12
ii32b1-90FAIL31.13
aim-200-1_6-yes1-4-00FAIL31.13
jnh7-50FAIL31.15
jnh17-50FAIL31.18
jnh210-90FAIL31.19
par16-5-c-00FAIL31.22
jnh201-50FAIL31.23
jnh212-00FAIL31.24
jnh205-50FAIL31.26
par8-3-c-00FAIL31.27
par8-5-90FAIL31.28
aim-200-1_6-yes1-3-00FAIL31.28
ii8a2-00FAIL31.28
ii32b1-50FAIL31.28
jnh217-00FAIL31.28
jnh217-50FAIL31.29
jnh218-00FAIL31.29
par16-2-c-90FAIL31.32
aim-50-3_4-yes1-2-00FAIL31.32
jnh204-50FAIL31.33
aim-100-6_0-yes1-4-00FAIL31.33
jnh1-50FAIL31.35
par8-5-c-00FAIL31.35
aim-100-2_0-yes1-1-00FAIL31.37
aim-100-2_0-yes1-3-00FAIL31.39
aim-100-6_0-yes1-1-50FAIL31.39
ii32c2-50FAIL31.4
jnh213-50FAIL31.4
aim-200-1_6-yes1-4-50FAIL31.41
aim-200-2_0-yes1-3-50FAIL31.41
jnh12-50FAIL31.41
aim-100-3_4-yes1-4-00FAIL31.42
jnh207-90FAIL31.43
jnh204-90FAIL31.44
aim-100-3_4-yes1-2-00FAIL31.44
aim-100-6_0-yes1-3-50FAIL31.47
par16-4-c-50FAIL31.47
aim-100-3_4-yes1-3-00FAIL31.48
aim-200-3_4-yes1-2-00FAIL31.49
aim-100-1_6-yes1-2-50FAIL31.5
aim-50-3_4-yes1-1-00FAIL31.5
aim-50-3_4-yes1-3-00FAIL31.51
aim-100-6_0-yes1-2-00FAIL31.51
par8-5-c-50FAIL31.51
aim-100-1_6-yes1-1-50FAIL31.54
aim-200-3_4-yes1-3-00FAIL31.54
jnh213-00FAIL31.55
par8-3-c-50FAIL31.55
aim-200-1_6-yes1-3-50FAIL31.55
aim-50-6_0-yes1-2-50FAIL31.57
aim-200-3_4-yes1-1-50FAIL31.57
aim-100-2_0-yes1-2-50FAIL31.57
aim-100-3_4-yes1-1-50FAIL31.57
par16-1-c-50FAIL31.59
aim-200-2_0-yes1-4-50FAIL31.59
ii32e1-00FAIL31.6
aim-50-1_6-yes1-1-00FAIL31.61
aim-100-1_6-yes1-4-50FAIL31.63
aim-100-2_0-yes1-4-00FAIL31.64
aim-100-6_0-yes1-3-00FAIL31.65
aim-100-1_6-yes1-3-00FAIL31.65
aim-100-3_4-yes1-2-50FAIL31.65
par8-2-c-50FAIL31.67
ii32c1-50FAIL31.67
aim-200-1_6-yes1-2-50FAIL31.68
par8-1-c-00FAIL31.68
aim-100-1_6-yes1-4-00FAIL31.69
aim-100-3_4-yes1-1-00FAIL31.73
par8-4-c-50FAIL31.73
jnh1-90FAIL31.73
aim-100-1_6-yes1-3-50FAIL31.78
aim-100-2_0-yes1-2-00FAIL31.78
par8-4-c-00FAIL31.79
aim-100-2_0-yes1-4-50FAIL31.79
aim-100-2_0-yes1-3-50FAIL31.8
aim-50-2_0-yes1-4-50FAIL31.81
aim-200-2_0-yes1-4-90FAIL31.82
aim-50-3_4-yes1-4-00FAIL31.83
ii8a1-00FAIL31.84
ii8a1-50FAIL31.85
aim-50-3_4-yes1-3-50FAIL31.85
aim-50-2_0-yes1-3-00FAIL31.85
par8-1-c-50FAIL31.86
jnh220-50FAIL31.87
aim-100-6_0-yes1-2-50FAIL31.94
aim-50-1_6-yes1-2-50FAIL31.95
aim-50-1_6-yes1-4-50FAIL31.96
aim-50-1_6-yes1-3-00FAIL31.97
aim-50-1_6-yes1-4-00FAIL31.99
aim-100-1_6-yes1-1-00FAIL32.01
par16-2-c-50FAIL32.04
jnh205-90FAIL32.05
aim-50-2_0-yes1-2-00FAIL32.05
jnh212-50FAIL32.08
ii8a3-50FAIL32.09
aim-100-1_6-yes1-4-90FAIL32.09
aim-200-1_6-yes1-1-50FAIL32.14
aim-50-3_4-yes1-4-50FAIL32.16
par8-2-c-00FAIL32.17
aim-100-3_4-yes1-4-50FAIL32.17
aim-100-1_6-yes1-2-00FAIL32.18
aim-50-2_0-yes1-2-50FAIL32.22
aim-100-3_4-yes1-2-90FAIL32.24
jnh220-90FAIL32.51
jnh12-90FAIL32.54
aim-50-2_0-yes1-1-50FAIL32.6
aim-50-2_0-yes1-4-00FAIL32.75
aim-50-2_0-yes1-1-00FAIL32.76
jnh204-00FAIL32.77
aim-200-2_0-yes1-4-00FAIL33.35
aim-100-2_0-yes1-1-50FAIL33.35
aim-50-6_0-yes1-1-00FAIL33.63