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
qmaiga results solving families - 2010
Family
# Total
# Sat
# Unsat
Time
Abduction
172
19
16
73510.59
Adder
110
9
1
15396.74
blackbox-01X-QBF
200
33
111246
blackbox_design
13
1
5528.5
Blocks
44
1
3
17954.68
BMC
85
7
10
11602.72
C432
39
1
3
5.91
C499
21
2
30.35
C5315
77
1
2
54061.98
C6288
43
51600
C880
10
1
10.96
Chain
12
1
0.24
circuits
11
3
246.31
comp
8
2
0.37
conformant_planning
92
4
4
50376.97
Connect4
34
7
19179.43
Counter
17
3
4159.86
Debug
30
35849.01
evader-pursuer-4x4-logarithmic
25
1
24255.44
evader-pursuer-4x4-standard
65
1
66325.7
evader-pursuer-6x6-logarithmic
34
1
34359.51
evader-pursuer-6x6-standard
16
19200
evader-pursuer-8x8-logarithmic
59
2
46636.19
FPGA_PLB_FIT_FAST
16
1
1
295.98
FPGA_PLB_FIT_SLOW
10
1
364.7
Impl
8
1
0.03
jmc_quant
13
1
1
6.94
jmc_quant_squaring
13
3908.57
k_branch_n
32
4
10398.07
k_branch_p
61
7
6475.13
k_d4_n
55
10
88.15
k_d4_p
28
5
9.12
k_dum_n
11
2
3.15
k_dum_p
25
4
5.61
k_grz_n
22
4
51.85
k_grz_p
21
3
27.92
k_lin_n
22
5
2944.02
k_lin_p
25
4
2.18
k_path_n
12
3
5.65
k_path_p
29
4
10.35
k_ph_n
30
6
364.8
k_ph_p
25
2
22852.96
k_poly_n
26
4
10.01
k_poly_p
11
2
4.51
k_t4p_n
26
4
31.4
k_t4p_p
41
5
23.95
Logn
10
1
96.73
mqm
483
26
21
424385.42
s1196
9
10800
s1269
8
9600
s27
11
1
0.26
s298
16
4
431.28
s3330
21
14649.19
s386
8
1
8722
s499
13
2
1983.2
s510
14
2
11144.06
s713
13
1
9527.96
s820
8
9600
Sorting_networks
22
2
1
18908.24
SzymanskiP
22
1
17213.56
term1
30
1
2
7.03
tipdiam
36
10
2
10821.53
tipfixpoint
74
7
9
26400.33
Toilet
21
3
1
37.34
ToiletA
17
5
5
40.99
ToiletC
39
15
8
5.19
ToiletG
27
4
0.24
VonNeumann
15
2
309.19
z4ml
8
1
0.1
Contact
|
Organization
|
Links
|
Citing QBFLIB