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
Nenofex
QBFEVAL'08
Instance
Result
Time
ssa7552-159-00
SAT
0.06
aim-50-1_6-yes1-3-90
SAT
0.06
aim-50-1_6-yes1-1-90
UNSAT
0.07
aim-50-1_6-yes1-4-90
UNSAT
0.08
aim-50-1_6-yes1-2-90
UNSAT
0.08
aim-50-1_6-yes1-1-50
SAT
0.11
aim-50-2_0-yes1-4-90
SAT
0.12
aim-50-1_6-yes1-2-50
SAT
0.12
aim-50-1_6-yes1-3-50
UNSAT
0.12
aim-50-1_6-yes1-4-50
SAT
0.13
aim-50-2_0-yes1-1-90
UNSAT
0.13
aim-50-2_0-yes1-2-90
SAT
0.15
aim-50-2_0-yes1-3-90
UNSAT
0.17
aim-50-2_0-yes1-3-50
UNSAT
0.22
aim-50-1_6-yes1-2-00
SAT
0.22
aim-50-2_0-yes1-4-50
SAT
0.22
aim-50-1_6-yes1-4-00
SAT
0.23
aim-50-1_6-yes1-3-00
SAT
0.23
aim-50-1_6-yes1-1-00
SAT
0.24
aim-50-2_0-yes1-1-50
UNSAT
0.24
aim-50-2_0-yes1-1-00
UNSAT
0.26
aim-50-2_0-yes1-3-00
UNSAT
0.26
aim-50-2_0-yes1-4-00
UNSAT
0.28
aim-50-2_0-yes1-2-50
UNSAT
0.28
aim-50-2_0-yes1-2-00
UNSAT
0.29
aim-100-1_6-yes1-1-90
UNSAT
0.41
aim-100-1_6-yes1-3-90
SAT
0.49
aim-50-3_4-yes1-1-90
UNSAT
0.53
aim-100-1_6-yes1-2-90
UNSAT
0.55
aim-100-1_6-yes1-4-90
UNSAT
0.57
aim-50-3_4-yes1-3-90
UNSAT
0.58
aim-50-3_4-yes1-2-90
SAT
0.6
aim-50-3_4-yes1-4-90
SAT
0.61
aim-100-3_4-yes1-1-90
SAT
0.64
aim-50-3_4-yes1-3-50
SAT
0.68
aim-50-3_4-yes1-1-50
UNSAT
0.68
ii8a1-50
SAT
0.69
aim-50-3_4-yes1-2-50
SAT
0.8
aim-100-1_6-yes1-1-50
SAT
0.82
aim-100-1_6-yes1-2-50
SAT
0.86
aim-100-2_0-yes1-4-90
SAT
0.9
ii8a1-90
SAT
0.9
aim-50-3_4-yes1-4-50
UNSAT
0.92
aim-50-3_4-yes1-1-00
UNSAT
1.02
aim-100-2_0-yes1-1-90
UNSAT
1.02
aim-100-1_6-yes1-4-50
UNSAT
1.06
aim-100-2_0-yes1-2-90
UNSAT
1.1
aim-50-3_4-yes1-2-00
SAT
1.12
aim-100-1_6-yes1-3-50
UNSAT
1.14
aim-50-3_4-yes1-4-00
UNSAT
1.16
aim-50-3_4-yes1-3-00
SAT
1.17
aim-100-2_0-yes1-3-90
UNSAT
1.2
aim-100-2_0-yes1-1-50
UNSAT
1.23
aim-100-1_6-yes1-2-00
SAT
1.24
aim-100-1_6-yes1-4-00
UNSAT
1.28
aim-100-2_0-yes1-4-50
UNSAT
1.4
aim-100-2_0-yes1-2-50
SAT
1.41
aim-100-2_0-yes1-3-50
UNSAT
1.44
aim-100-1_6-yes1-1-00
SAT
1.54
aim-100-1_6-yes1-3-00
UNSAT
1.58
par8-4-c-90
SAT
1.74
par8-1-c-90
UNSAT
1.78
aim-50-6_0-yes1-1-90
SAT
1.9
aim-200-1_6-yes1-3-90
UNSAT
1.94
par8-2-c-90
UNSAT
1.94
aim-200-1_6-yes1-4-90
SAT
1.95
aim-50-6_0-yes1-4-90
SAT
1.96
aim-200-1_6-yes1-2-90
UNSAT
1.97
aim-100-2_0-yes1-1-00
UNSAT
1.98
aim-100-2_0-yes1-4-00
UNSAT
1.98
par8-1-c-50
UNSAT
2.07
par8-2-c-50
UNSAT
2.08
aim-50-6_0-yes1-4-00
SAT
2.11
aim-200-1_6-yes1-1-90
SAT
2.11
par8-3-c-90
UNSAT
2.14
par8-5-c-90
UNSAT
2.22
aim-100-2_0-yes1-2-00
SAT
2.22
aim-100-2_0-yes1-3-00
UNSAT
2.22
par8-4-c-50
SAT
2.23
aim-50-6_0-yes1-3-90
SAT
2.35
par8-3-c-50
UNSAT
2.43
aim-50-6_0-yes1-2-90
UNSAT
2.43
par8-1-c-00
UNSAT
2.48
par8-4-c-00
SAT
2.61
par8-5-c-50
UNSAT
2.61
aim-200-1_6-yes1-2-50
SAT
2.65
par8-2-c-00
UNSAT
2.7
aim-200-1_6-yes1-1-50
SAT
2.72
ii8a1-00
SAT
2.73
aim-200-2_0-yes1-3-90
SAT
2.83
aim-100-3_4-yes1-1-50
UNSAT
2.84
aim-200-1_6-yes1-3-50
UNSAT
2.85
aim-200-2_0-yes1-1-90
UNSAT
2.9
aim-100-3_4-yes1-2-50
SAT
2.92
par8-5-c-00
UNSAT
2.96
par8-3-c-00
SAT
2.99
aim-50-6_0-yes1-1-50
UNSAT
3.08
aim-50-6_0-yes1-2-50
UNSAT
3.1
aim-200-2_0-yes1-4-90
SAT
3.1
aim-50-6_0-yes1-3-50
UNSAT
3.12
aim-200-2_0-yes1-1-50
UNSAT
3.2
aim-200-2_0-yes1-4-50
SAT
3.27
aim-50-6_0-yes1-4-50
UNSAT
3.28
aim-200-2_0-yes1-2-50
UNSAT
3.29
aim-200-2_0-yes1-3-50
UNSAT
3.36
aim-100-3_4-yes1-3-90
UNSAT
3.42
aim-200-2_0-yes1-1-00
SAT
3.58
aim-100-3_4-yes1-3-00
SAT
3.6
aim-50-6_0-yes1-1-00
UNSAT
3.63
aim-50-6_0-yes1-2-00
UNSAT
3.64
aim-50-6_0-yes1-3-00
UNSAT
3.91
aim-100-3_4-yes1-2-90
UNSAT
4.02
aim-200-1_6-yes1-1-00
SAT
4.16
aim-200-1_6-yes1-3-00
UNSAT
4.26
aim-200-1_6-yes1-2-00
UNSAT
4.27
aim-200-1_6-yes1-4-00
UNSAT
4.28
aim-100-6_0-yes1-3-50
SAT
4.35
aim-100-3_4-yes1-2-00
UNSAT
4.44
aim-200-2_0-yes1-4-00
SAT
4.45
aim-200-2_0-yes1-2-00
UNSAT
4.54
aim-200-2_0-yes1-3-00
UNSAT
4.6
aim-100-6_0-yes1-2-50
UNSAT
4.8
aim-100-6_0-yes1-4-90
SAT
4.96
aim-100-6_0-yes1-3-00
SAT
5.01
aim-100-6_0-yes1-4-50
UNSAT
5.05
aim-100-6_0-yes1-1-00
SAT
5.06
aim-100-6_0-yes1-2-00
UNSAT
5.14
aim-100-6_0-yes1-4-00
UNSAT
5.23
aim-100-6_0-yes1-3-90
UNSAT
5.26
aim-200-3_4-yes1-1-90
SAT
5.82
aim-100-6_0-yes1-2-90
SAT
6.06
aim-100-6_0-yes1-1-50
SAT
6.1
aim-100-3_4-yes1-4-50
UNSAT
7.24
aim-100-3_4-yes1-4-90
SAT
7.61
par8-5-50
SAT
8.87
aim-200-6_0-yes1-4-90
SAT
8.99
aim-200-6_0-yes1-4-50
SAT
9.11
par8-2-50
UNSAT
9.16
aim-200-6_0-yes1-1-50
UNSAT
9.16
aim-100-3_4-yes1-4-00
SAT
9.62
aim-100-6_0-yes1-1-90
UNSAT
10.03
aim-200-6_0-yes1-1-90
SAT
11.09
par8-3-90
SAT
12.18
par8-2-90
UNSAT
12.43
par8-4-90
UNSAT
12.55
par8-5-90
UNSAT
12.58
par8-1-90
UNSAT
12.94
par8-3-50
UNSAT
14.61
par8-1-50
SAT
14.69
par8-4-50
UNSAT
14.74
par8-3-00
UNSAT
17.54
par8-5-00
UNSAT
17.55
par8-1-00
SAT
17.85
par8-2-00
UNSAT
18.05
par8-4-00
SAT
18.2
jnh213-50
SAT
18.49
jnh7-90
SAT
19.22
aim-100-3_4-yes1-3-50
UNSAT
19.45
jnh213-00
SAT
20.05
jnh218-00
SAT
20.32
jnh12-50
UNSAT
21.31
jnh17-00
SAT
22.31
jnh12-90
SAT
24.21
jnh210-50
SAT
26.01
jnh1-50
SAT
31.85
jnh12-00
UNSAT
32.99
jnh213-90
SAT
33.74
jnh7-50
SAT
33.83
jnh218-90
SAT
34.69
aim-200-6_0-yes1-3-00
SAT
48.15
aim-200-1_6-yes1-4-50
FAIL
53.53
jnh301-50
SAT
63.62
jnh17-50
SAT
77.78
aim-100-3_4-yes1-1-00
UNSAT
80.32
par16-1-c-00
SAT
85.51
aim-200-3_4-yes1-1-00
FAIL
87.53
aim-200-6_0-yes1-3-90
UNSAT
89.53
jnh218-50
SAT
92.15
aim-200-3_4-yes1-2-50
FAIL
92.5
aim-200-3_4-yes1-3-90
FAIL
95.96
aim-200-6_0-yes1-1-00
FAIL
96.57
aim-200-6_0-yes1-2-50
FAIL
97.03
aim-200-3_4-yes1-4-50
FAIL
100.39
aim-200-6_0-yes1-4-00
FAIL
100.92
f600-90
FAIL
104.77
ssa7552-158-90
SAT
104.87
aim-200-3_4-yes1-3-50
FAIL
111.69
ssa7552-160-90
SAT
112.22
aim-200-3_4-yes1-3-00
FAIL
113.95
f600-50
FAIL
114.56
aim-200-3_4-yes1-4-00
FAIL
115.76
aim-200-3_4-yes1-2-00
FAIL
115.76
par16-1-c-50
FAIL
115.83
aim-200-6_0-yes1-3-50
FAIL
121.99
ii8a2-00
FAIL
122.22
ii8a2-90
FAIL
123.71
ii8a2-50
FAIL
123.94
par16-2-c-90
FAIL
124.66
aim-200-3_4-yes1-1-50
FAIL
125.16
aim-200-3_4-yes1-2-90
FAIL
127.44
aim-200-3_4-yes1-4-90
FAIL
129.44
ssa7552-159-50
SAT
131.69
ii8b1-90
FAIL
133.03
aim-200-6_0-yes1-2-90
FAIL
134
par16-3-c-00
FAIL
136.07
ii32e1-90
FAIL
138.26
aim-200-6_0-yes1-2-00
FAIL
144.29
jnh204-50
FAIL
145.2
jnh301-00
FAIL
145.57
par16-1-c-90
FAIL
146.31
jnh201-00
FAIL
146.52
jnh204-90
FAIL
148.17
par16-4-c-00
FAIL
148.36
ii8a3-00
FAIL
148.99
ii8a3-50
FAIL
156.56
par16-2-c-50
FAIL
158.22
jnh1-00
FAIL
158.81
par16-5-c-90
FAIL
159.56
jnh212-90
FAIL
159.86
f600-00
FAIL
160.49
jnh217-90
FAIL
166.27
ii32e1-50
FAIL
166.92
jnh204-00
FAIL
170.21
par16-3-c-50
FAIL
171.31
jnh201-90
FAIL
173.66
jnh210-90
FAIL
173.96
jnh220-00
FAIL
175.19
ii8a3-90
FAIL
175.87
jnh217-50
FAIL
177.36
jnh212-00
FAIL
181.44
ii32c1-90
FAIL
183.34
ii8b1-50
FAIL
184.98
ii8b1-00
FAIL
186.88
ssa7552-160-50
FAIL
191.46
jnh205-50
SAT
193.32
jnh209-50
FAIL
198
jnh1-90
FAIL
200.82
jnh207-50
FAIL
201.93
par16-3-c-90
FAIL
206.28
ii32d1-90
FAIL
210.2
jnh205-00
UNSAT
211.64
ii32b1-90
FAIL
218.63
jnh217-00
FAIL
220.16
jnh209-00
FAIL
221.27
ii32d1-50
FAIL
222.4
ii8a4-00
FAIL
224.57
jnh207-90
FAIL
226.07
ii32d1-00
FAIL
227.2
par16-5-c-50
FAIL
227.45
ii32e2-90
FAIL
227.66
ii32b1-50
FAIL
232.29
ssa7552-158-50
FAIL
234.43
jnh220-50
SAT
235.75
ssa7552-159-90
FAIL
236.12
ii32c2-50
FAIL
236.43
aim-200-2_0-yes1-2-90
FAIL
236.5
jnh207-00
UNSAT
238.25
ii8d1-50
FAIL
239.29
par16-4-90
FAIL
240.81
jnh17-90
UNSAT
244.21
ii8c1-50
FAIL
244.65
jnh205-90
UNSAT
244.87
ii32c1-50
FAIL
245.16
ii32c1-00
FAIL
248.76
ii8e1-90
FAIL
249.56
jnh209-90
FAIL
251.11
ii8e1-50
FAIL
255.28
ii8d1-90
FAIL
257.92
par16-4-00
FAIL
260.93
ii32e1-00
FAIL
261.82
ii32c2-90
FAIL
262.33
jnh220-90
FAIL
262.84
par16-5-c-00
FAIL
263.07
ii8a4-50
FAIL
268.21
par16-4-50
FAIL
270.41
ii32c2-00
FAIL
271.46
ssa7552-160-00
FAIL
272.83
ssa7552-158-00
FAIL
273.28
ii32b1-00
FAIL
280.32
ii32e2-50
FAIL
281.45
ii32e2-00
FAIL
284.15
ii8c1-00
FAIL
286.05
ii32b2-90
FAIL
286.17
ii8c1-90
FAIL
295.65
ii32c3-00
FAIL
298.68
par16-1-00
FAIL
301.19
ii8d1-00
FAIL
301.45
jnh210-00
UNSAT
304.82
ii32c3-90
FAIL
311.33
ii8e1-00
FAIL
314.76
ii8a4-90
FAIL
316.9
jnh212-50
FAIL
318.73
ii32c3-50
FAIL
333.94
ii32b2-50
FAIL
355.86
jnh201-50
FAIL
374.79
ii32b2-00
FAIL
382.76
par16-1-90
FAIL
411.1
jnh301-90
UNSAT
432.76
jnh7-00
FAIL
600
par16-2-c-00
FAIL
600
par16-4-c-50
FAIL
600
par16-1-50
FAIL
600
par16-4-c-90
FAIL
600
Contact
|
Organization
|
Links
|
Citing QBFLIB