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

InstanceResultTime
aim-50-2_0-yes1-3-90UNSAT0.05
aim-50-2_0-yes1-2-90SAT0.06
aim-50-2_0-yes1-4-90SAT0.06
aim-50-2_0-yes1-1-90UNSAT0.07
aim-50-1_6-yes1-2-50SAT0.07
aim-50-1_6-yes1-3-90SAT0.08
aim-50-1_6-yes1-1-50SAT0.08
aim-50-1_6-yes1-3-00SAT0.1
aim-50-1_6-yes1-2-00SAT0.11
aim-50-1_6-yes1-4-00SAT0.12
aim-50-1_6-yes1-1-00SAT0.12
aim-50-2_0-yes1-4-50SAT0.12
aim-50-3_4-yes1-1-50UNSAT0.13
aim-50-3_4-yes1-1-90UNSAT0.14
aim-100-1_6-yes1-2-90UNSAT0.14
aim-50-3_4-yes1-2-90SAT0.14
aim-50-1_6-yes1-4-50SAT0.14
aim-50-3_4-yes1-3-90UNSAT0.16
aim-100-1_6-yes1-2-50SAT0.16
aim-50-3_4-yes1-3-50SAT0.16
aim-50-1_6-yes1-4-90UNSAT0.17
aim-100-1_6-yes1-2-00SAT0.17
aim-50-3_4-yes1-4-90SAT0.17
aim-100-2_0-yes1-4-90SAT0.17
aim-50-3_4-yes1-2-00SAT0.17
aim-50-1_6-yes1-1-90UNSAT0.18
aim-50-3_4-yes1-2-50SAT0.18
aim-50-3_4-yes1-4-50UNSAT0.18
aim-50-1_6-yes1-3-50UNSAT0.18
aim-100-2_0-yes1-3-90UNSAT0.19
aim-50-2_0-yes1-1-50UNSAT0.19
aim-50-1_6-yes1-2-90UNSAT0.19
aim-50-3_4-yes1-1-00UNSAT0.2
aim-50-3_4-yes1-3-00SAT0.2
aim-50-2_0-yes1-4-00UNSAT0.2
aim-100-1_6-yes1-1-50SAT0.2
aim-50-2_0-yes1-3-50UNSAT0.2
aim-100-3_4-yes1-1-90SAT0.21
aim-100-2_0-yes1-1-90UNSAT0.21
aim-100-2_0-yes1-4-50UNSAT0.21
aim-100-1_6-yes1-3-90SAT0.21
aim-50-2_0-yes1-2-00UNSAT0.21
aim-100-2_0-yes1-2-90UNSAT0.22
aim-50-2_0-yes1-2-50UNSAT0.22
aim-50-2_0-yes1-1-00UNSAT0.22
aim-50-6_0-yes1-4-90SAT0.24
aim-50-2_0-yes1-3-00UNSAT0.24
aim-50-6_0-yes1-1-90SAT0.24
aim-100-2_0-yes1-3-50UNSAT0.24
aim-50-6_0-yes1-2-90UNSAT0.25
aim-100-2_0-yes1-2-50SAT0.26
aim-50-6_0-yes1-1-50UNSAT0.26
aim-100-2_0-yes1-1-50UNSAT0.26
aim-50-6_0-yes1-3-50UNSAT0.26
aim-50-6_0-yes1-3-00UNSAT0.27
par8-2-c-90UNSAT0.27
aim-50-6_0-yes1-3-90SAT0.3
aim-100-1_6-yes1-1-00SAT0.3
par8-1-c-90UNSAT0.32
par8-4-c-90SAT0.32
aim-50-6_0-yes1-4-00SAT0.32
aim-50-3_4-yes1-4-00UNSAT0.33
aim-50-6_0-yes1-1-00UNSAT0.34
aim-50-6_0-yes1-2-50UNSAT0.34
par8-2-c-50UNSAT0.36
aim-100-2_0-yes1-4-00UNSAT0.38
aim-100-2_0-yes1-3-00UNSAT0.39
aim-50-6_0-yes1-4-50UNSAT0.4
aim-100-3_4-yes1-4-90SAT0.4
aim-50-6_0-yes1-2-00UNSAT0.4
ssa7552-159-00SAT0.41
par8-4-c-50SAT0.42
aim-100-2_0-yes1-2-00SAT0.42
aim-100-3_4-yes1-2-50SAT0.42
aim-100-3_4-yes1-3-90UNSAT0.45
aim-100-2_0-yes1-1-00UNSAT0.46
par8-3-c-90UNSAT0.46
aim-100-3_4-yes1-2-90UNSAT0.46
par8-5-c-90UNSAT0.48
aim-100-1_6-yes1-4-00UNSAT0.52
par8-1-c-00UNSAT0.54
par8-3-c-00SAT0.55
aim-100-1_6-yes1-1-90UNSAT0.55
aim-100-1_6-yes1-4-90UNSAT0.56
par8-3-c-50UNSAT0.56
par8-4-c-00SAT0.57
aim-100-1_6-yes1-4-50UNSAT0.58
par8-1-c-50UNSAT0.6
aim-100-3_4-yes1-3-50UNSAT0.62
aim-100-1_6-yes1-3-00UNSAT0.63
par8-2-c-00UNSAT0.64
aim-100-1_6-yes1-3-50UNSAT0.67
aim-100-3_4-yes1-3-00SAT0.69
aim-100-6_0-yes1-4-90SAT0.75
aim-100-3_4-yes1-1-00UNSAT0.77
aim-100-3_4-yes1-1-50UNSAT0.8
aim-100-3_4-yes1-2-00UNSAT0.81
aim-100-3_4-yes1-4-50UNSAT0.82
par8-5-c-50UNSAT0.83
aim-200-2_0-yes1-4-90SAT0.85
par8-5-c-00UNSAT0.92
aim-100-6_0-yes1-3-50SAT0.98
aim-100-3_4-yes1-4-00SAT1.04
aim-200-2_0-yes1-1-90UNSAT1.04
aim-200-2_0-yes1-3-90SAT1.06
aim-100-6_0-yes1-2-90SAT1.09
ii8a1-90SAT1.2
aim-100-6_0-yes1-1-90UNSAT1.22
aim-200-2_0-yes1-4-50SAT1.34
aim-100-6_0-yes1-3-90UNSAT1.37
aim-200-2_0-yes1-1-50UNSAT1.44
aim-200-2_0-yes1-2-90UNSAT1.46
aim-100-6_0-yes1-4-50UNSAT1.53
aim-100-6_0-yes1-2-50UNSAT1.53
aim-200-2_0-yes1-3-50UNSAT1.6
aim-200-2_0-yes1-2-50UNSAT1.72
aim-100-6_0-yes1-2-00UNSAT1.76
aim-100-6_0-yes1-1-50SAT1.79
aim-100-6_0-yes1-4-00UNSAT1.9
aim-200-3_4-yes1-4-90SAT1.94
aim-200-3_4-yes1-1-90SAT2.06
aim-200-2_0-yes1-1-00SAT2.14
aim-200-2_0-yes1-3-00UNSAT2.18
aim-100-6_0-yes1-1-00SAT2.22
aim-100-6_0-yes1-3-00SAT2.22
aim-200-2_0-yes1-4-00SAT2.58
aim-200-2_0-yes1-2-00UNSAT2.81
aim-200-3_4-yes1-3-90UNSAT3.23
ii8a1-50SAT3.55
aim-200-3_4-yes1-2-90UNSAT3.72
aim-200-3_4-yes1-4-50SAT4.01
aim-200-3_4-yes1-3-50SAT4.36
aim-200-3_4-yes1-1-50SAT4.62
aim-200-3_4-yes1-2-50SAT5.18
aim-200-3_4-yes1-3-00SAT6.85
aim-200-3_4-yes1-4-00SAT6.92
jnh217-50SAT7.25
aim-200-3_4-yes1-2-00UNSAT7.44
jnh210-50SAT7.8
aim-200-6_0-yes1-4-90SAT8.03
jnh218-00SAT8.29
jnh220-50SAT8.69
aim-200-6_0-yes1-1-50UNSAT8.75
aim-200-3_4-yes1-1-00UNSAT9.08
jnh1-00SAT9.18
aim-200-6_0-yes1-4-50SAT9.24
aim-200-6_0-yes1-3-50UNSAT9.35
jnh12-50UNSAT9.42
aim-200-6_0-yes1-2-50UNSAT10.63
jnh301-50SAT11.01
jnh7-00SAT11.02
aim-200-6_0-yes1-4-00UNSAT11.08
aim-200-6_0-yes1-1-00UNSAT11.14
jnh213-50SAT11.27
jnh1-50SAT11.38
jnh205-90UNSAT11.51
jnh204-00SAT11.95
jnh205-50SAT12.38
jnh218-50SAT12.58
aim-200-6_0-yes1-3-00SAT12.62
aim-200-6_0-yes1-2-00UNSAT13.04
jnh213-00SAT13.88
jnh207-90SAT15.41
jnh301-90UNSAT15.7
jnh209-00SAT15.9
jnh12-00UNSAT16.21
jnh17-00SAT16.63
jnh220-00SAT18.82
jnh217-00SAT19.02
jnh212-90UNSAT20.32
jnh207-50UNSAT21.37
jnh204-90SAT26.48
jnh212-00UNSAT27.68
jnh218-90SAT27.73
aim-200-6_0-yes1-2-90UNSAT28.95
aim-200-1_6-yes1-4-90SAT29.55
aim-200-6_0-yes1-1-90SAT30.87
aim-200-6_0-yes1-3-90UNSAT31.32
jnh207-00UNSAT32.5
aim-200-1_6-yes1-3-00UNSAT32.77
aim-200-1_6-yes1-3-90UNSAT33.33
aim-200-1_6-yes1-1-50SAT33.4
aim-200-1_6-yes1-1-90SAT34.77
jnh220-90SAT35.13
aim-200-1_6-yes1-2-90UNSAT35.61
aim-200-1_6-yes1-2-50SAT37.08
jnh213-90SAT37.38
aim-200-1_6-yes1-4-50SAT37.56
jnh12-90SAT38.31
ii32d1-00FAIL38.65
jnh212-50UNSAT39.51
jnh17-50SAT40.71
ii8e1-00FAIL40.82
ii8a4-50FAIL40.96
ii32c3-50FAIL41.25
ii8c1-00FAIL41.85
par16-1-c-90FAIL42.39
par16-4-c-50FAIL43.34
ii32c3-00FAIL43.47
aim-200-1_6-yes1-1-00SAT43.77
ii32b2-00FAIL43.92
par16-4-c-90FAIL44.18
par16-2-c-90FAIL44.58
aim-200-1_6-yes1-2-00UNSAT44.99
ii32c3-90FAIL45.23
ii8d1-00FAIL45.34
ii8a4-90FAIL45.45
ii8c1-90FAIL45.53
ii32e2-90FAIL46.18
ii8d1-90FAIL46.24
ii8c1-50FAIL46.38
par16-5-c-50FAIL46.58
ii32b2-50FAIL46.62
aim-200-1_6-yes1-4-00UNSAT46.76
par16-3-c-50FAIL46.9
par16-5-c-90FAIL46.91
ii32d1-50FAIL47.37
ii32e2-50FAIL47.37
par16-1-c-50FAIL47.5
ii8b1-00FAIL47.66
ii8b1-90FAIL48.07
ii32b2-90FAIL48.5
ii8a4-00FAIL49.2
ii8e1-90FAIL49.25
jnh217-90SAT49.98
ii32d1-90FAIL50.17
ii32c1-90FAIL50.28
jnh7-90SAT50.58
jnh204-50SAT52.57
ii8a3-90FAIL52.71
ii8d1-50FAIL52.96
par16-3-c-90FAIL53.66
aim-200-1_6-yes1-3-50UNSAT54.44
par8-5-50FAIL55.34
par8-3-50FAIL55.37
par16-2-c-50FAIL55.78
ii8a3-00FAIL56.02
ii8e1-50FAIL57.27
ii8b1-50FAIL57.72
ii32c2-50FAIL58.45
ii32e2-00FAIL61.21
ii32c1-00FAIL61.68
jnh210-90UNSAT62.76
ii32c2-00FAIL64.75
jnh201-00SAT66.22
ii8a3-50FAIL68.34
jnh201-50SAT68.67
jnh209-90UNSAT71.24
ii8a2-50FAIL75.31
ssa7552-158-90FAIL82.55
par8-5-00FAIL84.78
jnh1-90UNSAT91.3
par8-1-00FAIL98.21
par8-4-50FAIL100.71
ii32b1-00FAIL102.69
f600-00FAIL103.08
ii32c2-90FAIL106.65
par8-1-50FAIL108.39
par8-2-00FAIL108.47
par8-2-50FAIL116.5
f600-50FAIL121.22
ssa7552-159-90FAIL125.1
ii32e1-00FAIL126.1
ssa7552-160-90FAIL127.29
ii32b1-90FAIL134.91
par8-4-00FAIL139.05
par8-1-90FAIL139.13
jnh17-90UNSAT141.72
ii32c1-50FAIL142.51
par16-4-90FAIL144.25
par8-4-90FAIL150
jnh7-50SAT153.34
par8-3-00FAIL155.15
par16-4-50FAIL159.52
par16-1-90FAIL162.77
ii32b1-50FAIL163.31
ii8a2-90FAIL168.01
ii8a2-00FAIL168.43
jnh205-00UNSAT177.95
par16-1-50FAIL184.74
ii32e1-50FAIL199.39
jnh209-50UNSAT212.93
par16-4-c-00SAT233.75
par16-1-c-00SAT279.34
jnh301-00FAIL291.35
par8-5-90FAIL323.25
par16-5-c-00SAT358.2
par16-3-c-00UNSAT587.54
ssa7552-158-50FAIL600
ssa7552-160-50FAIL600
ssa7552-158-00FAIL600
ssa7552-160-00FAIL600
ssa7552-159-50FAIL600
par8-3-90FAIL600
jnh210-00FAIL600
f600-90FAIL600
par8-2-90FAIL600
par16-1-00FAIL600
par16-4-00FAIL600
par16-2-c-00FAIL600
ii32e1-90FAIL600
ii8a1-00FAIL600
jnh201-90FAIL600