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
Adaptive2clsQ
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.
Instance
Result
Time
ssa7552-159-00
SAT
0.12
par8-4-c-90
SAT
0.38
aim-50-6_0-yes1-2-50
UNSAT
0.54
ii8a1-90
SAT
1.15
ii8a1-50
SAT
1.37
par8-1-c-90
UNSAT
1.42
aim-50-6_0-yes1-3-50
UNSAT
2.41
aim-50-6_0-yes1-1-90
SAT
2.5
aim-50-6_0-yes1-2-90
UNSAT
2.53
aim-50-6_0-yes1-2-00
UNSAT
2.77
par8-4-c-50
SAT
2.81
par8-2-c-90
UNSAT
2.93
par8-3-c-90
UNSAT
2.95
par8-2-c-50
UNSAT
3.34
aim-50-6_0-yes1-3-90
SAT
3.76
aim-50-1_6-yes1-2-90
UNSAT
5.93
par8-3-c-00
SAT
6.26
par8-4-c-00
SAT
6.28
aim-50-1_6-yes1-4-90
UNSAT
6.4
par8-1-c-00
UNSAT
6.54
par8-3-c-50
UNSAT
7.13
par8-5-c-90
UNSAT
7.18
par8-5-50
SAT
8.08
aim-50-6_0-yes1-4-00
SAT
9.53
par8-1-c-50
UNSAT
9.69
aim-50-6_0-yes1-3-00
UNSAT
10.31
jnh213-50
SAT
11.61
jnh7-00
SAT
11.7
jnh12-50
UNSAT
11.72
jnh210-50
SAT
11.83
jnh12-90
SAT
12.05
jnh213-00
SAT
13.44
jnh7-90
SAT
14.86
jnh12-00
UNSAT
15.38
aim-50-6_0-yes1-4-90
SAT
17.57
aim-50-6_0-yes1-1-50
UNSAT
18.83
aim-50-3_4-yes1-4-50
UNSAT
20.83
aim-50-3_4-yes1-4-00
UNSAT
23.05
aim-50-6_0-yes1-4-50
UNSAT
23.35
par8-2-00
UNSAT
23.69
aim-50-6_0-yes1-1-00
UNSAT
24.59
aim-50-3_4-yes1-2-90
SAT
27.13
aim-50-3_4-yes1-3-90
UNSAT
28.1
par8-5-c-00
UNSAT
28.59
aim-50-3_4-yes1-1-00
UNSAT
33.95
aim-50-3_4-yes1-1-90
UNSAT
35.44
aim-200-2_0-yes1-3-90
SAT
36.94
aim-100-2_0-yes1-3-90
UNSAT
38.35
aim-50-2_0-yes1-4-90
SAT
38.98
aim-100-1_6-yes1-1-50
SAT
39.37
par8-5-c-50
UNSAT
39.68
aim-200-1_6-yes1-4-90
SAT
41.27
aim-100-1_6-yes1-3-50
UNSAT
43.02
aim-100-1_6-yes1-2-50
SAT
43.06
par8-5-90
UNSAT
43.33
aim-50-1_6-yes1-4-50
SAT
43.65
aim-200-2_0-yes1-4-90
SAT
43.68
aim-200-2_0-yes1-1-50
UNSAT
45.07
aim-200-2_0-yes1-2-50
UNSAT
46.36
aim-200-3_4-yes1-4-90
SAT
46.86
par8-2-90
UNSAT
47.02
aim-200-1_6-yes1-1-50
SAT
47.14
aim-100-2_0-yes1-1-90
UNSAT
47.28
aim-200-1_6-yes1-1-90
SAT
47.31
aim-200-2_0-yes1-4-00
SAT
47.53
aim-100-2_0-yes1-2-00
SAT
47.56
aim-100-1_6-yes1-4-50
UNSAT
47.57
aim-100-2_0-yes1-4-90
SAT
47.6
aim-200-2_0-yes1-4-50
SAT
47.62
aim-100-2_0-yes1-2-90
UNSAT
48.02
aim-200-1_6-yes1-4-50
SAT
48.13
aim-100-1_6-yes1-2-90
UNSAT
48.86
aim-100-1_6-yes1-4-90
UNSAT
49.14
aim-100-1_6-yes1-3-00
UNSAT
49.18
aim-100-3_4-yes1-4-50
UNSAT
49.3
aim-100-1_6-yes1-4-00
UNSAT
50.76
aim-200-2_0-yes1-2-00
UNSAT
50.76
aim-100-1_6-yes1-1-00
SAT
50.8
par8-2-c-00
UNSAT
50.97
aim-50-1_6-yes1-3-50
UNSAT
51.05
aim-200-2_0-yes1-3-00
UNSAT
51.06
aim-100-2_0-yes1-1-50
UNSAT
51.32
aim-200-3_4-yes1-3-00
SAT
51.9
aim-100-1_6-yes1-3-90
SAT
52.28
aim-200-2_0-yes1-2-90
UNSAT
52.88
aim-100-2_0-yes1-3-50
UNSAT
53.17
jnh218-00
SAT
53.17
aim-200-1_6-yes1-2-90
UNSAT
53.41
aim-200-1_6-yes1-2-50
SAT
53.57
aim-100-1_6-yes1-1-90
UNSAT
53.64
aim-200-3_4-yes1-1-00
UNSAT
54.36
aim-200-1_6-yes1-1-00
SAT
55.08
aim-200-3_4-yes1-4-00
SAT
55.12
aim-100-1_6-yes1-2-00
SAT
55.36
aim-100-3_4-yes1-3-90
UNSAT
56.34
aim-100-2_0-yes1-4-00
UNSAT
56.82
aim-100-2_0-yes1-3-00
UNSAT
57.86
aim-50-2_0-yes1-3-90
UNSAT
58.1
aim-50-1_6-yes1-2-00
SAT
58.58
aim-200-3_4-yes1-3-50
SAT
58.64
aim-100-3_4-yes1-1-90
SAT
58.72
par8-3-90
SAT
59.79
aim-100-6_0-yes1-3-00
SAT
60.07
aim-200-3_4-yes1-1-50
SAT
60.25
aim-50-3_4-yes1-3-50
SAT
60.44
aim-100-6_0-yes1-4-00
UNSAT
60.51
aim-50-1_6-yes1-1-00
SAT
60.6
aim-200-3_4-yes1-2-00
UNSAT
60.66
aim-50-1_6-yes1-4-00
SAT
60.69
aim-100-3_4-yes1-1-50
UNSAT
60.86
aim-200-2_0-yes1-3-50
UNSAT
60.9
aim-50-2_0-yes1-1-50
UNSAT
61.28
aim-50-3_4-yes1-3-00
SAT
61.38
aim-50-1_6-yes1-3-90
SAT
61.4
aim-200-2_0-yes1-1-00
SAT
61.4
aim-200-3_4-yes1-4-50
SAT
61.58
ii8a1-00
SAT
61.72
aim-50-3_4-yes1-2-00
SAT
61.92
aim-50-3_4-yes1-1-50
UNSAT
62.55
aim-100-6_0-yes1-1-50
SAT
62.63
aim-100-2_0-yes1-2-50
SAT
62.73
aim-100-3_4-yes1-3-00
SAT
62.8
aim-100-2_0-yes1-1-00
UNSAT
63.3
ii32e1-50
SAT
63.31
aim-50-3_4-yes1-2-50
SAT
63.38
aim-50-2_0-yes1-4-50
SAT
63.61
aim-100-2_0-yes1-4-50
UNSAT
63.76
aim-50-2_0-yes1-2-90
SAT
63.89
aim-100-6_0-yes1-2-00
UNSAT
64.22
aim-100-3_4-yes1-4-00
SAT
64.23
aim-50-2_0-yes1-3-50
UNSAT
64.42
ii32e1-00
SAT
64.44
aim-100-3_4-yes1-2-50
SAT
64.61
aim-50-3_4-yes1-4-90
SAT
64.69
aim-100-6_0-yes1-2-50
UNSAT
64.92
ii8b1-90
SAT
65.54
aim-100-6_0-yes1-4-50
UNSAT
65.79
aim-50-1_6-yes1-1-90
UNSAT
66.02
aim-50-1_6-yes1-2-50
SAT
66.04
aim-100-3_4-yes1-3-50
UNSAT
66.61
aim-50-2_0-yes1-1-90
UNSAT
66.68
jnh205-50
SAT
67.24
jnh220-50
SAT
67.61
aim-200-6_0-yes1-3-00
SAT
67.67
aim-200-1_6-yes1-2-00
UNSAT
67.92
jnh204-00
SAT
68.51
aim-100-3_4-yes1-2-90
UNSAT
68.78
jnh217-00
SAT
68.84
aim-50-1_6-yes1-1-50
SAT
68.97
jnh17-00
SAT
69.5
aim-100-3_4-yes1-2-00
UNSAT
69.66
aim-50-2_0-yes1-3-00
UNSAT
70.05
jnh1-50
SAT
70.07
aim-100-3_4-yes1-4-90
SAT
70.42
jnh218-50
SAT
71.79
aim-200-6_0-yes1-1-00
UNSAT
73.28
aim-200-3_4-yes1-1-90
SAT
74.07
jnh301-50
SAT
74.48
aim-100-6_0-yes1-3-90
UNSAT
74.49
aim-50-1_6-yes1-3-00
SAT
74.95
aim-200-6_0-yes1-1-90
SAT
75.19
ii32b1-00
SAT
75.22
aim-100-6_0-yes1-1-90
UNSAT
75.3
jnh207-00
UNSAT
76.45
aim-200-6_0-yes1-2-00
UNSAT
76.99
aim-100-6_0-yes1-4-90
SAT
77.21
jnh7-50
SAT
77.72
aim-100-6_0-yes1-1-00
SAT
78.2
jnh212-00
UNSAT
78.62
jnh17-50
SAT
79.25
ii8c1-90
SAT
79.29
aim-100-6_0-yes1-3-50
SAT
79.73
aim-100-3_4-yes1-1-00
UNSAT
79.79
aim-200-6_0-yes1-4-50
SAT
82.27
jnh207-50
UNSAT
82.49
jnh209-00
SAT
82.92
aim-200-6_0-yes1-4-00
UNSAT
83.71
ii32b1-50
SAT
86.89
jnh220-00
SAT
87.27
jnh1-00
SAT
87.61
jnh207-90
SAT
88.19
jnh301-90
UNSAT
90.69
jnh301-00
UNSAT
90.8
aim-200-2_0-yes1-1-90
UNSAT
95.19
ii32b2-50
SAT
97.94
jnh217-50
SAT
101.25
ii32c1-50
SAT
103.06
ii32c2-50
SAT
111.19
ii32e2-50
SAT
112.82
aim-200-6_0-yes1-3-50
UNSAT
113.88
ii32c2-00
SAT
114.49
ii32e2-00
SAT
115.59
jnh212-50
UNSAT
117.15
jnh205-00
UNSAT
117.74
aim-200-6_0-yes1-3-90
UNSAT
118.01
jnh218-90
SAT
122.1
aim-100-6_0-yes1-2-90
SAT
123.19
aim-200-6_0-yes1-2-50
UNSAT
123.65
aim-200-6_0-yes1-2-90
UNSAT
125.62
aim-200-6_0-yes1-1-50
UNSAT
133.93
aim-200-6_0-yes1-4-90
SAT
138.45
ii8a4-90
SAT
142.17
ii32c1-90
UNSAT
142.2
ii32b2-00
SAT
143.53
aim-200-3_4-yes1-2-50
SAT
155.79
jnh17-90
UNSAT
162.08
aim-200-3_4-yes1-3-90
UNSAT
162.31
ii32c3-00
SAT
186.43
aim-50-2_0-yes1-2-00
UNSAT
187.05
aim-50-2_0-yes1-2-50
UNSAT
208.26
jnh209-50
UNSAT
213.47
ii32c3-50
SAT
236.64
jnh210-90
UNSAT
255.28
ii32e1-90
UNSAT
265.87
jnh205-90
UNSAT
266.65
jnh204-50
SAT
268.42
jnh212-90
UNSAT
269.83
ii32c2-90
SAT
279.39
ii8a3-00
SAT
280.27
aim-50-2_0-yes1-4-00
UNSAT
280.63
ii32b1-90
SAT
298.49
aim-200-3_4-yes1-2-90
UNSAT
415.03
jnh209-90
UNSAT
424
par8-1-90
FAIL
600
ssa7552-160-90
FAIL
600
ssa7552-160-50
FAIL
600
aim-50-2_0-yes1-1-00
FAIL
600
ssa7552-160-00
FAIL
600
par8-1-50
FAIL
600
par8-1-00
FAIL
600
par16-5-c-90
FAIL
600
par16-4-50
FAIL
600
par16-5-c-00
FAIL
600
par16-4-c-90
FAIL
600
par16-4-c-50
FAIL
600
par16-4-c-00
FAIL
600
par16-4-90
FAIL
600
par16-5-c-50
FAIL
600
ssa7552-159-90
FAIL
600
par8-4-50
FAIL
600
par8-4-00
FAIL
600
par8-4-90
FAIL
600
par8-3-00
FAIL
600
ii8c1-00
FAIL
600
aim-200-1_6-yes1-4-00
FAIL
600
par8-5-00
FAIL
600
aim-200-1_6-yes1-3-90
FAIL
600
aim-200-1_6-yes1-3-50
FAIL
600
aim-200-1_6-yes1-3-00
FAIL
600
ssa7552-158-00
FAIL
600
ssa7552-158-50
FAIL
600
ssa7552-158-90
FAIL
600
par8-2-50
FAIL
600
ssa7552-159-50
FAIL
600
par8-3-50
FAIL
600
par16-4-00
FAIL
600
ii8a2-00
FAIL
600
ii8d1-90
FAIL
600
ii8e1-00
FAIL
600
ii8e1-50
FAIL
600
ii8e1-90
FAIL
600
ii32d1-50
FAIL
600
ii32d1-00
FAIL
600
ii32c3-90
FAIL
600
ii32e2-90
FAIL
600
jnh1-90
FAIL
600
ii8d1-50
FAIL
600
ii8d1-00
FAIL
600
ii8c1-50
FAIL
600
ii8a2-50
FAIL
600
ii8a2-90
FAIL
600
ii8a3-50
FAIL
600
ii8a3-90
FAIL
600
ii8a4-00
FAIL
600
ii8a4-50
FAIL
600
ii8b1-00
FAIL
600
ii8b1-50
FAIL
600
ii32d1-90
FAIL
600
jnh201-00
FAIL
600
jnh201-50
FAIL
600
jnh201-90
FAIL
600
par16-1-90
FAIL
600
par16-1-c-00
FAIL
600
par16-1-c-50
FAIL
600
par16-1-c-90
FAIL
600
par16-2-c-00
FAIL
600
par16-2-c-50
FAIL
600
par16-2-c-90
FAIL
600
par16-3-c-00
FAIL
600
par16-3-c-50
FAIL
600
par16-1-50
FAIL
600
par16-1-00
FAIL
600
f600-00
FAIL
600
jnh204-90
FAIL
600
jnh210-00
FAIL
600
ii32c1-00
FAIL
600
ii32b2-90
FAIL
600
jnh213-90
FAIL
600
jnh217-90
FAIL
600
f600-90
FAIL
600
jnh220-90
FAIL
600
f600-50
FAIL
600
par16-3-c-90
FAIL
600
Contact
|
Organization
|
Links
|
Citing QBFLIB