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

InstanceResultTime
aim-50-1_6-yes1-3-90SAT0.04
aim-50-2_0-yes1-4-90SAT0.04
aim-50-1_6-yes1-1-50SAT0.04
aim-50-1_6-yes1-2-50SAT0.04
aim-50-1_6-yes1-3-00SAT0.05
aim-50-1_6-yes1-1-00SAT0.06
aim-50-2_0-yes1-4-50SAT0.06
aim-50-2_0-yes1-2-90SAT0.08
aim-50-1_6-yes1-2-00SAT0.08
aim-50-3_4-yes1-3-50SAT0.08
aim-50-1_6-yes1-4-00SAT0.08
aim-50-1_6-yes1-4-50SAT0.1
aim-100-1_6-yes1-2-50SAT0.1
aim-100-1_6-yes1-2-00SAT0.1
aim-50-3_4-yes1-2-00SAT0.12
par8-4-c-90SAT0.12
aim-50-1_6-yes1-1-90UNSAT0.12
aim-50-1_6-yes1-4-90UNSAT0.12
aim-50-2_0-yes1-3-90UNSAT0.13
aim-50-2_0-yes1-1-90UNSAT0.14
aim-50-1_6-yes1-3-50UNSAT0.14
aim-50-1_6-yes1-2-90UNSAT0.14
aim-100-1_6-yes1-1-50SAT0.14
aim-50-3_4-yes1-4-90SAT0.14
aim-50-3_4-yes1-3-00SAT0.14
aim-50-3_4-yes1-2-90SAT0.14
aim-100-1_6-yes1-3-90SAT0.15
aim-50-2_0-yes1-1-50UNSAT0.15
aim-50-2_0-yes1-4-00UNSAT0.16
aim-50-6_0-yes1-4-00SAT0.16
aim-50-2_0-yes1-3-50UNSAT0.16
aim-50-2_0-yes1-2-00UNSAT0.16
aim-100-3_4-yes1-2-50SAT0.17
aim-100-3_4-yes1-1-90SAT0.17
aim-50-2_0-yes1-2-50UNSAT0.17
aim-50-6_0-yes1-4-90SAT0.18
ssa7552-159-00SAT0.18
aim-50-6_0-yes1-3-90SAT0.18
aim-50-2_0-yes1-1-00UNSAT0.18
aim-50-2_0-yes1-3-00UNSAT0.18
aim-50-3_4-yes1-2-50SAT0.19
aim-100-2_0-yes1-4-90SAT0.2
aim-100-2_0-yes1-2-50SAT0.22
aim-50-3_4-yes1-3-90UNSAT0.22
aim-100-2_0-yes1-2-00SAT0.22
aim-50-3_4-yes1-1-90UNSAT0.22
aim-50-3_4-yes1-1-50UNSAT0.23
aim-100-1_6-yes1-1-00SAT0.23
aim-50-3_4-yes1-4-50UNSAT0.25
aim-50-3_4-yes1-1-00UNSAT0.26
aim-50-6_0-yes1-1-90SAT0.27
aim-100-3_4-yes1-3-00SAT0.29
aim-50-3_4-yes1-4-00UNSAT0.29
aim-100-6_0-yes1-3-50SAT0.3
par8-4-c-50SAT0.36
aim-100-3_4-yes1-4-90SAT0.38
aim-50-6_0-yes1-3-50UNSAT0.4
aim-50-6_0-yes1-2-00UNSAT0.42
aim-50-6_0-yes1-4-50UNSAT0.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.46
aim-50-6_0-yes1-1-00UNSAT0.48
par8-1-c-00UNSAT0.48
par8-1-c-90UNSAT0.48
aim-100-1_6-yes1-2-90UNSAT0.49
par8-3-c-00SAT0.49
aim-100-1_6-yes1-1-90UNSAT0.49
par8-4-c-00SAT0.5
aim-100-1_6-yes1-4-90UNSAT0.5
aim-50-6_0-yes1-1-50UNSAT0.51
par8-3-c-50UNSAT0.51
aim-100-2_0-yes1-1-90UNSAT0.52
aim-100-2_0-yes1-2-90UNSAT0.52
aim-100-1_6-yes1-4-50UNSAT0.52
aim-100-2_0-yes1-3-50UNSAT0.53
par8-2-c-50UNSAT0.54
par8-1-c-50UNSAT0.54
aim-100-2_0-yes1-4-50UNSAT0.54
par8-3-c-90UNSAT0.54
aim-100-1_6-yes1-3-00UNSAT0.55
aim-100-2_0-yes1-1-50UNSAT0.56
par8-2-c-00UNSAT0.56
aim-100-2_0-yes1-4-00UNSAT0.59
aim-100-2_0-yes1-1-00UNSAT0.59
aim-100-2_0-yes1-3-90UNSAT0.6
aim-100-1_6-yes1-3-50UNSAT0.61
par8-2-c-90UNSAT0.62
aim-100-2_0-yes1-3-00UNSAT0.66
aim-100-3_4-yes1-4-00SAT0.68
aim-100-6_0-yes1-1-50SAT0.68
aim-100-3_4-yes1-2-90UNSAT0.71
aim-100-3_4-yes1-1-50UNSAT0.72
aim-100-6_0-yes1-4-90SAT0.73
par8-5-c-50UNSAT0.74
aim-100-3_4-yes1-1-00UNSAT0.74
aim-200-2_0-yes1-4-90SAT0.76
aim-100-3_4-yes1-2-00UNSAT0.76
aim-200-3_4-yes1-4-90SAT0.76
aim-100-3_4-yes1-4-50UNSAT0.82
aim-100-3_4-yes1-3-90UNSAT0.84
aim-100-6_0-yes1-1-00SAT0.85
par8-5-c-00UNSAT0.85
aim-100-3_4-yes1-3-50UNSAT0.87
par8-5-c-90UNSAT0.88
aim-100-6_0-yes1-3-00SAT0.88
aim-200-3_4-yes1-3-50SAT1.04
aim-200-2_0-yes1-4-50SAT1.06
ii8a1-90SAT1.06
aim-200-6_0-yes1-4-90SAT1.12
aim-100-6_0-yes1-1-90UNSAT1.18
aim-100-6_0-yes1-3-90UNSAT1.2
aim-200-3_4-yes1-3-00SAT1.26
aim-200-1_6-yes1-4-90SAT1.29
aim-100-6_0-yes1-4-50UNSAT1.3
aim-200-2_0-yes1-4-00SAT1.32
aim-200-2_0-yes1-1-00SAT1.35
aim-200-1_6-yes1-2-50SAT1.36
aim-100-6_0-yes1-4-00UNSAT1.43
aim-200-6_0-yes1-4-50SAT1.47
aim-200-6_0-yes1-3-00SAT1.56
aim-200-3_4-yes1-1-50SAT1.58
aim-200-6_0-yes1-1-90SAT1.59
aim-200-1_6-yes1-1-50SAT1.72
aim-200-1_6-yes1-1-00SAT1.77
aim-200-3_4-yes1-1-90SAT1.82
aim-200-2_0-yes1-3-90SAT2.12
aim-200-1_6-yes1-1-90SAT2.12
aim-200-3_4-yes1-4-50SAT2.56
aim-200-2_0-yes1-2-00UNSAT2.61
aim-200-2_0-yes1-2-50UNSAT2.62
aim-200-1_6-yes1-2-00UNSAT2.7
aim-200-1_6-yes1-4-00UNSAT2.77
aim-200-3_4-yes1-2-50SAT2.78
aim-200-1_6-yes1-3-50UNSAT2.84
aim-200-1_6-yes1-4-50SAT2.9
aim-200-2_0-yes1-3-00UNSAT2.92
aim-200-6_0-yes1-4-00UNSAT2.94
aim-200-6_0-yes1-2-00UNSAT2.94
aim-200-6_0-yes1-3-50UNSAT2.96
aim-200-2_0-yes1-2-90UNSAT2.98
aim-200-1_6-yes1-2-90UNSAT3.02
aim-200-6_0-yes1-1-00UNSAT3.02
aim-200-2_0-yes1-1-50UNSAT3.03
aim-200-6_0-yes1-3-90UNSAT3.06
aim-200-2_0-yes1-1-90UNSAT3.07
aim-200-6_0-yes1-2-90UNSAT3.12
aim-200-6_0-yes1-1-50UNSAT3.2
aim-200-6_0-yes1-2-50UNSAT3.2
ii8a1-50SAT3.4
aim-200-1_6-yes1-3-90UNSAT3.45
aim-200-2_0-yes1-3-50UNSAT3.45
aim-200-1_6-yes1-3-00UNSAT3.57
aim-200-3_4-yes1-4-00SAT4.1
aim-100-6_0-yes1-2-90SAT4.82
aim-200-3_4-yes1-3-90UNSAT5.07
aim-200-3_4-yes1-2-90UNSAT5.23
aim-100-6_0-yes1-2-00UNSAT5.3
aim-200-3_4-yes1-1-00UNSAT6.15
aim-200-3_4-yes1-2-00UNSAT6.28
aim-100-6_0-yes1-2-50UNSAT6.82
ii32d1-00FAIL18.56
ii8c1-00FAIL19.26
ii8a4-50FAIL19.43
ii8d1-00FAIL21.1
ii32b2-00FAIL21.29
par16-2-c-90FAIL21.53
ii8c1-90FAIL21.79
par16-4-c-90FAIL21.84
par16-4-c-50FAIL21.84
ii8d1-90FAIL21.86
ii32c3-90FAIL22.25
ii32b2-50FAIL22.61
ii8b1-00FAIL22.93
ii32e2-50FAIL23
f600-00FAIL23.02
ii8a4-00FAIL23.05
par16-5-c-50FAIL23.07
par16-3-c-50FAIL23.07
ii8b1-90FAIL23.21
par16-1-c-50FAIL23.27
par16-1-c-90FAIL23.38
par16-2-c-50FAIL23.39
ii32b2-90FAIL23.57
par16-2-c-00FAIL23.68
par16-5-c-90FAIL24.05
ii32c3-50FAIL24.78
ii32d1-90FAIL25.21
ii32c1-90FAIL25.58
par16-4-c-00FAIL25.71
ii8d1-50FAIL25.85
par16-3-c-00FAIL26
par16-5-c-00FAIL26.07
par16-1-c-00FAIL26.11
ii8a3-00FAIL26.14
ii32c3-00FAIL26.21
ii32d1-50FAIL26.41
par8-5-50FAIL26.56
par16-3-c-90FAIL26.57
f600-50FAIL26.77
par8-3-50FAIL26.81
ii8e1-00FAIL27.03
f600-90FAIL27.33
ii8e1-50FAIL27.44
par8-5-00FAIL27.51
ii8a4-90FAIL28.09
ii8b1-50FAIL28.35
ii8c1-50FAIL28.38
ii32c2-50FAIL29.04
ii32e2-00FAIL29.32
ii32c1-00FAIL30.45
ii32c2-00FAIL32.19
ii8a3-50FAIL33.44
ii8a2-50FAIL36.92
ssa7552-159-50FAIL37.55
ssa7552-158-90FAIL38.63
ssa7552-158-00FAIL39.7
ii32e2-90FAIL45.23
par8-1-00FAIL46.98
par8-4-50FAIL48.6
ii32b1-00FAIL49.23
ii32c2-90FAIL49.26
par8-2-50FAIL53.42
par8-1-50FAIL53.8
par8-2-00FAIL54.63
ii8e1-90FAIL56.23
ii8a3-90FAIL58.22
ssa7552-160-00FAIL58.86
ii32e1-00FAIL60.4
ssa7552-159-90FAIL61.39
ssa7552-160-90FAIL61.7
ssa7552-160-50FAIL63.56
par16-4-90FAIL65.92
ii32b1-90FAIL66.2
par16-4-00FAIL68.56
par8-4-00FAIL69.28
par16-4-50FAIL73.37
ii32e1-50FAIL73.63
par16-1-00FAIL74.07
ii32c1-50FAIL74.15
ii32b1-50FAIL78.39
ii8a2-90FAIL81.65
par16-1-90FAIL82.77
par8-1-90FAIL83.27
par8-3-00FAIL84.21
ii8a2-00FAIL84.53
par16-1-50FAIL91.35
ssa7552-158-50FAIL91.59
jnh210-50FAIL144.53
par8-5-90FAIL162.43
jnh218-50FAIL208.05
jnh7-00FAIL219.57
jnh204-00FAIL219.99
jnh12-00FAIL264.46
jnh301-00FAIL273.1
jnh17-50FAIL298.7
jnh220-50FAIL320.17
par8-4-90FAIL418.8
jnh204-90FAIL459.45
ii32e1-90FAIL468.85
par8-2-90FAIL493.08
jnh210-00FAIL513.1
par8-3-90FAIL525.49
jnh7-50FAIL537.09
jnh1-00FAIL592.67
ii8a1-00FAIL596.93
jnh17-00FAIL600
jnh218-00FAIL600
jnh209-50FAIL600
jnh217-90FAIL600
jnh217-50FAIL600
jnh17-90FAIL600
jnh218-90FAIL600
jnh1-50FAIL600
jnh12-90FAIL600
jnh12-50FAIL600
jnh205-90FAIL600
jnh7-90FAIL600
jnh301-90FAIL600
jnh301-50FAIL600
jnh220-90FAIL600
jnh220-00FAIL600
jnh1-90FAIL600
jnh213-90FAIL600
jnh209-00FAIL600
jnh207-90FAIL600
jnh209-90FAIL600
jnh207-50FAIL600
jnh207-00FAIL600
jnh210-90FAIL600
jnh205-50FAIL600
jnh205-00FAIL600
jnh212-00FAIL600
jnh212-50FAIL600
jnh204-50FAIL600
jnh212-90FAIL600
jnh213-00FAIL600
jnh201-90FAIL600
jnh213-50FAIL600
jnh201-50FAIL600
jnh201-00FAIL600
jnh217-00FAIL600