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
qSS
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.
Instance
Result
Time
aim-50-2_0-yes1-3-90
UNSAT
0.05
aim-50-2_0-yes1-2-90
SAT
0.06
aim-50-2_0-yes1-4-90
SAT
0.06
aim-50-2_0-yes1-1-90
UNSAT
0.07
aim-50-1_6-yes1-2-50
SAT
0.07
aim-50-1_6-yes1-3-90
SAT
0.08
aim-50-1_6-yes1-1-50
SAT
0.08
aim-50-1_6-yes1-3-00
SAT
0.1
aim-50-1_6-yes1-2-00
SAT
0.11
aim-50-1_6-yes1-4-00
SAT
0.12
aim-50-1_6-yes1-1-00
SAT
0.12
aim-50-2_0-yes1-4-50
SAT
0.12
aim-50-3_4-yes1-1-50
UNSAT
0.13
aim-50-3_4-yes1-1-90
UNSAT
0.14
aim-100-1_6-yes1-2-90
UNSAT
0.14
aim-50-3_4-yes1-2-90
SAT
0.14
aim-50-1_6-yes1-4-50
SAT
0.14
aim-50-3_4-yes1-3-90
UNSAT
0.16
aim-100-1_6-yes1-2-50
SAT
0.16
aim-50-3_4-yes1-3-50
SAT
0.16
aim-50-1_6-yes1-4-90
UNSAT
0.17
aim-100-1_6-yes1-2-00
SAT
0.17
aim-50-3_4-yes1-4-90
SAT
0.17
aim-100-2_0-yes1-4-90
SAT
0.17
aim-50-3_4-yes1-2-00
SAT
0.17
aim-50-1_6-yes1-1-90
UNSAT
0.18
aim-50-3_4-yes1-2-50
SAT
0.18
aim-50-3_4-yes1-4-50
UNSAT
0.18
aim-50-1_6-yes1-3-50
UNSAT
0.18
aim-100-2_0-yes1-3-90
UNSAT
0.19
aim-50-2_0-yes1-1-50
UNSAT
0.19
aim-50-1_6-yes1-2-90
UNSAT
0.19
aim-50-3_4-yes1-1-00
UNSAT
0.2
aim-50-3_4-yes1-3-00
SAT
0.2
aim-50-2_0-yes1-4-00
UNSAT
0.2
aim-100-1_6-yes1-1-50
SAT
0.2
aim-50-2_0-yes1-3-50
UNSAT
0.2
aim-100-3_4-yes1-1-90
SAT
0.21
aim-100-2_0-yes1-1-90
UNSAT
0.21
aim-100-2_0-yes1-4-50
UNSAT
0.21
aim-100-1_6-yes1-3-90
SAT
0.21
aim-50-2_0-yes1-2-00
UNSAT
0.21
aim-100-2_0-yes1-2-90
UNSAT
0.22
aim-50-2_0-yes1-2-50
UNSAT
0.22
aim-50-2_0-yes1-1-00
UNSAT
0.22
aim-50-6_0-yes1-4-90
SAT
0.24
aim-50-2_0-yes1-3-00
UNSAT
0.24
aim-50-6_0-yes1-1-90
SAT
0.24
aim-100-2_0-yes1-3-50
UNSAT
0.24
aim-50-6_0-yes1-2-90
UNSAT
0.25
aim-100-2_0-yes1-2-50
SAT
0.26
aim-50-6_0-yes1-1-50
UNSAT
0.26
aim-100-2_0-yes1-1-50
UNSAT
0.26
aim-50-6_0-yes1-3-50
UNSAT
0.26
aim-50-6_0-yes1-3-00
UNSAT
0.27
par8-2-c-90
UNSAT
0.27
aim-50-6_0-yes1-3-90
SAT
0.3
aim-100-1_6-yes1-1-00
SAT
0.3
par8-1-c-90
UNSAT
0.32
par8-4-c-90
SAT
0.32
aim-50-6_0-yes1-4-00
SAT
0.32
aim-50-3_4-yes1-4-00
UNSAT
0.33
aim-50-6_0-yes1-1-00
UNSAT
0.34
aim-50-6_0-yes1-2-50
UNSAT
0.34
par8-2-c-50
UNSAT
0.36
aim-100-2_0-yes1-4-00
UNSAT
0.38
aim-100-2_0-yes1-3-00
UNSAT
0.39
aim-50-6_0-yes1-4-50
UNSAT
0.4
aim-100-3_4-yes1-4-90
SAT
0.4
aim-50-6_0-yes1-2-00
UNSAT
0.4
ssa7552-159-00
SAT
0.41
par8-4-c-50
SAT
0.42
aim-100-2_0-yes1-2-00
SAT
0.42
aim-100-3_4-yes1-2-50
SAT
0.42
aim-100-3_4-yes1-3-90
UNSAT
0.45
aim-100-2_0-yes1-1-00
UNSAT
0.46
par8-3-c-90
UNSAT
0.46
aim-100-3_4-yes1-2-90
UNSAT
0.46
par8-5-c-90
UNSAT
0.48
aim-100-1_6-yes1-4-00
UNSAT
0.52
par8-1-c-00
UNSAT
0.54
par8-3-c-00
SAT
0.55
aim-100-1_6-yes1-1-90
UNSAT
0.55
aim-100-1_6-yes1-4-90
UNSAT
0.56
par8-3-c-50
UNSAT
0.56
par8-4-c-00
SAT
0.57
aim-100-1_6-yes1-4-50
UNSAT
0.58
par8-1-c-50
UNSAT
0.6
aim-100-3_4-yes1-3-50
UNSAT
0.62
aim-100-1_6-yes1-3-00
UNSAT
0.63
par8-2-c-00
UNSAT
0.64
aim-100-1_6-yes1-3-50
UNSAT
0.67
aim-100-3_4-yes1-3-00
SAT
0.69
aim-100-6_0-yes1-4-90
SAT
0.75
aim-100-3_4-yes1-1-00
UNSAT
0.77
aim-100-3_4-yes1-1-50
UNSAT
0.8
aim-100-3_4-yes1-2-00
UNSAT
0.81
aim-100-3_4-yes1-4-50
UNSAT
0.82
par8-5-c-50
UNSAT
0.83
aim-200-2_0-yes1-4-90
SAT
0.85
par8-5-c-00
UNSAT
0.92
aim-100-6_0-yes1-3-50
SAT
0.98
aim-100-3_4-yes1-4-00
SAT
1.04
aim-200-2_0-yes1-1-90
UNSAT
1.04
aim-200-2_0-yes1-3-90
SAT
1.06
aim-100-6_0-yes1-2-90
SAT
1.09
ii8a1-90
SAT
1.2
aim-100-6_0-yes1-1-90
UNSAT
1.22
aim-200-2_0-yes1-4-50
SAT
1.34
aim-100-6_0-yes1-3-90
UNSAT
1.37
aim-200-2_0-yes1-1-50
UNSAT
1.44
aim-200-2_0-yes1-2-90
UNSAT
1.46
aim-100-6_0-yes1-4-50
UNSAT
1.53
aim-100-6_0-yes1-2-50
UNSAT
1.53
aim-200-2_0-yes1-3-50
UNSAT
1.6
aim-200-2_0-yes1-2-50
UNSAT
1.72
aim-100-6_0-yes1-2-00
UNSAT
1.76
aim-100-6_0-yes1-1-50
SAT
1.79
aim-100-6_0-yes1-4-00
UNSAT
1.9
aim-200-3_4-yes1-4-90
SAT
1.94
aim-200-3_4-yes1-1-90
SAT
2.06
aim-200-2_0-yes1-1-00
SAT
2.14
aim-200-2_0-yes1-3-00
UNSAT
2.18
aim-100-6_0-yes1-1-00
SAT
2.22
aim-100-6_0-yes1-3-00
SAT
2.22
aim-200-2_0-yes1-4-00
SAT
2.58
aim-200-2_0-yes1-2-00
UNSAT
2.81
aim-200-3_4-yes1-3-90
UNSAT
3.23
ii8a1-50
SAT
3.55
aim-200-3_4-yes1-2-90
UNSAT
3.72
aim-200-3_4-yes1-4-50
SAT
4.01
aim-200-3_4-yes1-3-50
SAT
4.36
aim-200-3_4-yes1-1-50
SAT
4.62
aim-200-3_4-yes1-2-50
SAT
5.18
aim-200-3_4-yes1-3-00
SAT
6.85
aim-200-3_4-yes1-4-00
SAT
6.92
jnh217-50
SAT
7.25
aim-200-3_4-yes1-2-00
UNSAT
7.44
jnh210-50
SAT
7.8
aim-200-6_0-yes1-4-90
SAT
8.03
jnh218-00
SAT
8.29
jnh220-50
SAT
8.69
aim-200-6_0-yes1-1-50
UNSAT
8.75
aim-200-3_4-yes1-1-00
UNSAT
9.08
jnh1-00
SAT
9.18
aim-200-6_0-yes1-4-50
SAT
9.24
aim-200-6_0-yes1-3-50
UNSAT
9.35
jnh12-50
UNSAT
9.42
aim-200-6_0-yes1-2-50
UNSAT
10.63
jnh301-50
SAT
11.01
jnh7-00
SAT
11.02
aim-200-6_0-yes1-4-00
UNSAT
11.08
aim-200-6_0-yes1-1-00
UNSAT
11.14
jnh213-50
SAT
11.27
jnh1-50
SAT
11.38
jnh205-90
UNSAT
11.51
jnh204-00
SAT
11.95
jnh205-50
SAT
12.38
jnh218-50
SAT
12.58
aim-200-6_0-yes1-3-00
SAT
12.62
aim-200-6_0-yes1-2-00
UNSAT
13.04
jnh213-00
SAT
13.88
jnh207-90
SAT
15.41
jnh301-90
UNSAT
15.7
jnh209-00
SAT
15.9
jnh12-00
UNSAT
16.21
jnh17-00
SAT
16.63
jnh220-00
SAT
18.82
jnh217-00
SAT
19.02
jnh212-90
UNSAT
20.32
jnh207-50
UNSAT
21.37
jnh204-90
SAT
26.48
jnh212-00
UNSAT
27.68
jnh218-90
SAT
27.73
aim-200-6_0-yes1-2-90
UNSAT
28.95
aim-200-1_6-yes1-4-90
SAT
29.55
aim-200-6_0-yes1-1-90
SAT
30.87
aim-200-6_0-yes1-3-90
UNSAT
31.32
jnh207-00
UNSAT
32.5
aim-200-1_6-yes1-3-00
UNSAT
32.77
aim-200-1_6-yes1-3-90
UNSAT
33.33
aim-200-1_6-yes1-1-50
SAT
33.4
aim-200-1_6-yes1-1-90
SAT
34.77
jnh220-90
SAT
35.13
aim-200-1_6-yes1-2-90
UNSAT
35.61
aim-200-1_6-yes1-2-50
SAT
37.08
jnh213-90
SAT
37.38
aim-200-1_6-yes1-4-50
SAT
37.56
jnh12-90
SAT
38.31
ii32d1-00
FAIL
38.65
jnh212-50
UNSAT
39.51
jnh17-50
SAT
40.71
ii8e1-00
FAIL
40.82
ii8a4-50
FAIL
40.96
ii32c3-50
FAIL
41.25
ii8c1-00
FAIL
41.85
par16-1-c-90
FAIL
42.39
par16-4-c-50
FAIL
43.34
ii32c3-00
FAIL
43.47
aim-200-1_6-yes1-1-00
SAT
43.77
ii32b2-00
FAIL
43.92
par16-4-c-90
FAIL
44.18
par16-2-c-90
FAIL
44.58
aim-200-1_6-yes1-2-00
UNSAT
44.99
ii32c3-90
FAIL
45.23
ii8d1-00
FAIL
45.34
ii8a4-90
FAIL
45.45
ii8c1-90
FAIL
45.53
ii32e2-90
FAIL
46.18
ii8d1-90
FAIL
46.24
ii8c1-50
FAIL
46.38
par16-5-c-50
FAIL
46.58
ii32b2-50
FAIL
46.62
aim-200-1_6-yes1-4-00
UNSAT
46.76
par16-3-c-50
FAIL
46.9
par16-5-c-90
FAIL
46.91
ii32d1-50
FAIL
47.37
ii32e2-50
FAIL
47.37
par16-1-c-50
FAIL
47.5
ii8b1-00
FAIL
47.66
ii8b1-90
FAIL
48.07
ii32b2-90
FAIL
48.5
ii8a4-00
FAIL
49.2
ii8e1-90
FAIL
49.25
jnh217-90
SAT
49.98
ii32d1-90
FAIL
50.17
ii32c1-90
FAIL
50.28
jnh7-90
SAT
50.58
jnh204-50
SAT
52.57
ii8a3-90
FAIL
52.71
ii8d1-50
FAIL
52.96
par16-3-c-90
FAIL
53.66
aim-200-1_6-yes1-3-50
UNSAT
54.44
par8-5-50
FAIL
55.34
par8-3-50
FAIL
55.37
par16-2-c-50
FAIL
55.78
ii8a3-00
FAIL
56.02
ii8e1-50
FAIL
57.27
ii8b1-50
FAIL
57.72
ii32c2-50
FAIL
58.45
ii32e2-00
FAIL
61.21
ii32c1-00
FAIL
61.68
jnh210-90
UNSAT
62.76
ii32c2-00
FAIL
64.75
jnh201-00
SAT
66.22
ii8a3-50
FAIL
68.34
jnh201-50
SAT
68.67
jnh209-90
UNSAT
71.24
ii8a2-50
FAIL
75.31
ssa7552-158-90
FAIL
82.55
par8-5-00
FAIL
84.78
jnh1-90
UNSAT
91.3
par8-1-00
FAIL
98.21
par8-4-50
FAIL
100.71
ii32b1-00
FAIL
102.69
f600-00
FAIL
103.08
ii32c2-90
FAIL
106.65
par8-1-50
FAIL
108.39
par8-2-00
FAIL
108.47
par8-2-50
FAIL
116.5
f600-50
FAIL
121.22
ssa7552-159-90
FAIL
125.1
ii32e1-00
FAIL
126.1
ssa7552-160-90
FAIL
127.29
ii32b1-90
FAIL
134.91
par8-4-00
FAIL
139.05
par8-1-90
FAIL
139.13
jnh17-90
UNSAT
141.72
ii32c1-50
FAIL
142.51
par16-4-90
FAIL
144.25
par8-4-90
FAIL
150
jnh7-50
SAT
153.34
par8-3-00
FAIL
155.15
par16-4-50
FAIL
159.52
par16-1-90
FAIL
162.77
ii32b1-50
FAIL
163.31
ii8a2-90
FAIL
168.01
ii8a2-00
FAIL
168.43
jnh205-00
UNSAT
177.95
par16-1-50
FAIL
184.74
ii32e1-50
FAIL
199.39
jnh209-50
UNSAT
212.93
par16-4-c-00
SAT
233.75
par16-1-c-00
SAT
279.34
jnh301-00
FAIL
291.35
par8-5-90
FAIL
323.25
par16-5-c-00
SAT
358.2
par16-3-c-00
UNSAT
587.54
ssa7552-158-50
FAIL
600
ssa7552-160-50
FAIL
600
ssa7552-158-00
FAIL
600
ssa7552-160-00
FAIL
600
ssa7552-159-50
FAIL
600
par8-3-90
FAIL
600
jnh210-00
FAIL
600
f600-90
FAIL
600
par8-2-90
FAIL
600
par16-1-00
FAIL
600
par16-4-00
FAIL
600
par16-2-c-00
FAIL
600
ii32e1-90
FAIL
600
ii8a1-00
FAIL
600
jnh201-90
FAIL
600
Contact
|
Organization
|
Links
|
Citing QBFLIB