QBF Solver Evaluation Portal
Home
QBFLIB
QBFGALLERY'23
QBFEVALs
2022
2020
2019
2018
2017
2016
2010
2008
2007
2006
2005
2004
QBF GALLERIES
QBF Gallery 2014
QBF Gallery 2013
DOWNLOADS
Download the QBFEVAL'22 dataset
Download the QBFEVAL'20 dataset
Download the QBFEVAL'19 dataset and raw results
Download the QBFEVAL'18 dataset and raw results
Download the QBFEVAL'17 dataset and raw results
Download the QBFEVAL'16 dataset
Download the QBFEVAL'10 dataset
Download the QBFEVAL'08 dataset
Download the non-prenex non-cnf track dataset
Download the QBFEVAL'07 dataset
Download the QBFEVAL'06 dataset
Download the QDIMACS to QPRO converter
Download the QDIMACS to QBF1.0 converter
qbflib.org
Instances solved by
QUANTOR_2.15
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.
Instance
Result
Time
ssa7552-159-00
SAT
0.06
par8-4-c-90
SAT
0.4
ii8a1-50
SAT
1.37
par8-1-c-90
UNSAT
1.59
ii8a1-90
SAT
1.71
aim-50-6_0-yes1-3-50
UNSAT
2
aim-50-6_0-yes1-2-90
UNSAT
2.48
aim-50-6_0-yes1-1-90
SAT
2.8
aim-50-6_0-yes1-2-00
UNSAT
3.19
par8-4-c-50
SAT
3.35
par8-2-c-90
UNSAT
3.65
aim-50-6_0-yes1-2-50
UNSAT
3.68
par8-2-c-50
UNSAT
3.93
aim-50-6_0-yes1-3-90
SAT
4.42
par8-3-c-90
UNSAT
4.5
aim-50-1_6-yes1-2-90
UNSAT
6.02
par8-4-c-00
SAT
7.44
par8-1-c-00
UNSAT
7.78
par8-5-c-90
UNSAT
8.17
par8-3-c-50
UNSAT
8.31
par8-3-c-00
SAT
9.51
par8-5-50
SAT
9.87
par8-1-c-50
UNSAT
11.11
aim-50-6_0-yes1-4-00
SAT
12.37
par8-2-00
UNSAT
12.39
aim-50-6_0-yes1-4-90
SAT
12.71
aim-50-6_0-yes1-3-00
UNSAT
13.54
aim-50-1_6-yes1-4-90
UNSAT
14.35
aim-50-3_4-yes1-4-00
UNSAT
15.4
aim-100-1_6-yes1-1-50
FAIL
17.66
par8-5-c-00
UNSAT
17.69
aim-50-3_4-yes1-4-50
UNSAT
18.21
jnh7-90
SAT
18.26
aim-50-3_4-yes1-3-90
UNSAT
18.44
aim-200-1_6-yes1-2-90
FAIL
18.51
aim-50-3_4-yes1-2-90
SAT
18.63
aim-50-3_4-yes1-1-00
UNSAT
18.81
aim-200-1_6-yes1-1-90
FAIL
19.55
aim-100-2_0-yes1-1-90
FAIL
20.05
aim-100-1_6-yes1-4-50
FAIL
20.44
aim-100-2_0-yes1-2-00
FAIL
20.63
aim-50-6_0-yes1-4-50
UNSAT
20.66
aim-100-2_0-yes1-2-90
FAIL
21.23
aim-200-2_0-yes1-1-90
FAIL
21.58
aim-50-6_0-yes1-1-00
UNSAT
22.03
aim-200-2_0-yes1-4-90
FAIL
22.59
aim-50-3_4-yes1-1-50
UNSAT
22.66
aim-200-2_0-yes1-2-90
FAIL
23.53
aim-200-2_0-yes1-3-90
FAIL
23.55
jnh213-50
SAT
23.57
aim-200-2_0-yes1-4-50
FAIL
23.77
aim-50-2_0-yes1-4-90
SAT
24.23
aim-100-2_0-yes1-3-90
FAIL
24.28
aim-200-3_4-yes1-2-00
FAIL
24.51
aim-50-6_0-yes1-1-50
UNSAT
24.58
aim-200-1_6-yes1-2-50
FAIL
24.61
aim-100-1_6-yes1-1-90
FAIL
24.87
aim-100-2_0-yes1-2-50
FAIL
25.11
aim-200-1_6-yes1-3-00
FAIL
25.11
aim-200-3_4-yes1-2-50
FAIL
25.34
aim-100-1_6-yes1-2-90
FAIL
25.8
par8-2-c-00
UNSAT
25.99
aim-200-1_6-yes1-4-90
FAIL
26.31
aim-200-3_4-yes1-2-90
FAIL
26.32
aim-200-2_0-yes1-3-00
FAIL
26.39
aim-200-3_4-yes1-4-90
FAIL
26.76
aim-200-1_6-yes1-1-00
FAIL
26.8
aim-200-2_0-yes1-1-50
FAIL
26.87
aim-50-2_0-yes1-3-50
FAIL
26.87
aim-50-1_6-yes1-1-90
FAIL
27.05
par16-3-c-90
FAIL
27.32
aim-200-2_0-yes1-4-00
FAIL
27.57
aim-200-1_6-yes1-1-50
FAIL
27.63
aim-200-3_4-yes1-3-50
FAIL
27.65
aim-200-2_0-yes1-1-00
FAIL
27.81
aim-200-1_6-yes1-4-00
FAIL
27.85
aim-100-1_6-yes1-3-90
FAIL
27.96
aim-100-1_6-yes1-3-50
FAIL
28
aim-100-1_6-yes1-2-50
FAIL
28.15
aim-200-1_6-yes1-3-90
FAIL
28.16
par16-5-c-90
FAIL
28.43
aim-50-1_6-yes1-4-00
FAIL
28.45
aim-200-3_4-yes1-4-50
FAIL
28.77
aim-100-1_6-yes1-4-90
FAIL
28.99
par16-2-c-90
FAIL
29.41
aim-50-1_6-yes1-4-50
FAIL
29.42
aim-100-2_0-yes1-4-00
FAIL
29.48
aim-200-1_6-yes1-2-00
FAIL
29.84
aim-100-1_6-yes1-3-00
FAIL
30.52
aim-50-2_0-yes1-1-00
UNSAT
30.66
aim-100-2_0-yes1-4-90
FAIL
31.05
aim-100-3_4-yes1-3-00
FAIL
31.37
aim-200-2_0-yes1-2-50
FAIL
31.5
aim-200-1_6-yes1-4-50
FAIL
31.54
aim-200-3_4-yes1-1-50
FAIL
31.69
aim-50-1_6-yes1-3-50
FAIL
31.82
aim-50-1_6-yes1-2-00
FAIL
32.51
aim-100-3_4-yes1-4-50
FAIL
32.57
par8-4-90
UNSAT
32.76
aim-100-3_4-yes1-2-90
FAIL
32.83
aim-200-2_0-yes1-3-50
FAIL
32.97
aim-100-3_4-yes1-3-90
FAIL
33.8
aim-100-1_6-yes1-4-00
FAIL
34.33
aim-100-2_0-yes1-1-50
FAIL
35.35
aim-50-1_6-yes1-1-00
FAIL
35.68
aim-200-3_4-yes1-1-90
FAIL
35.74
aim-50-1_6-yes1-2-50
FAIL
36.16
aim-200-2_0-yes1-2-00
FAIL
36.62
aim-50-1_6-yes1-3-00
FAIL
36.63
aim-200-3_4-yes1-1-00
FAIL
37.15
par8-2-90
UNSAT
37.81
aim-100-3_4-yes1-4-90
FAIL
37.94
aim-100-1_6-yes1-2-00
FAIL
38.13
par8-5-90
UNSAT
38.71
aim-50-2_0-yes1-2-90
FAIL
38.75
aim-100-2_0-yes1-1-00
FAIL
39.64
aim-50-2_0-yes1-3-00
FAIL
39.78
aim-200-3_4-yes1-3-90
FAIL
40.29
aim-50-3_4-yes1-1-90
UNSAT
40.74
aim-200-3_4-yes1-4-00
FAIL
41.16
aim-200-3_4-yes1-3-00
FAIL
41.38
aim-100-2_0-yes1-3-50
FAIL
42.31
aim-100-3_4-yes1-4-00
FAIL
42.34
aim-200-1_6-yes1-3-50
FAIL
42.47
aim-100-2_0-yes1-3-00
FAIL
43.03
aim-100-3_4-yes1-3-50
FAIL
43.23
aim-50-2_0-yes1-1-50
FAIL
44.42
aim-100-2_0-yes1-4-50
FAIL
45.18
aim-50-2_0-yes1-1-90
FAIL
45.64
aim-100-3_4-yes1-2-00
FAIL
46.92
par8-2-50
UNSAT
47.47
aim-200-6_0-yes1-1-50
FAIL
48.42
aim-100-3_4-yes1-1-90
FAIL
49.12
aim-200-6_0-yes1-4-90
FAIL
49.92
par8-5-00
UNSAT
50.18
jnh17-00
SAT
51.45
aim-100-6_0-yes1-3-90
FAIL
51.5
aim-200-6_0-yes1-2-90
FAIL
51.86
aim-50-2_0-yes1-2-50
FAIL
52.41
aim-200-6_0-yes1-3-90
FAIL
52.45
f600-90
FAIL
53.51
ii8a2-90
FAIL
53.62
aim-200-6_0-yes1-1-90
FAIL
53.86
aim-50-1_6-yes1-1-50
SAT
54.25
aim-200-6_0-yes1-2-50
FAIL
55.77
aim-100-1_6-yes1-1-00
FAIL
56.24
aim-50-3_4-yes1-3-50
SAT
56.24
f600-00
FAIL
56.89
aim-100-3_4-yes1-1-00
FAIL
56.99
aim-200-6_0-yes1-4-50
FAIL
57.66
aim-100-6_0-yes1-2-90
FAIL
59.26
aim-200-6_0-yes1-3-50
FAIL
60.22
aim-100-3_4-yes1-2-50
FAIL
65.24
aim-50-1_6-yes1-3-90
SAT
65.4
aim-100-6_0-yes1-3-50
FAIL
66.14
aim-100-6_0-yes1-2-50
FAIL
66.25
ii8a2-50
FAIL
67.24
aim-200-6_0-yes1-4-00
FAIL
67.54
aim-100-6_0-yes1-4-50
FAIL
68.16
par8-3-90
SAT
69.42
aim-100-6_0-yes1-4-90
FAIL
70.8
aim-200-6_0-yes1-1-00
FAIL
72.4
aim-100-3_4-yes1-1-50
FAIL
72.56
aim-200-6_0-yes1-2-00
FAIL
73.07
par8-5-c-50
UNSAT
74.98
f600-50
FAIL
76.38
aim-200-6_0-yes1-3-00
FAIL
77.36
ii8a2-00
FAIL
77.84
ii8a1-00
FAIL
79.1
aim-100-6_0-yes1-1-00
FAIL
80.97
aim-50-2_0-yes1-4-50
SAT
84.46
jnh217-90
FAIL
86.99
aim-50-2_0-yes1-3-90
FAIL
88.02
aim-100-6_0-yes1-3-00
FAIL
88.58
aim-50-2_0-yes1-2-00
FAIL
89.01
aim-100-6_0-yes1-2-00
FAIL
90.5
jnh217-50
FAIL
93.72
ii8b1-90
FAIL
96.45
aim-50-3_4-yes1-4-90
SAT
96.5
jnh212-50
FAIL
104.64
aim-50-2_0-yes1-4-00
UNSAT
111.7
jnh212-00
FAIL
112.64
ii32e1-90
FAIL
112.78
aim-50-3_4-yes1-2-50
SAT
112.78
jnh201-00
FAIL
115.84
ii8a3-50
FAIL
116.5
jnh204-00
FAIL
116.68
par8-1-50
SAT
116.98
aim-50-3_4-yes1-3-00
SAT
117.05
jnh212-90
FAIL
121.66
aim-100-6_0-yes1-1-50
FAIL
123.93
jnh207-00
FAIL
125.16
jnh301-00
FAIL
128.52
jnh218-90
FAIL
130.2
jnh1-00
FAIL
133.31
jnh205-90
FAIL
134.96
ii32c1-90
FAIL
138.91
jnh220-00
FAIL
140.03
par16-2-c-50
FAIL
141.68
par8-4-00
SAT
142.25
jnh207-90
FAIL
142.64
jnh201-50
FAIL
144.45
jnh205-50
FAIL
146.18
par8-4-50
UNSAT
148.34
aim-100-6_0-yes1-1-90
FAIL
148.91
ii8a3-00
FAIL
150.96
jnh301-90
FAIL
152.35
jnh204-50
FAIL
153.8
jnh220-90
FAIL
157.41
jnh210-00
FAIL
161.54
jnh209-50
FAIL
163.05
ii8a3-90
FAIL
163.36
jnh209-90
FAIL
167.68
ii8b1-00
FAIL
175.31
jnh207-50
FAIL
176.78
par16-5-c-00
FAIL
178.88
ii8c1-00
FAIL
181.98
par16-5-c-50
FAIL
189.36
jnh1-90
FAIL
191.56
jnh218-00
SAT
196.15
jnh220-50
FAIL
196.93
ii32c1-00
FAIL
197.58
jnh204-90
FAIL
201.95
par8-1-90
UNSAT
203.83
ii8b1-50
FAIL
208.77
ii32c1-50
FAIL
212.44
aim-50-3_4-yes1-2-00
SAT
214.39
jnh205-00
FAIL
217.07
ii32e1-50
FAIL
218.63
jnh12-50
UNSAT
219.61
jnh213-90
FAIL
220.76
jnh17-90
FAIL
220.95
ii8e1-00
FAIL
224.8
par16-3-c-50
FAIL
229.43
par8-3-00
UNSAT
231.16
jnh301-50
FAIL
231.57
jnh210-90
FAIL
232.18
ii32b1-00
FAIL
233.09
jnh12-90
SAT
233.54
jnh218-50
FAIL
234.12
ii8d1-90
FAIL
234.15
jnh209-00
FAIL
239.31
jnh217-00
FAIL
251.54
ii8e1-50
FAIL
255.61
ii8c1-50
FAIL
258.04
par8-3-50
UNSAT
261.21
ii32b1-90
FAIL
266.74
ii32e1-00
FAIL
268.47
par16-2-c-00
FAIL
272.87
jnh210-50
SAT
278.15
jnh1-50
FAIL
285.83
ii8d1-50
FAIL
290.24
ii8c1-90
FAIL
298.68
aim-100-6_0-yes1-4-00
FAIL
298.76
jnh17-50
FAIL
299.54
par8-1-00
SAT
300.16
ssa7552-160-00
FAIL
308.03
ii8e1-90
FAIL
310.47
par16-1-c-00
FAIL
316.33
par16-3-c-00
FAIL
318.37
par16-1-c-50
FAIL
348.99
jnh7-50
FAIL
354.41
jnh213-00
SAT
359.02
ii8d1-00
FAIL
360.96
ii32d1-90
FAIL
366.96
ii8a4-90
FAIL
369.35
ii8a4-00
FAIL
374.43
ssa7552-158-00
FAIL
379.86
jnh7-00
FAIL
389.51
par16-4-c-50
FAIL
401.57
ii32c2-90
FAIL
409.72
ii32b1-50
FAIL
420.13
ii32e2-00
FAIL
420.52
ii32d1-50
FAIL
433.56
ii32c3-90
FAIL
450.22
ii32b2-50
FAIL
454.53
jnh201-90
FAIL
485.26
ii8a4-50
FAIL
502.95
par16-1-c-90
FAIL
522.4
ssa7552-159-90
FAIL
523.89
ii32b2-00
FAIL
528.83
ii32b2-90
FAIL
538.73
ii32c2-00
FAIL
560.17
ii32c2-50
FAIL
584
ssa7552-160-90
FAIL
600
par16-1-50
FAIL
600
ssa7552-158-90
FAIL
600
par16-1-90
FAIL
600
ssa7552-158-50
FAIL
600
par16-1-00
FAIL
600
ssa7552-159-50
FAIL
600
ssa7552-160-50
FAIL
600
ii32d1-00
FAIL
600
par16-4-c-00
FAIL
600
par16-4-90
FAIL
600
par16-4-00
FAIL
600
par16-4-c-90
FAIL
600
ii32e2-90
FAIL
600
ii32e2-50
FAIL
600
par16-4-50
FAIL
600
ii32c3-50
FAIL
600
ii32c3-00
FAIL
600
jnh12-00
FAIL
600
Contact
|
Organization
|
Links
|
Citing QBFLIB