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

InstanceResultTime
ssa7552-159-00SAT0.11
par8-4-c-90SAT0.38
aim-50-6_0-yes1-2-50UNSAT0.52
ii8a1-90SAT1.09
ii8a1-50SAT1.36
par8-1-c-90UNSAT1.39
aim-50-6_0-yes1-3-50UNSAT2.39
aim-50-6_0-yes1-1-90SAT2.48
aim-50-6_0-yes1-2-90UNSAT2.5
aim-50-6_0-yes1-2-00UNSAT2.76
par8-4-c-50SAT2.8
par8-2-c-90UNSAT2.93
par8-3-c-90UNSAT2.98
par8-2-c-50UNSAT3.36
aim-50-6_0-yes1-3-90SAT3.73
aim-50-1_6-yes1-2-90UNSAT5.86
par8-3-c-00SAT6.22
par8-4-c-00SAT6.3
aim-50-1_6-yes1-4-90UNSAT6.39
par8-1-c-00UNSAT6.56
par8-5-c-90UNSAT7.11
par8-3-c-50UNSAT7.22
par8-5-50SAT8.14
par8-1-c-50UNSAT9.67
aim-50-6_0-yes1-4-00SAT10.12
aim-50-6_0-yes1-1-50UNSAT10.16
aim-50-1_6-yes1-4-00SAT10.18
aim-50-2_0-yes1-4-50SAT10.18
aim-50-1_6-yes1-2-50SAT10.2
aim-50-2_0-yes1-1-90UNSAT10.22
aim-50-2_0-yes1-1-50UNSAT10.23
aim-100-1_6-yes1-1-90UNSAT10.27
aim-50-1_6-yes1-1-50SAT10.27
aim-50-2_0-yes1-4-90SAT10.32
aim-50-6_0-yes1-3-00UNSAT10.33
aim-100-6_0-yes1-4-00UNSAT10.41
aim-100-1_6-yes1-4-50UNSAT10.51
aim-50-6_0-yes1-1-00UNSAT10.67
aim-50-6_0-yes1-4-50UNSAT10.78
aim-100-1_6-yes1-2-50SAT11.07
jnh210-50SAT11.21
aim-50-1_6-yes1-2-00SAT11.42
aim-50-3_4-yes1-3-50SAT11.43
aim-100-6_0-yes1-1-50SAT12.01
aim-100-1_6-yes1-1-50SAT12.03
aim-50-1_6-yes1-3-50UNSAT12.28
aim-100-1_6-yes1-3-50UNSAT12.29
aim-50-1_6-yes1-3-00SAT12.53
aim-50-1_6-yes1-4-50SAT12.74
jnh1-50SAT12.93
jnh218-00SAT12.97
aim-100-1_6-yes1-4-90UNSAT12.98
aim-100-6_0-yes1-2-50UNSAT12.99
aim-50-1_6-yes1-1-00SAT13
aim-50-2_0-yes1-3-90UNSAT13.32
jnh17-00SAT13.43
jnh220-50SAT13.49
aim-200-1_6-yes1-1-00SAT13.51
aim-200-1_6-yes1-4-90SAT13.51
jnh218-50SAT13.55
ii32e1-50SAT13.59
aim-100-1_6-yes1-2-90UNSAT13.62
aim-100-1_6-yes1-1-00SAT13.77
aim-100-6_0-yes1-3-50SAT13.89
aim-100-2_0-yes1-2-50SAT13.89
aim-100-6_0-yes1-2-00UNSAT13.98
aim-100-1_6-yes1-4-00UNSAT14.29
aim-50-1_6-yes1-1-90UNSAT14.54
jnh204-00SAT14.71
aim-100-6_0-yes1-3-90UNSAT14.96
jnh207-50UNSAT15.08
aim-100-6_0-yes1-4-50UNSAT15.09
aim-100-2_0-yes1-2-00SAT15.09
aim-100-1_6-yes1-2-00SAT15.12
aim-50-2_0-yes1-3-50UNSAT15.22
jnh220-00SAT15.26
aim-200-1_6-yes1-1-90SAT15.28
aim-100-1_6-yes1-3-90SAT15.31
aim-200-1_6-yes1-4-50SAT15.37
jnh207-00UNSAT15.46
ii8b1-90SAT15.48
aim-200-1_6-yes1-1-50SAT15.53
aim-100-6_0-yes1-3-00SAT15.64
aim-100-1_6-yes1-3-00UNSAT15.8
aim-100-2_0-yes1-1-90UNSAT15.95
jnh209-00SAT16.01
jnh17-50SAT16.03
aim-200-1_6-yes1-2-50SAT16.17
aim-50-3_4-yes1-4-50UNSAT16.63
aim-100-2_0-yes1-3-90UNSAT17.06
par8-5-c-50UNSAT17.91
aim-100-6_0-yes1-1-00SAT18.1
aim-100-6_0-yes1-4-90SAT18.53
jnh212-00UNSAT18.91
aim-50-2_0-yes1-3-00UNSAT19.78
aim-100-6_0-yes1-1-90UNSAT19.97
aim-200-1_6-yes1-2-90UNSAT21.29
aim-50-3_4-yes1-1-90UNSAT21.89
jnh301-50SAT22.15
jnh217-00SAT22.18
ii8c1-90SAT22.52
aim-50-6_0-yes1-4-90SAT23.31
aim-50-3_4-yes1-3-00SAT23.37
ii32e1-00SAT23.38
jnh12-90SAT23.54
ii32c1-50SAT23.55
aim-200-1_6-yes1-2-00UNSAT24.66
aim-50-3_4-yes1-4-00UNSAT25.15
jnh1-00SAT27.49
aim-50-3_4-yes1-3-90UNSAT27.57
jnh301-00UNSAT28.93
par8-5-c-00UNSAT29.1
jnh204-50SAT29.16
jnh301-90UNSAT29.27
jnh205-50SAT32.44
ii8a1-00SAT33.64
par8-2-c-00UNSAT33.69
aim-50-3_4-yes1-4-90SAT45.58
jnh12-50UNSAT48.57
aim-50-3_4-yes1-2-00SAT65.02
aim-50-3_4-yes1-2-50SAT65.76
jnh205-00UNSAT65.93
aim-100-6_0-yes1-2-90SAT66.47
ii8a4-90SAT91.29
jnh212-50UNSAT97.91
jnh17-90UNSAT131.82
aim-50-2_0-yes1-2-00UNSAT136.08
aim-50-2_0-yes1-2-50UNSAT154.41
jnh217-50SAT171.7
aim-50-3_4-yes1-2-90SAT185.48
jnh209-50UNSAT213.77
aim-200-2_0-yes1-3-90SAT219.59
jnh212-90UNSAT222.59
jnh207-90SAT224.03
jnh218-90SAT226.19
aim-50-2_0-yes1-4-00UNSAT229.67
ii8a3-00SAT231.99
aim-50-3_4-yes1-1-00UNSAT237.76
jnh205-90UNSAT368.38
jnh12-00UNSAT379.08
aim-50-2_0-yes1-2-90SAT511.22
ii32c2-00SAT555.21
par16-4-c-90FAIL600
par16-1-c-90FAIL600
par16-1-c-50FAIL600
par16-1-c-00FAIL600
par16-1-90FAIL600
aim-200-6_0-yes1-3-90FAIL600
par16-1-50FAIL600
par16-2-c-00FAIL600
par16-2-c-50FAIL600
par16-4-c-50FAIL600
par16-4-c-00FAIL600
par16-4-90FAIL600
par16-4-50FAIL600
par16-4-00FAIL600
par16-3-c-90FAIL600
par16-3-c-50FAIL600
par16-3-c-00FAIL600
par16-2-c-90FAIL600
par16-1-00FAIL600
jnh7-90FAIL600
aim-200-6_0-yes1-2-50FAIL600
aim-200-6_0-yes1-2-90FAIL600
jnh213-00FAIL600
jnh213-50FAIL600
aim-50-2_0-yes1-1-00FAIL600
aim-200-6_0-yes1-3-00FAIL600
jnh217-90FAIL600
aim-100-3_4-yes1-4-90FAIL600
aim-100-3_4-yes1-4-50FAIL600
aim-200-6_0-yes1-3-50FAIL600
aim-100-3_4-yes1-4-00FAIL600
aim-100-3_4-yes1-3-90FAIL600
jnh220-90FAIL600
aim-100-3_4-yes1-3-50FAIL600
aim-50-1_6-yes1-3-90FAIL600
jnh213-90FAIL600
jnh7-50FAIL600
jnh7-00FAIL600
ssa7552-160-90FAIL600
par8-5-90FAIL600
aim-100-2_0-yes1-3-00FAIL600
par8-5-00FAIL600
aim-100-2_0-yes1-3-50FAIL600
aim-100-2_0-yes1-4-00FAIL600
aim-100-2_0-yes1-4-50FAIL600
par8-4-90FAIL600
par8-4-50FAIL600
aim-200-6_0-yes1-4-50FAIL600
aim-100-2_0-yes1-2-90FAIL600
aim-100-2_0-yes1-1-50FAIL600
ssa7552-160-50FAIL600
ssa7552-160-00FAIL600
ssa7552-159-90FAIL600
ssa7552-159-50FAIL600
aim-100-2_0-yes1-1-00FAIL600
ssa7552-158-90FAIL600
ssa7552-158-50FAIL600
ssa7552-158-00FAIL600
par8-4-00FAIL600
aim-100-2_0-yes1-4-90FAIL600
aim-100-3_4-yes1-2-50FAIL600
aim-100-3_4-yes1-2-90FAIL600
aim-100-3_4-yes1-3-00FAIL600
par8-1-90FAIL600
par8-1-50FAIL600
par8-1-00FAIL600
par16-5-c-90FAIL600
par16-5-c-50FAIL600
par8-2-00FAIL600
par8-2-50FAIL600
par8-2-90FAIL600
aim-100-3_4-yes1-1-00FAIL600
aim-100-3_4-yes1-1-50FAIL600
par8-3-90FAIL600
par8-3-50FAIL600
par8-3-00FAIL600
aim-100-3_4-yes1-1-90FAIL600
aim-100-3_4-yes1-2-00FAIL600
aim-200-6_0-yes1-4-00FAIL600
par16-5-c-00FAIL600
aim-200-3_4-yes1-1-90FAIL600
aim-200-2_0-yes1-3-50FAIL600
aim-200-3_4-yes1-2-90FAIL600
ii32d1-90FAIL600
ii32d1-50FAIL600
ii32d1-00FAIL600
ii32c3-90FAIL600
ii32c3-50FAIL600
ii32c3-00FAIL600
ii32e1-90FAIL600
ii32e2-00FAIL600
ii8a2-90FAIL600
ii8a2-50FAIL600
ii8a2-00FAIL600
aim-200-2_0-yes1-2-90FAIL600
aim-200-2_0-yes1-3-00FAIL600
aim-200-3_4-yes1-3-00FAIL600
ii32e2-90FAIL600
ii32e2-50FAIL600
ii32c2-90FAIL600
ii32c2-50FAIL600
f600-50FAIL600
f600-00FAIL600
aim-200-3_4-yes1-2-00FAIL600
aim-200-2_0-yes1-4-00FAIL600
aim-200-2_0-yes1-4-50FAIL600
aim-200-2_0-yes1-4-90FAIL600
aim-200-3_4-yes1-1-00FAIL600
aim-200-3_4-yes1-1-50FAIL600
f600-90FAIL600
ii32b1-00FAIL600
ii32c1-90FAIL600
aim-200-3_4-yes1-2-50FAIL600
ii32c1-00FAIL600
ii32b2-90FAIL600
aim-200-6_0-yes1-4-90FAIL600
ii32b2-00FAIL600
ii32b1-90FAIL600
ii32b1-50FAIL600
aim-200-3_4-yes1-3-50FAIL600
ii8a3-50FAIL600
ii8a3-90FAIL600
jnh204-90FAIL600
aim-200-3_4-yes1-4-90FAIL600
aim-200-2_0-yes1-1-00FAIL600
jnh201-90FAIL600
jnh201-50FAIL600
jnh201-00FAIL600
jnh1-90FAIL600
aim-200-2_0-yes1-1-50FAIL600
aim-200-6_0-yes1-1-00FAIL600
aim-200-6_0-yes1-1-50FAIL600
aim-200-1_6-yes1-3-00FAIL600
jnh210-00FAIL600
jnh209-90FAIL600
aim-200-6_0-yes1-2-00FAIL600
aim-200-1_6-yes1-3-50FAIL600
aim-200-6_0-yes1-1-90FAIL600
aim-200-1_6-yes1-3-90FAIL600
aim-200-1_6-yes1-4-00FAIL600
aim-200-2_0-yes1-1-90FAIL600
aim-200-2_0-yes1-2-00FAIL600
ii8c1-50FAIL600
ii8c1-00FAIL600
aim-200-2_0-yes1-2-50FAIL600
ii8b1-50FAIL600
ii8b1-00FAIL600
aim-200-3_4-yes1-3-90FAIL600
ii8a4-50FAIL600
ii8a4-00FAIL600
ii32b2-50FAIL600
ii8d1-00FAIL600
aim-50-3_4-yes1-1-50FAIL600
aim-200-3_4-yes1-4-50FAIL600
aim-200-3_4-yes1-4-00FAIL600
ii8e1-90FAIL600
ii8e1-50FAIL600
ii8e1-00FAIL600
ii8d1-90FAIL600
ii8d1-50FAIL600
jnh210-90FAIL600