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

InstanceResultTime
aim-50-1_6-yes1-2-50SAT0.04
aim-50-1_6-yes1-3-90SAT0.04
aim-50-2_0-yes1-4-90SAT0.05
aim-50-1_6-yes1-1-50SAT0.05
aim-50-2_0-yes1-4-50SAT0.06
aim-50-1_6-yes1-1-00SAT0.06
aim-50-1_6-yes1-3-00SAT0.06
aim-50-2_0-yes1-2-90SAT0.08
aim-50-1_6-yes1-4-00SAT0.08
aim-50-3_4-yes1-3-50SAT0.08
aim-50-1_6-yes1-2-00SAT0.08
aim-100-1_6-yes1-2-50SAT0.1
aim-50-1_6-yes1-4-50SAT0.1
aim-100-1_6-yes1-2-00SAT0.11
par8-4-c-90SAT0.13
aim-50-1_6-yes1-1-90UNSAT0.13
aim-50-3_4-yes1-2-00SAT0.13
aim-50-1_6-yes1-3-50UNSAT0.13
aim-50-1_6-yes1-4-90UNSAT0.13
aim-50-2_0-yes1-3-90UNSAT0.14
aim-50-2_0-yes1-1-90UNSAT0.14
aim-50-3_4-yes1-2-90SAT0.15
aim-50-3_4-yes1-4-90SAT0.15
aim-50-1_6-yes1-2-90UNSAT0.15
aim-50-2_0-yes1-1-50UNSAT0.15
aim-50-3_4-yes1-3-00SAT0.15
aim-100-1_6-yes1-3-90SAT0.16
aim-50-2_0-yes1-2-00UNSAT0.16
aim-100-1_6-yes1-1-50SAT0.16
aim-50-6_0-yes1-4-00SAT0.16
aim-50-2_0-yes1-4-00UNSAT0.16
aim-100-3_4-yes1-1-90SAT0.17
aim-50-2_0-yes1-2-50UNSAT0.17
aim-100-3_4-yes1-2-50SAT0.17
aim-50-2_0-yes1-3-50UNSAT0.17
aim-50-6_0-yes1-4-90SAT0.18
aim-50-6_0-yes1-3-90SAT0.18
aim-50-2_0-yes1-1-00UNSAT0.19
aim-50-2_0-yes1-3-00UNSAT0.19
ssa7552-159-00SAT0.19
aim-50-3_4-yes1-2-50SAT0.19
aim-100-2_0-yes1-4-90SAT0.22
aim-50-3_4-yes1-1-90UNSAT0.22
aim-100-1_6-yes1-1-00SAT0.22
aim-50-3_4-yes1-1-50UNSAT0.22
aim-100-2_0-yes1-2-00SAT0.23
aim-100-2_0-yes1-2-50SAT0.23
aim-50-3_4-yes1-3-90UNSAT0.23
aim-50-3_4-yes1-1-00UNSAT0.26
aim-50-3_4-yes1-4-50UNSAT0.26
aim-50-6_0-yes1-1-90SAT0.28
aim-50-3_4-yes1-4-00UNSAT0.29
aim-100-3_4-yes1-3-00SAT0.29
aim-100-6_0-yes1-3-50SAT0.31
par8-4-c-50SAT0.37
aim-100-3_4-yes1-4-90SAT0.38
aim-50-6_0-yes1-3-50UNSAT0.4
aim-50-6_0-yes1-4-50UNSAT0.43
aim-50-6_0-yes1-2-00UNSAT0.43
aim-50-6_0-yes1-2-90UNSAT0.46
aim-50-6_0-yes1-2-50UNSAT0.46
aim-50-6_0-yes1-3-00UNSAT0.46
aim-100-1_6-yes1-4-00UNSAT0.47
par8-1-c-00UNSAT0.48
par8-1-c-90UNSAT0.48
aim-50-6_0-yes1-1-00UNSAT0.48
par8-3-c-00SAT0.49
par8-4-c-00SAT0.5
aim-100-1_6-yes1-2-90UNSAT0.5
aim-100-1_6-yes1-1-90UNSAT0.5
aim-50-6_0-yes1-1-50UNSAT0.5
par8-3-c-50UNSAT0.51
aim-100-1_6-yes1-4-90UNSAT0.51
aim-100-2_0-yes1-1-90UNSAT0.52
aim-100-2_0-yes1-2-90UNSAT0.52
aim-100-2_0-yes1-4-50UNSAT0.54
par8-1-c-50UNSAT0.54
aim-100-2_0-yes1-3-50UNSAT0.54
aim-100-1_6-yes1-4-50UNSAT0.55
par8-2-c-50UNSAT0.55
par8-3-c-90UNSAT0.56
aim-100-1_6-yes1-3-00UNSAT0.56
aim-100-2_0-yes1-1-50UNSAT0.57
par8-2-c-00UNSAT0.58
aim-100-2_0-yes1-1-00UNSAT0.6
aim-100-2_0-yes1-3-90UNSAT0.61
aim-100-2_0-yes1-4-00UNSAT0.61
aim-100-1_6-yes1-3-50UNSAT0.61
par8-2-c-90UNSAT0.63
aim-100-2_0-yes1-3-00UNSAT0.67
aim-100-6_0-yes1-1-50SAT0.69
aim-100-3_4-yes1-4-00SAT0.7
aim-100-3_4-yes1-2-90UNSAT0.73
aim-100-6_0-yes1-4-90SAT0.74
aim-100-3_4-yes1-1-50UNSAT0.74
par8-5-c-50UNSAT0.75
aim-100-3_4-yes1-1-00UNSAT0.76
aim-100-3_4-yes1-2-00UNSAT0.77
aim-200-2_0-yes1-4-90SAT0.77
aim-200-3_4-yes1-4-90SAT0.81
aim-100-3_4-yes1-4-50UNSAT0.82
aim-100-3_4-yes1-3-90UNSAT0.84
par8-5-c-00UNSAT0.86
aim-100-6_0-yes1-1-00SAT0.86
aim-100-3_4-yes1-3-50UNSAT0.88
par8-5-c-90UNSAT0.88
aim-100-6_0-yes1-3-00SAT0.89
aim-200-3_4-yes1-3-50SAT1.04
ii8a1-90SAT1.08
aim-200-2_0-yes1-4-50SAT1.12
aim-200-6_0-yes1-4-90SAT1.14
aim-100-6_0-yes1-1-90UNSAT1.19
aim-100-6_0-yes1-3-90UNSAT1.21
aim-200-3_4-yes1-3-00SAT1.28
aim-100-6_0-yes1-4-50UNSAT1.31
aim-200-1_6-yes1-4-90SAT1.35
aim-200-2_0-yes1-4-00SAT1.38
aim-200-2_0-yes1-1-00SAT1.4
aim-200-1_6-yes1-2-50SAT1.4
aim-100-6_0-yes1-4-00UNSAT1.46
aim-200-6_0-yes1-4-50SAT1.52
aim-200-6_0-yes1-3-00SAT1.61
aim-200-3_4-yes1-1-50SAT1.63
aim-200-6_0-yes1-1-90SAT1.63
aim-200-1_6-yes1-1-50SAT1.77
aim-200-1_6-yes1-1-00SAT1.8
aim-200-3_4-yes1-1-90SAT1.91
aim-200-1_6-yes1-1-90SAT2.18
aim-200-2_0-yes1-3-90SAT2.2
aim-200-2_0-yes1-2-00UNSAT2.68
aim-200-6_0-yes1-3-50UNSAT2.98
aim-200-6_0-yes1-4-00UNSAT2.99
aim-200-6_0-yes1-2-00UNSAT3
aim-200-6_0-yes1-1-00UNSAT3.08
aim-200-6_0-yes1-3-90UNSAT3.14
aim-200-6_0-yes1-2-90UNSAT3.16
aim-200-6_0-yes1-2-50UNSAT3.2
aim-200-6_0-yes1-1-50UNSAT3.25
ii8a1-50SAT3.45
aim-200-1_6-yes1-3-50UNSAT5.33
aim-200-2_0-yes1-1-50UNSAT6
aim-200-2_0-yes1-2-90UNSAT6.44
aim-200-2_0-yes1-1-90UNSAT9.95
aim-200-1_6-yes1-2-90UNSAT10.15
aim-200-1_6-yes1-3-90UNSAT10.43
ii32c3-50FAIL10.89
ii32c2-00FAIL11.35
ii32c3-00FAIL11.53
ii32e2-00FAIL11.65
aim-200-1_6-yes1-2-00UNSAT15.13
aim-200-3_4-yes1-3-90UNSAT16.53
ii32c3-90FAIL19.15
ii32c2-50FAIL20.04
ii32b1-50FAIL21.5
ii32b1-00FAIL21.59
ii8d1-50FAIL23
ii8e1-00FAIL23.09
ii32b2-00FAIL23.31
ii8a4-00FAIL23.55
ii32d1-90FAIL24.07
ii32b1-90FAIL24.35
ii32e2-50FAIL24.36
ii8b1-00FAIL24.43
ii8a4-50FAIL24.95
ii8c1-90FAIL25.1
f600-50FAIL25.35
ii32d1-00FAIL25.46
ii32e2-90FAIL25.66
ii8c1-50FAIL25.69
ii32e1-90FAIL26.78
ii8b1-90FAIL26.98
ii8b1-50FAIL27.99
ii32b2-90FAIL28.24
ii32b2-50FAIL28.25
ii32c2-90FAIL28.49
ii8e1-90FAIL28.77
ii32d1-50FAIL28.88
ii8c1-00FAIL29.01
f600-90FAIL29.11
ii32c1-50FAIL29.29
ii32e1-00FAIL29.3
ii8d1-00FAIL30
ii8a3-00FAIL30.35
par16-4-c-50FAIL30.51
ii8a4-90FAIL30.58
ii8a3-90FAIL30.73
par16-1-c-00FAIL31.3
ii8e1-50FAIL31.33
par16-4-c-00FAIL31.48
ii8a2-50FAIL31.99
par16-1-c-90FAIL32.04
par8-4-00FAIL32.19
par16-1-c-50FAIL32.41
ii32e1-50FAIL32.67
par16-2-c-90FAIL32.67
ii32c1-00FAIL33.06
aim-100-6_0-yes1-2-90SAT33.29
par8-1-00FAIL33.32
par8-5-50FAIL33.93
ii8d1-90FAIL33.95
ii32c1-90FAIL34.17
par8-2-00FAIL35.01
par16-5-c-90FAIL35.51
f600-00FAIL35.76
par16-5-c-50FAIL35.95
par16-3-c-50FAIL36.79
par16-3-c-00FAIL36.84
par16-2-c-00FAIL36.95
par16-4-c-90FAIL37.12
par8-3-50FAIL38.6
par16-2-c-50FAIL39.2
par8-2-50FAIL39.85
par16-5-c-00FAIL41.08
aim-100-6_0-yes1-2-50FAIL42.19
ii8a3-50FAIL42.21
par16-3-c-90FAIL42.3
par8-3-00FAIL44.13
par8-4-50FAIL45.97
jnh12-50FAIL47.62
ii8a2-00FAIL47.72
aim-200-3_4-yes1-4-50FAIL48.23
jnh204-50FAIL50.14
aim-200-3_4-yes1-4-00FAIL50.23
par8-1-90FAIL50.46
par8-5-00FAIL50.63
par8-1-50FAIL50.75
ssa7552-160-90FAIL50.86
aim-200-3_4-yes1-1-00FAIL51.96
ssa7552-160-00FAIL53.3
ssa7552-160-50FAIL53.38
par8-3-90FAIL54.33
ssa7552-159-90FAIL54.79
par16-4-00FAIL55.65
aim-200-1_6-yes1-4-50FAIL55.8
par16-1-90FAIL55.99
aim-200-3_4-yes1-2-00FAIL57.66
jnh205-50FAIL58.61
ssa7552-158-90FAIL59.13
aim-200-3_4-yes1-2-50FAIL60.52
aim-200-2_0-yes1-3-50FAIL61.1
par16-4-90FAIL61.3
par16-4-50FAIL61.48
jnh212-50FAIL61.58
par16-1-50FAIL61.66
aim-100-6_0-yes1-2-00FAIL61.7
ii8a2-90FAIL62.43
jnh218-00FAIL63.39
par8-2-90FAIL63.41
par16-1-00FAIL65.17
aim-200-2_0-yes1-2-50UNSAT65.96
jnh210-50FAIL66.84
ssa7552-159-50FAIL67.73
jnh7-50FAIL69.32
aim-200-2_0-yes1-3-00FAIL70.51
jnh201-00FAIL72.1
ssa7552-158-00FAIL72.66
par8-4-90FAIL74.15
par8-5-90FAIL74.47
jnh17-00FAIL76.46
jnh204-00FAIL84.99
jnh209-50FAIL87.16
ssa7552-158-50FAIL87.65
jnh220-00FAIL87.89
jnh220-50FAIL88.27
jnh201-50FAIL90.52
jnh218-50FAIL90.91
jnh17-50FAIL95.65
jnh205-00FAIL100.58
jnh7-00FAIL102.53
jnh1-50FAIL103.21
jnh301-50FAIL113.8
jnh213-50FAIL122.96
aim-200-1_6-yes1-4-00FAIL123.41
aim-200-3_4-yes1-2-90FAIL124.3
aim-200-1_6-yes1-3-00FAIL126.14
jnh217-00FAIL132.41
jnh207-50FAIL132.72
jnh217-50FAIL135.11
jnh212-00FAIL137.01
jnh301-00FAIL137.88
jnh209-00FAIL142.35
jnh213-00FAIL192.89
jnh210-00FAIL224.08
ii8a1-00FAIL396.43
jnh12-00FAIL470.37
jnh12-90FAIL600
jnh1-00FAIL600
jnh7-90FAIL600
jnh17-90FAIL600
jnh1-90FAIL600
jnh301-90FAIL600
jnh220-90FAIL600
jnh217-90FAIL600
jnh213-90FAIL600
jnh212-90FAIL600
jnh210-90FAIL600
jnh209-90FAIL600
jnh207-90FAIL600
jnh207-00FAIL600
jnh205-90FAIL600
jnh204-90FAIL600
jnh201-90FAIL600
jnh218-90FAIL600