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 of family Abduction solved by
quantor3.0
QBFEVAL'08
Instance
Result
Time
ssa7552-159-00
SAT
0.03
par8-4-c-90
SAT
0.26
ii8a1-50
SAT
0.85
par8-1-c-90
UNSAT
0.92
ii8a1-90
SAT
1.07
aim-50-6_0-yes1-3-50
UNSAT
1.37
aim-50-6_0-yes1-2-90
UNSAT
1.62
aim-50-6_0-yes1-1-90
SAT
1.9
par8-4-c-50
SAT
2.13
aim-50-6_0-yes1-2-00
UNSAT
2.2
par8-2-c-90
UNSAT
2.21
par8-2-c-50
UNSAT
2.43
aim-50-6_0-yes1-2-50
UNSAT
2.45
par8-3-c-90
UNSAT
2.82
aim-50-6_0-yes1-3-90
SAT
2.93
aim-50-1_6-yes1-2-90
UNSAT
3.8
par8-1-c-00
UNSAT
4.82
par8-4-c-00
SAT
4.89
par8-5-c-90
UNSAT
5.23
par8-3-c-50
UNSAT
5.33
par8-5-50
SAT
6.13
par8-3-c-00
SAT
6.22
par8-1-c-50
UNSAT
7.01
par8-2-00
UNSAT
7.85
aim-50-6_0-yes1-4-90
SAT
8.45
aim-50-6_0-yes1-4-00
SAT
8.47
aim-50-1_6-yes1-4-90
UNSAT
9.19
aim-50-6_0-yes1-3-00
UNSAT
9.43
aim-50-3_4-yes1-4-00
UNSAT
9.83
aim-50-3_4-yes1-3-90
UNSAT
11.21
par8-5-c-00
UNSAT
11.37
aim-50-3_4-yes1-4-50
UNSAT
11.43
aim-50-3_4-yes1-2-90
SAT
11.67
aim-50-3_4-yes1-1-00
UNSAT
11.88
jnh7-90
SAT
13.11
aim-50-3_4-yes1-1-50
UNSAT
14.18
aim-50-6_0-yes1-4-50
UNSAT
14.25
aim-50-6_0-yes1-1-00
UNSAT
14.76
aim-50-2_0-yes1-4-90
SAT
14.83
aim-50-6_0-yes1-1-50
UNSAT
16.62
par8-2-c-00
UNSAT
17
jnh213-50
SAT
17.77
aim-50-2_0-yes1-1-00
UNSAT
18.39
par8-4-90
UNSAT
22.11
par8-5-90
UNSAT
23.28
par8-2-90
UNSAT
24.65
aim-50-3_4-yes1-1-90
UNSAT
24.69
par8-5-00
UNSAT
31.57
par8-2-50
UNSAT
31.65
aim-50-1_6-yes1-1-50
SAT
31.89
aim-50-3_4-yes1-3-50
SAT
32.23
aim-50-1_6-yes1-3-90
SAT
34.87
jnh17-00
SAT
37.29
par8-3-90
SAT
43.32
aim-200-1_6-yes1-4-90
FAIL
46.93
aim-100-2_0-yes1-2-90
FAIL
48.41
aim-50-3_4-yes1-4-90
SAT
48.66
aim-200-1_6-yes1-2-90
FAIL
50.14
aim-200-1_6-yes1-1-90
FAIL
51.25
aim-50-2_0-yes1-4-50
SAT
51.58
par8-5-c-50
UNSAT
52.36
aim-100-1_6-yes1-2-90
FAIL
54.23
aim-100-1_6-yes1-1-90
FAIL
54.24
aim-100-1_6-yes1-3-90
FAIL
58.22
aim-100-2_0-yes1-1-90
FAIL
59.19
aim-100-1_6-yes1-1-50
FAIL
59.66
aim-100-1_6-yes1-4-00
FAIL
60.33
aim-100-2_0-yes1-2-50
FAIL
61.41
aim-100-2_0-yes1-3-90
FAIL
61.77
aim-200-2_0-yes1-1-90
FAIL
63.24
aim-100-1_6-yes1-4-90
FAIL
63.48
aim-50-2_0-yes1-4-00
UNSAT
64
par16-3-c-90
FAIL
64.71
aim-50-3_4-yes1-2-50
SAT
64.72
aim-50-1_6-yes1-4-50
FAIL
65.07
aim-50-3_4-yes1-3-00
SAT
65.17
aim-200-1_6-yes1-1-50
FAIL
65.32
par16-5-c-90
FAIL
65.68
aim-200-3_4-yes1-4-90
FAIL
65.82
aim-50-1_6-yes1-3-50
FAIL
66.14
aim-100-1_6-yes1-3-00
FAIL
66.47
aim-200-2_0-yes1-4-50
FAIL
66.49
par16-2-c-90
FAIL
66.9
f600-00
FAIL
67.07
aim-200-2_0-yes1-3-50
FAIL
67.14
aim-100-1_6-yes1-3-50
FAIL
67.23
aim-200-3_4-yes1-2-00
FAIL
67.94
aim-200-2_0-yes1-2-90
FAIL
68.77
aim-200-2_0-yes1-3-90
FAIL
69.17
aim-200-2_0-yes1-1-50
FAIL
69.49
aim-100-1_6-yes1-2-00
FAIL
69.74
aim-200-1_6-yes1-1-00
FAIL
69.78
aim-100-2_0-yes1-4-00
FAIL
71.86
aim-200-3_4-yes1-2-90
FAIL
71.92
aim-200-3_4-yes1-1-50
FAIL
72.15
aim-200-1_6-yes1-4-00
FAIL
72.57
aim-200-1_6-yes1-3-90
FAIL
73.22
f600-90
FAIL
73.38
aim-100-1_6-yes1-2-50
FAIL
73.66
aim-100-2_0-yes1-1-50
FAIL
73.81
aim-100-2_0-yes1-4-50
FAIL
74.11
aim-200-1_6-yes1-2-50
FAIL
74.17
aim-200-3_4-yes1-4-50
FAIL
74.79
aim-200-2_0-yes1-2-50
FAIL
75.19
aim-100-3_4-yes1-3-90
FAIL
75.27
f600-50
FAIL
75.55
aim-100-2_0-yes1-4-90
FAIL
75.8
par8-1-50
SAT
75.9
aim-100-1_6-yes1-1-00
FAIL
77.23
aim-100-2_0-yes1-3-50
FAIL
77.58
aim-200-2_0-yes1-1-00
FAIL
77.65
aim-200-1_6-yes1-4-50
FAIL
77.82
aim-200-2_0-yes1-3-00
FAIL
79.69
aim-200-2_0-yes1-4-90
FAIL
80.47
aim-50-1_6-yes1-1-90
FAIL
81.39
aim-50-1_6-yes1-4-00
FAIL
81.92
aim-200-3_4-yes1-1-00
FAIL
83.83
aim-200-3_4-yes1-1-90
FAIL
85.05
aim-200-1_6-yes1-2-00
FAIL
86.15
aim-200-1_6-yes1-3-00
FAIL
87.22
aim-50-1_6-yes1-2-50
FAIL
87.29
aim-200-3_4-yes1-3-00
FAIL
87.85
aim-200-3_4-yes1-4-00
FAIL
88.41
aim-50-3_4-yes1-2-00
SAT
88.89
aim-200-2_0-yes1-4-00
FAIL
90.01
aim-50-1_6-yes1-3-00
FAIL
90.36
aim-100-1_6-yes1-4-50
FAIL
90.67
par8-4-00
SAT
90.94
aim-100-2_0-yes1-3-00
FAIL
91.82
aim-100-2_0-yes1-2-00
FAIL
95.13
aim-50-2_0-yes1-3-50
FAIL
96.21
par8-4-50
UNSAT
100.16
aim-200-3_4-yes1-2-50
FAIL
101.54
aim-200-3_4-yes1-3-90
FAIL
102.2
aim-100-2_0-yes1-1-00
FAIL
103.57
aim-100-3_4-yes1-2-90
FAIL
103.61
aim-200-6_0-yes1-4-90
FAIL
105.14
aim-50-1_6-yes1-1-00
FAIL
105.17
aim-50-1_6-yes1-2-00
FAIL
109.71
aim-200-2_0-yes1-2-00
FAIL
114.35
aim-200-6_0-yes1-4-50
FAIL
115.14
aim-100-3_4-yes1-3-50
FAIL
116.68
aim-200-6_0-yes1-1-00
FAIL
117.44
aim-50-2_0-yes1-2-00
UNSAT
117.58
aim-200-1_6-yes1-3-50
FAIL
117.7
par8-1-90
UNSAT
119.24
aim-200-3_4-yes1-3-50
FAIL
120.86
aim-200-6_0-yes1-1-50
FAIL
123.31
aim-100-6_0-yes1-2-90
FAIL
123.58
aim-50-2_0-yes1-3-00
FAIL
125.02
aim-200-6_0-yes1-1-90
FAIL
125.72
aim-100-3_4-yes1-4-50
FAIL
126.56
aim-200-6_0-yes1-2-90
FAIL
127.37
aim-100-3_4-yes1-2-50
FAIL
127.88
aim-100-3_4-yes1-1-90
FAIL
128.97
aim-200-6_0-yes1-3-90
FAIL
129.61
aim-100-3_4-yes1-4-90
FAIL
132.24
aim-50-2_0-yes1-2-50
FAIL
133.93
par8-3-00
UNSAT
135.51
ii8a2-90
FAIL
136.59
aim-100-3_4-yes1-2-00
FAIL
136.99
aim-50-2_0-yes1-1-50
FAIL
138.25
aim-200-6_0-yes1-2-50
FAIL
139.97
jnh12-50
UNSAT
142.37
jnh218-00
SAT
142.37
aim-100-3_4-yes1-1-00
FAIL
146.31
jnh12-90
SAT
148.35
aim-50-2_0-yes1-3-90
FAIL
149.36
ii8a1-00
FAIL
152.1
aim-100-3_4-yes1-3-00
FAIL
152.13
aim-200-6_0-yes1-2-00
FAIL
152.73
aim-200-6_0-yes1-3-50
FAIL
153.98
ii8a2-50
FAIL
164
par8-3-50
UNSAT
165.24
aim-50-2_0-yes1-1-90
FAIL
167.55
aim-100-6_0-yes1-4-90
FAIL
170.72
aim-100-3_4-yes1-4-00
FAIL
170.84
aim-200-6_0-yes1-4-00
FAIL
179.93
aim-200-6_0-yes1-3-00
FAIL
180.83
jnh210-50
SAT
188.54
aim-100-3_4-yes1-1-50
FAIL
190
ii8a2-00
FAIL
192.71
ii8d1-90
FAIL
193.03
par8-1-00
SAT
193.15
aim-100-6_0-yes1-2-00
FAIL
196.64
aim-100-6_0-yes1-3-90
FAIL
196.7
ii8e1-00
FAIL
200.04
ii8c1-50
FAIL
201.03
ii8b1-50
FAIL
214.79
aim-50-2_0-yes1-2-90
SAT
214.83
ii8a3-90
FAIL
227.19
aim-100-6_0-yes1-2-50
FAIL
230.11
ii8e1-90
FAIL
238.06
aim-100-6_0-yes1-3-00
FAIL
241.3
aim-100-6_0-yes1-1-50
FAIL
243.32
jnh213-00
SAT
251.11
ii8d1-50
FAIL
254.82
ii8b1-90
FAIL
260.25
jnh207-00
FAIL
263.12
ii8e1-50
FAIL
265.54
aim-100-6_0-yes1-4-50
FAIL
268.81
ii8a3-50
FAIL
272.07
ii8b1-00
FAIL
275.13
ii8d1-00
FAIL
280.25
jnh207-50
FAIL
280.59
jnh212-00
FAIL
291.51
ii8c1-00
FAIL
299.8
jnh1-00
FAIL
301.29
ii8a3-00
FAIL
304.08
aim-100-6_0-yes1-1-00
FAIL
311.26
jnh217-00
FAIL
314.11
ii8c1-90
FAIL
315.63
jnh1-90
FAIL
317.2
jnh201-00
FAIL
332.49
jnh212-50
FAIL
358.28
ii32d1-50
FAIL
367.57
ii8a4-00
FAIL
367.59
jnh17-90
FAIL
368.46
jnh207-90
FAIL
373
ii32e1-90
FAIL
381.1
jnh204-50
FAIL
391.3
jnh201-50
FAIL
397.18
aim-100-6_0-yes1-4-00
UNSAT
406.41
jnh204-00
FAIL
409.02
jnh217-50
FAIL
409.62
ii32c1-50
FAIL
412.42
jnh212-90
FAIL
421.32
ii8a4-50
FAIL
421.77
jnh204-90
FAIL
446.3
ii32d1-00
FAIL
447.12
jnh301-50
FAIL
447.46
jnh217-90
FAIL
449.03
jnh209-00
FAIL
456.48
ii32c1-00
FAIL
459.03
ii32e2-00
FAIL
460.53
jnh12-00
UNSAT
462.51
jnh17-50
FAIL
470.24
jnh205-00
FAIL
478.2
ii32b1-50
FAIL
480.18
jnh218-90
FAIL
489.89
par16-5-c-00
FAIL
494.96
ssa7552-159-90
FAIL
500.49
jnh220-00
FAIL
508.04
ii32c1-90
FAIL
512.28
par16-5-c-50
FAIL
515.01
aim-100-6_0-yes1-3-50
SAT
525.81
aim-100-6_0-yes1-1-90
FAIL
542.66
ii32b1-00
FAIL
558.13
par16-2-c-00
FAIL
571.77
jnh210-00
FAIL
575.22
jnh301-90
FAIL
575.35
ii32e1-50
FAIL
580.52
jnh213-90
FAIL
589.87
ii32c2-90
FAIL
591.45
jnh301-00
FAIL
591.84
ii8a4-90
FAIL
596.83
ssa7552-158-90
FAIL
600
ii32b2-90
FAIL
600
ii32c3-50
FAIL
600
jnh218-50
FAIL
600
jnh7-00
FAIL
600
par16-1-c-90
FAIL
600
par16-4-50
FAIL
600
ii32c3-90
FAIL
600
ii32e2-50
FAIL
600
jnh209-50
FAIL
600
jnh7-50
FAIL
600
par16-4-90
FAIL
600
ssa7552-159-50
FAIL
600
ii32e2-90
FAIL
600
jnh209-90
FAIL
600
par16-2-c-50
FAIL
600
par16-4-c-00
FAIL
600
jnh205-50
FAIL
600
jnh220-50
FAIL
600
par16-1-00
FAIL
600
par16-4-c-50
FAIL
600
ssa7552-160-00
FAIL
600
ii32c2-00
FAIL
600
ii32d1-90
FAIL
600
jnh205-90
FAIL
600
jnh220-90
FAIL
600
par16-1-50
FAIL
600
par16-3-c-00
FAIL
600
par16-4-c-90
FAIL
600
ssa7552-160-50
FAIL
600
ii32b1-90
FAIL
600
ii32c2-50
FAIL
600
ii32e1-00
FAIL
600
jnh210-90
FAIL
600
par16-1-90
FAIL
600
par16-3-c-50
FAIL
600
ssa7552-158-00
FAIL
600
ssa7552-160-90
FAIL
600
ii32b2-00
FAIL
600
jnh201-90
FAIL
600
par16-1-c-00
FAIL
600
ssa7552-158-50
FAIL
600
ii32b2-50
FAIL
600
ii32c3-00
FAIL
600
jnh1-50
FAIL
600
par16-1-c-50
FAIL
600
par16-4-00
FAIL
600
Contact
|
Organization
|
Links
|
Citing QBFLIB