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 solved by
struqs-10
QBFEVAL'10 - Small Hard Track.
Instance
Result
Time
cmu.dme1.B-f2
SAT
0.43
cmu.dme2.B-f2
SAT
0.97
nusmv.syncarb10^2.B-f2
SAT
3.1
nusmv.syncarb10^2.B-f3
SAT
249.14
test3_quant_squaring4
FAIL
3296.6
test1_quant_squaring2
FAIL
4481.59
C880.blif_0.10_1.00_0_0_out_exact
FAIL
4542.93
test1_quant_squaring3
FAIL
5917.68
C880.blif_0.10_0.20_0_1_out_exact
FAIL
5951.06
C880.blif_0.10_0.20_0_0_out_exact
FAIL
5961.92
test1_quant3
FAIL
7789.94
test4_quant4
FAIL
7861.45
test4_quant_squaring4
FAIL
9359.21
test4_quant_squaring2
FAIL
9580.42
C499.blif_0.10_0.20_0_1_out_exact
FAIL
9587.65
test4_quant2
FAIL
9617.59
C499.blif_0.10_0.20_0_0_out_exact
FAIL
9782.09
test3_quant4
FAIL
12091.4
C880.blif_0.10_0.20_0_0_inp_exact
FAIL
12576.9
C880.blif_0.10_0.20_0_1_inp_exact
FAIL
12594.8
test1_quant2
FAIL
13236
counter_16
FAIL
14884.3
k5_2_2
FAIL
15367.4
C880.blif_0.10_1.00_0_0_inp_exact
FAIL
15528.1
counter_r_16
FAIL
16909.6
eijk.S713.S-f2
FAIL
18089.7
ken.oop^1.C-d2
FAIL
21117
eijk.S641.S-f2
FAIL
22107.8
eijk.S420.S-f2
FAIL
22727.7
nusmv.syncarb10^2.B-f4
SAT
26003.7
counter_e_16
FAIL
26195.1
eijk.S298.S-f4
FAIL
32983
eijk.S386.S-f2
FAIL
35454.2
C499.blif_0.10_0.20_0_0_inp_exact
FAIL
36423.4
eijk.S344.S-f3
FAIL
37934.8
cmu.dme1.B-f3
FAIL
40507.7
stmt38_943_942
FAIL
43200
stmt1_629_630
FAIL
43200
ii8a3-90
FAIL
43200
ii32c1-00
FAIL
43200
sortnetsort9.v.stepl.006
FAIL
43200
k_branch_n-7
FAIL
43200
sortnetsort10.v.stepl.007
FAIL
43200
sortnetsort10.v.stepl.006
FAIL
43200
uclid-pipe2
FAIL
43200
uclid-pipe3a
FAIL
43200
counter_re_16
FAIL
43200
eijk.S349.S-f3
FAIL
43200
k_branch_n-6
FAIL
43200
sortnetsort7.AE.stepl.005
FAIL
43200
Contact
|
Organization
|
Links
|
Citing QBFLIB