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

InstanceResultTime
aim-50-1_6-yes1-1-50SAT0.61
aim-50-1_6-yes1-1-90UNSAT0.62
aim-50-2_0-yes1-2-50UNSAT0.62
aim-50-1_6-yes1-3-50UNSAT0.62
ii8a1-90SAT0.63
aim-50-3_4-yes1-3-50SAT0.63
aim-100-1_6-yes1-1-00SAT0.63
aim-50-3_4-yes1-2-50SAT0.63
aim-50-1_6-yes1-4-00SAT0.63
aim-50-2_0-yes1-4-90SAT0.63
aim-50-2_0-yes1-2-00UNSAT0.63
aim-50-3_4-yes1-1-50UNSAT0.64
par8-4-c-00SAT0.64
aim-50-2_0-yes1-1-50UNSAT0.64
aim-50-1_6-yes1-3-90SAT0.64
aim-50-1_6-yes1-3-00SAT0.64
aim-50-1_6-yes1-2-50SAT0.64
par8-4-c-90SAT0.64
par8-3-c-50UNSAT0.64
par8-1-c-00UNSAT0.64
par8-3-c-00SAT0.64
aim-50-6_0-yes1-1-90SAT0.64
aim-50-2_0-yes1-4-00UNSAT0.64
aim-50-1_6-yes1-2-00SAT0.64
aim-50-3_4-yes1-3-00SAT0.64
aim-50-2_0-yes1-4-50SAT0.65
aim-50-3_4-yes1-1-90UNSAT0.65
par8-1-c-90UNSAT0.65
par8-5-c-50UNSAT0.65
aim-50-1_6-yes1-4-50SAT0.65
aim-50-3_4-yes1-4-50UNSAT0.65
aim-100-1_6-yes1-1-90UNSAT0.65
aim-50-1_6-yes1-2-90UNSAT0.65
aim-50-2_0-yes1-2-90SAT0.65
aim-50-2_0-yes1-3-00UNSAT0.65
aim-100-1_6-yes1-2-90UNSAT0.65
aim-50-2_0-yes1-3-50UNSAT0.65
aim-50-2_0-yes1-1-90UNSAT0.65
aim-100-1_6-yes1-1-50SAT0.65
aim-50-1_6-yes1-1-00SAT0.65
aim-50-1_6-yes1-4-90UNSAT0.65
par8-4-c-50SAT0.65
aim-100-2_0-yes1-4-90SAT0.65
aim-100-2_0-yes1-3-90UNSAT0.66
aim-50-6_0-yes1-1-50UNSAT0.66
aim-100-2_0-yes1-1-50UNSAT0.66
par8-1-c-50UNSAT0.66
ii8a1-50SAT0.66
aim-50-6_0-yes1-4-00SAT0.66
aim-100-1_6-yes1-4-00UNSAT0.66
aim-100-1_6-yes1-2-50SAT0.66
aim-50-3_4-yes1-2-90SAT0.66
aim-100-2_0-yes1-1-90UNSAT0.66
aim-50-6_0-yes1-2-50UNSAT0.66
par8-2-c-90UNSAT0.66
aim-100-1_6-yes1-3-50UNSAT0.66
aim-50-3_4-yes1-2-00SAT0.66
aim-50-2_0-yes1-1-00UNSAT0.66
aim-50-3_4-yes1-4-00UNSAT0.66
aim-50-6_0-yes1-3-00UNSAT0.66
aim-50-3_4-yes1-1-00UNSAT0.67
aim-50-3_4-yes1-4-90SAT0.67
aim-100-2_0-yes1-4-50UNSAT0.67
aim-50-2_0-yes1-3-90UNSAT0.67
par8-5-c-00UNSAT0.67
par8-5-c-90UNSAT0.67
aim-50-3_4-yes1-3-90UNSAT0.67
par8-3-c-90UNSAT0.67
aim-100-2_0-yes1-2-50SAT0.67
par8-2-c-00UNSAT0.68
aim-50-6_0-yes1-2-00UNSAT0.68
aim-100-2_0-yes1-4-00UNSAT0.68
aim-100-2_0-yes1-2-90UNSAT0.68
aim-100-2_0-yes1-2-00SAT0.68
aim-100-1_6-yes1-3-00UNSAT0.68
aim-100-2_0-yes1-3-50UNSAT0.68
aim-100-1_6-yes1-2-00SAT0.68
aim-100-3_4-yes1-1-90SAT0.68
aim-50-6_0-yes1-4-90SAT0.68
aim-100-1_6-yes1-4-90UNSAT0.68
aim-50-6_0-yes1-1-00UNSAT0.68
aim-100-1_6-yes1-4-50UNSAT0.68
aim-100-2_0-yes1-1-00UNSAT0.69
par8-2-c-50UNSAT0.69
aim-100-3_4-yes1-2-50SAT0.69
aim-50-6_0-yes1-4-50UNSAT0.69
aim-100-2_0-yes1-3-00UNSAT0.69
aim-50-6_0-yes1-3-50UNSAT0.69
aim-100-1_6-yes1-3-90SAT0.69
aim-100-3_4-yes1-4-00SAT0.7
aim-100-3_4-yes1-1-50UNSAT0.7
aim-50-6_0-yes1-2-90UNSAT0.7
aim-100-3_4-yes1-1-00UNSAT0.71
aim-100-3_4-yes1-4-50UNSAT0.71
aim-50-6_0-yes1-3-90SAT0.71
aim-200-1_6-yes1-1-00SAT0.71
aim-100-3_4-yes1-3-00SAT0.72
aim-100-3_4-yes1-3-50UNSAT0.72
aim-100-3_4-yes1-2-00UNSAT0.72
aim-200-1_6-yes1-4-00UNSAT0.72
aim-100-6_0-yes1-4-50UNSAT0.72
aim-200-1_6-yes1-3-00UNSAT0.72
aim-100-3_4-yes1-2-90UNSAT0.73
aim-200-1_6-yes1-2-50SAT0.73
aim-100-6_0-yes1-3-00SAT0.73
aim-200-1_6-yes1-3-50UNSAT0.73
aim-100-3_4-yes1-4-90SAT0.73
aim-200-1_6-yes1-4-50SAT0.73
aim-200-1_6-yes1-1-50SAT0.74
aim-100-6_0-yes1-1-50SAT0.74
aim-200-2_0-yes1-3-50UNSAT0.74
aim-200-1_6-yes1-3-90UNSAT0.74
aim-100-3_4-yes1-3-90UNSAT0.75
aim-200-2_0-yes1-4-90SAT0.75
aim-200-1_6-yes1-2-00UNSAT0.75
aim-100-6_0-yes1-3-50SAT0.75
aim-200-2_0-yes1-3-90SAT0.75
aim-200-1_6-yes1-4-90SAT0.75
aim-200-2_0-yes1-1-50UNSAT0.76
aim-200-2_0-yes1-4-50SAT0.76
aim-200-3_4-yes1-4-90SAT0.76
aim-100-6_0-yes1-1-00SAT0.76
aim-200-2_0-yes1-2-50UNSAT0.76
aim-200-1_6-yes1-2-90UNSAT0.77
aim-200-2_0-yes1-4-00SAT0.77
aim-100-6_0-yes1-1-90UNSAT0.77
aim-200-1_6-yes1-1-90SAT0.78
aim-100-6_0-yes1-4-00UNSAT0.78
aim-100-6_0-yes1-3-90UNSAT0.78
aim-100-6_0-yes1-4-90SAT0.78
aim-100-6_0-yes1-2-90SAT0.78
aim-200-2_0-yes1-1-00SAT0.79
ii8a2-00SAT0.79
aim-200-2_0-yes1-2-00UNSAT0.79
aim-200-3_4-yes1-3-00SAT0.8
aim-200-2_0-yes1-2-90UNSAT0.8
aim-200-2_0-yes1-1-90UNSAT0.8
par8-1-50SAT0.8
aim-100-6_0-yes1-2-00UNSAT0.8
aim-100-6_0-yes1-2-50UNSAT0.81
aim-200-2_0-yes1-3-00UNSAT0.81
aim-200-3_4-yes1-4-00SAT0.81
aim-200-3_4-yes1-1-50SAT0.83
par8-4-00SAT0.84
aim-200-3_4-yes1-3-50SAT0.85
aim-200-3_4-yes1-4-50SAT0.86
par8-1-00SAT0.86
aim-200-3_4-yes1-2-50SAT0.87
aim-200-3_4-yes1-2-00UNSAT0.88
aim-200-3_4-yes1-1-90SAT0.88
ii8b1-90SAT0.89
aim-200-3_4-yes1-1-00UNSAT0.9
aim-200-3_4-yes1-3-90UNSAT0.94
aim-200-6_0-yes1-3-00SAT0.97
aim-200-6_0-yes1-1-90SAT0.98
aim-200-3_4-yes1-2-90UNSAT0.98
aim-200-6_0-yes1-4-50SAT0.99
par8-2-00UNSAT1
par8-2-50UNSAT1.01
par8-3-00UNSAT1.03
aim-200-6_0-yes1-2-00UNSAT1.04
aim-200-6_0-yes1-1-50UNSAT1.04
par8-5-00UNSAT1.04
ii8a4-90SAT1.05
aim-200-6_0-yes1-2-90UNSAT1.06
aim-200-6_0-yes1-4-00UNSAT1.06
aim-200-6_0-yes1-2-50UNSAT1.07
aim-200-6_0-yes1-3-50UNSAT1.07
aim-200-6_0-yes1-1-00UNSAT1.08
par8-5-50SAT1.09
aim-200-6_0-yes1-3-90UNSAT1.17
aim-200-6_0-yes1-4-90SAT1.2
par8-1-90UNSAT1.21
ii8c1-90SAT1.21
par8-4-50UNSAT1.28
par8-4-90UNSAT1.29
ssa7552-158-90SAT1.32
par8-2-90UNSAT1.32
ssa7552-159-50SAT1.32
par8-3-50UNSAT1.33
ssa7552-159-00SAT1.33
par8-5-90UNSAT1.39
par8-3-90SAT1.39
ssa7552-160-50SAT1.54
ssa7552-160-00SAT1.62
ssa7552-159-90SAT1.96
par16-4-c-50UNSAT2.8
ssa7552-158-50SAT3.08
par16-4-c-90UNSAT3.48
par16-4-c-00SAT3.65
par16-5-c-00SAT4.46
par16-4-50UNSAT5.7
par16-5-c-50UNSAT5.8
par16-1-c-50SAT5.84
par16-5-c-90SAT5.98
par16-1-c-90SAT6.13
par16-4-90UNSAT6.18
par16-2-c-00SAT6.26
par16-4-00UNSAT6.27
par16-2-c-50SAT6.44
ii8a1-00SAT6.52
par16-2-c-90SAT6.92
par16-1-c-00SAT8.2
par16-3-c-50UNSAT8.91
par16-1-90UNSAT8.97
par16-3-c-90UNSAT10.24
par16-1-00UNSAT11.83
ii8a2-90UNSAT12.41
ii32e2-50SAT12.53
par16-1-50UNSAT13.83
ii32e2-90SAT17.39
ii8a4-00SAT20.59
jnh213-50SAT20.93
jnh217-00SAT20.96
jnh213-00SAT20.99
jnh1-50SAT20.99
jnh209-00SAT21
ii32e1-50SAT21.01
ii32e1-00SAT21.03
jnh218-00SAT21.04
ii32b1-50SAT21.04
jnh17-50SAT21.05
jnh17-00SAT21.06
jnh205-50SAT21.07
ii32d1-00SAT21.08
jnh7-00SAT21.09
jnh220-50SAT21.11
jnh301-50SAT21.12
jnh7-90SAT21.15
jnh218-90SAT21.17
jnh12-90SAT21.2
jnh207-90SAT21.23
jnh12-00UNSAT21.28
jnh210-50SAT21.29
jnh210-90UNSAT21.37
jnh213-90SAT21.37
jnh12-50UNSAT21.4
jnh212-00UNSAT21.42
jnh17-90UNSAT21.57
jnh212-50UNSAT21.58
jnh205-90UNSAT21.59
jnh212-90UNSAT21.61
jnh207-50UNSAT21.63
jnh220-00SAT22.03
jnh301-90UNSAT22.16
jnh204-50SAT22.17
jnh207-00UNSAT22.47
jnh217-50SAT22.62
ii32b1-90SAT22.82
jnh220-90SAT22.84
jnh209-90UNSAT23.77
jnh301-00UNSAT24.26
ii32d1-50SAT26.04
jnh217-90SAT26.05
jnh201-00SAT27.21
ii32b2-50SAT29.6
ii32b2-00SAT30.49
jnh204-90SAT40.32
jnh201-50SAT40.84
jnh1-00SAT40.9
jnh7-50SAT40.93
ii32c1-50SAT40.94
ii32c3-00FAIL41.1
ii32c2-50FAIL41.12
jnh204-00SAT41.3
ii32c3-90FAIL41.35
ii32c3-50FAIL41.37
jnh218-50SAT41.59
ii32e1-90UNSAT41.68
jnh205-00UNSAT42.47
jnh209-50UNSAT43.17
jnh1-90UNSAT43.29
ii32b1-00SAT43.62
ii32c1-90UNSAT45.6
par16-3-c-00FAIL50.32
ii8a3-50FAIL56.35
ii8a3-00FAIL57.56
ii8d1-00FAIL58.27
ii8b1-00FAIL58.3
ii8b1-50FAIL58.93
jnh201-90FAIL60.69
jnh210-00FAIL60.72
ii8a3-90FAIL60.72
ii8a2-50FAIL60.74
ii32c1-00FAIL60.81
f600-50FAIL60.86
f600-90FAIL60.86
ii8c1-00FAIL60.88
ii8e1-50FAIL60.88
ii8a4-50FAIL60.88
ii8e1-90FAIL60.89
ssa7552-160-90FAIL60.91
ii32c2-90FAIL60.91
ii32d1-90FAIL60.91
ii32b2-90FAIL60.93
ii8d1-90FAIL60.93
ii8c1-50FAIL60.93
f600-00FAIL60.94
ii8e1-00FAIL60.94
ii32c2-00FAIL60.94
ii8d1-50FAIL60.98
ssa7552-158-00FAIL61.04
ii32e2-00FAIL61.39