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

InstanceResultTime
ssa7552-159-00SAT0.06
par8-4-c-90SAT0.4
ii8a1-50SAT1.37
par8-1-c-90UNSAT1.59
ii8a1-90SAT1.71
aim-50-6_0-yes1-3-50UNSAT2
aim-50-6_0-yes1-2-90UNSAT2.48
aim-50-6_0-yes1-1-90SAT2.8
aim-50-6_0-yes1-2-00UNSAT3.19
par8-4-c-50SAT3.35
par8-2-c-90UNSAT3.65
aim-50-6_0-yes1-2-50UNSAT3.68
par8-2-c-50UNSAT3.93
aim-50-6_0-yes1-3-90SAT4.42
par8-3-c-90UNSAT4.5
aim-50-1_6-yes1-2-90UNSAT6.02
par8-4-c-00SAT7.44
par8-1-c-00UNSAT7.78
par8-5-c-90UNSAT8.17
par8-3-c-50UNSAT8.31
par8-3-c-00SAT9.51
par8-5-50SAT9.87
par8-1-c-50UNSAT11.11
aim-50-6_0-yes1-4-00SAT12.37
par8-2-00UNSAT12.39
aim-50-6_0-yes1-4-90SAT12.71
aim-50-6_0-yes1-3-00UNSAT13.54
aim-50-1_6-yes1-4-90UNSAT14.35
aim-50-3_4-yes1-4-00UNSAT15.4
aim-100-1_6-yes1-1-50FAIL17.66
par8-5-c-00UNSAT17.69
aim-50-3_4-yes1-4-50UNSAT18.21
jnh7-90SAT18.26
aim-50-3_4-yes1-3-90UNSAT18.44
aim-200-1_6-yes1-2-90FAIL18.51
aim-50-3_4-yes1-2-90SAT18.63
aim-50-3_4-yes1-1-00UNSAT18.81
aim-200-1_6-yes1-1-90FAIL19.55
aim-100-2_0-yes1-1-90FAIL20.05
aim-100-1_6-yes1-4-50FAIL20.44
aim-100-2_0-yes1-2-00FAIL20.63
aim-50-6_0-yes1-4-50UNSAT20.66
aim-100-2_0-yes1-2-90FAIL21.23
aim-200-2_0-yes1-1-90FAIL21.58
aim-50-6_0-yes1-1-00UNSAT22.03
aim-200-2_0-yes1-4-90FAIL22.59
aim-50-3_4-yes1-1-50UNSAT22.66
aim-200-2_0-yes1-2-90FAIL23.53
aim-200-2_0-yes1-3-90FAIL23.55
jnh213-50SAT23.57
aim-200-2_0-yes1-4-50FAIL23.77
aim-50-2_0-yes1-4-90SAT24.23
aim-100-2_0-yes1-3-90FAIL24.28
aim-200-3_4-yes1-2-00FAIL24.51
aim-50-6_0-yes1-1-50UNSAT24.58
aim-200-1_6-yes1-2-50FAIL24.61
aim-100-1_6-yes1-1-90FAIL24.87
aim-100-2_0-yes1-2-50FAIL25.11
aim-200-1_6-yes1-3-00FAIL25.11
aim-200-3_4-yes1-2-50FAIL25.34
aim-100-1_6-yes1-2-90FAIL25.8
par8-2-c-00UNSAT25.99
aim-200-1_6-yes1-4-90FAIL26.31
aim-200-3_4-yes1-2-90FAIL26.32
aim-200-2_0-yes1-3-00FAIL26.39
aim-200-3_4-yes1-4-90FAIL26.76
aim-200-1_6-yes1-1-00FAIL26.8
aim-200-2_0-yes1-1-50FAIL26.87
aim-50-2_0-yes1-3-50FAIL26.87
aim-50-1_6-yes1-1-90FAIL27.05
par16-3-c-90FAIL27.32
aim-200-2_0-yes1-4-00FAIL27.57
aim-200-1_6-yes1-1-50FAIL27.63
aim-200-3_4-yes1-3-50FAIL27.65
aim-200-2_0-yes1-1-00FAIL27.81
aim-200-1_6-yes1-4-00FAIL27.85
aim-100-1_6-yes1-3-90FAIL27.96
aim-100-1_6-yes1-3-50FAIL28
aim-100-1_6-yes1-2-50FAIL28.15
aim-200-1_6-yes1-3-90FAIL28.16
par16-5-c-90FAIL28.43
aim-50-1_6-yes1-4-00FAIL28.45
aim-200-3_4-yes1-4-50FAIL28.77
aim-100-1_6-yes1-4-90FAIL28.99
par16-2-c-90FAIL29.41
aim-50-1_6-yes1-4-50FAIL29.42
aim-100-2_0-yes1-4-00FAIL29.48
aim-200-1_6-yes1-2-00FAIL29.84
aim-100-1_6-yes1-3-00FAIL30.52
aim-50-2_0-yes1-1-00UNSAT30.66
aim-100-2_0-yes1-4-90FAIL31.05
aim-100-3_4-yes1-3-00FAIL31.37
aim-200-2_0-yes1-2-50FAIL31.5
aim-200-1_6-yes1-4-50FAIL31.54
aim-200-3_4-yes1-1-50FAIL31.69
aim-50-1_6-yes1-3-50FAIL31.82
aim-50-1_6-yes1-2-00FAIL32.51
aim-100-3_4-yes1-4-50FAIL32.57
par8-4-90UNSAT32.76
aim-100-3_4-yes1-2-90FAIL32.83
aim-200-2_0-yes1-3-50FAIL32.97
aim-100-3_4-yes1-3-90FAIL33.8
aim-100-1_6-yes1-4-00FAIL34.33
aim-100-2_0-yes1-1-50FAIL35.35
aim-50-1_6-yes1-1-00FAIL35.68
aim-200-3_4-yes1-1-90FAIL35.74
aim-50-1_6-yes1-2-50FAIL36.16
aim-200-2_0-yes1-2-00FAIL36.62
aim-50-1_6-yes1-3-00FAIL36.63
aim-200-3_4-yes1-1-00FAIL37.15
par8-2-90UNSAT37.81
aim-100-3_4-yes1-4-90FAIL37.94
aim-100-1_6-yes1-2-00FAIL38.13
par8-5-90UNSAT38.71
aim-50-2_0-yes1-2-90FAIL38.75
aim-100-2_0-yes1-1-00FAIL39.64
aim-50-2_0-yes1-3-00FAIL39.78
aim-200-3_4-yes1-3-90FAIL40.29
aim-50-3_4-yes1-1-90UNSAT40.74
aim-200-3_4-yes1-4-00FAIL41.16
aim-200-3_4-yes1-3-00FAIL41.38
aim-100-2_0-yes1-3-50FAIL42.31
aim-100-3_4-yes1-4-00FAIL42.34
aim-200-1_6-yes1-3-50FAIL42.47
aim-100-2_0-yes1-3-00FAIL43.03
aim-100-3_4-yes1-3-50FAIL43.23
aim-50-2_0-yes1-1-50FAIL44.42
aim-100-2_0-yes1-4-50FAIL45.18
aim-50-2_0-yes1-1-90FAIL45.64
aim-100-3_4-yes1-2-00FAIL46.92
par8-2-50UNSAT47.47
aim-200-6_0-yes1-1-50FAIL48.42
aim-100-3_4-yes1-1-90FAIL49.12
aim-200-6_0-yes1-4-90FAIL49.92
par8-5-00UNSAT50.18
jnh17-00SAT51.45
aim-100-6_0-yes1-3-90FAIL51.5
aim-200-6_0-yes1-2-90FAIL51.86
aim-50-2_0-yes1-2-50FAIL52.41
aim-200-6_0-yes1-3-90FAIL52.45
f600-90FAIL53.51
ii8a2-90FAIL53.62
aim-200-6_0-yes1-1-90FAIL53.86
aim-50-1_6-yes1-1-50SAT54.25
aim-200-6_0-yes1-2-50FAIL55.77
aim-100-1_6-yes1-1-00FAIL56.24
aim-50-3_4-yes1-3-50SAT56.24
f600-00FAIL56.89
aim-100-3_4-yes1-1-00FAIL56.99
aim-200-6_0-yes1-4-50FAIL57.66
aim-100-6_0-yes1-2-90FAIL59.26
aim-200-6_0-yes1-3-50FAIL60.22
aim-100-3_4-yes1-2-50FAIL65.24
aim-50-1_6-yes1-3-90SAT65.4
aim-100-6_0-yes1-3-50FAIL66.14
aim-100-6_0-yes1-2-50FAIL66.25
ii8a2-50FAIL67.24
aim-200-6_0-yes1-4-00FAIL67.54
aim-100-6_0-yes1-4-50FAIL68.16
par8-3-90SAT69.42
aim-100-6_0-yes1-4-90FAIL70.8
aim-200-6_0-yes1-1-00FAIL72.4
aim-100-3_4-yes1-1-50FAIL72.56
aim-200-6_0-yes1-2-00FAIL73.07
par8-5-c-50UNSAT74.98
f600-50FAIL76.38
aim-200-6_0-yes1-3-00FAIL77.36
ii8a2-00FAIL77.84
ii8a1-00FAIL79.1
aim-100-6_0-yes1-1-00FAIL80.97
aim-50-2_0-yes1-4-50SAT84.46
jnh217-90FAIL86.99
aim-50-2_0-yes1-3-90FAIL88.02
aim-100-6_0-yes1-3-00FAIL88.58
aim-50-2_0-yes1-2-00FAIL89.01
aim-100-6_0-yes1-2-00FAIL90.5
jnh217-50FAIL93.72
ii8b1-90FAIL96.45
aim-50-3_4-yes1-4-90SAT96.5
jnh212-50FAIL104.64
aim-50-2_0-yes1-4-00UNSAT111.7
jnh212-00FAIL112.64
ii32e1-90FAIL112.78
aim-50-3_4-yes1-2-50SAT112.78
jnh201-00FAIL115.84
ii8a3-50FAIL116.5
jnh204-00FAIL116.68
par8-1-50SAT116.98
aim-50-3_4-yes1-3-00SAT117.05
jnh212-90FAIL121.66
aim-100-6_0-yes1-1-50FAIL123.93
jnh207-00FAIL125.16
jnh301-00FAIL128.52
jnh218-90FAIL130.2
jnh1-00FAIL133.31
jnh205-90FAIL134.96
ii32c1-90FAIL138.91
jnh220-00FAIL140.03
par16-2-c-50FAIL141.68
par8-4-00SAT142.25
jnh207-90FAIL142.64
jnh201-50FAIL144.45
jnh205-50FAIL146.18
par8-4-50UNSAT148.34
aim-100-6_0-yes1-1-90FAIL148.91
ii8a3-00FAIL150.96
jnh301-90FAIL152.35
jnh204-50FAIL153.8
jnh220-90FAIL157.41
jnh210-00FAIL161.54
jnh209-50FAIL163.05
ii8a3-90FAIL163.36
jnh209-90FAIL167.68
ii8b1-00FAIL175.31
jnh207-50FAIL176.78
par16-5-c-00FAIL178.88
ii8c1-00FAIL181.98
par16-5-c-50FAIL189.36
jnh1-90FAIL191.56
jnh218-00SAT196.15
jnh220-50FAIL196.93
ii32c1-00FAIL197.58
jnh204-90FAIL201.95
par8-1-90UNSAT203.83
ii8b1-50FAIL208.77
ii32c1-50FAIL212.44
aim-50-3_4-yes1-2-00SAT214.39
jnh205-00FAIL217.07
ii32e1-50FAIL218.63
jnh12-50UNSAT219.61
jnh213-90FAIL220.76
jnh17-90FAIL220.95
ii8e1-00FAIL224.8
par16-3-c-50FAIL229.43
par8-3-00UNSAT231.16
jnh301-50FAIL231.57
jnh210-90FAIL232.18
ii32b1-00FAIL233.09
jnh12-90SAT233.54
jnh218-50FAIL234.12
ii8d1-90FAIL234.15
jnh209-00FAIL239.31
jnh217-00FAIL251.54
ii8e1-50FAIL255.61
ii8c1-50FAIL258.04
par8-3-50UNSAT261.21
ii32b1-90FAIL266.74
ii32e1-00FAIL268.47
par16-2-c-00FAIL272.87
jnh210-50SAT278.15
jnh1-50FAIL285.83
ii8d1-50FAIL290.24
ii8c1-90FAIL298.68
aim-100-6_0-yes1-4-00FAIL298.76
jnh17-50FAIL299.54
par8-1-00SAT300.16
ssa7552-160-00FAIL308.03
ii8e1-90FAIL310.47
par16-1-c-00FAIL316.33
par16-3-c-00FAIL318.37
par16-1-c-50FAIL348.99
jnh7-50FAIL354.41
jnh213-00SAT359.02
ii8d1-00FAIL360.96
ii32d1-90FAIL366.96
ii8a4-90FAIL369.35
ii8a4-00FAIL374.43
ssa7552-158-00FAIL379.86
jnh7-00FAIL389.51
par16-4-c-50FAIL401.57
ii32c2-90FAIL409.72
ii32b1-50FAIL420.13
ii32e2-00FAIL420.52
ii32d1-50FAIL433.56
ii32c3-90FAIL450.22
ii32b2-50FAIL454.53
jnh201-90FAIL485.26
ii8a4-50FAIL502.95
par16-1-c-90FAIL522.4
ssa7552-159-90FAIL523.89
ii32b2-00FAIL528.83
ii32b2-90FAIL538.73
ii32c2-00FAIL560.17
ii32c2-50FAIL584
ssa7552-160-90FAIL600
par16-1-50FAIL600
ssa7552-158-90FAIL600
par16-1-90FAIL600
ssa7552-158-50FAIL600
par16-1-00FAIL600
ssa7552-159-50FAIL600
ssa7552-160-50FAIL600
ii32d1-00FAIL600
par16-4-c-00FAIL600
par16-4-90FAIL600
par16-4-00FAIL600
par16-4-c-90FAIL600
ii32e2-90FAIL600
ii32e2-50FAIL600
par16-4-50FAIL600
ii32c3-50FAIL600
ii32c3-00FAIL600
jnh12-00FAIL600