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
Sota solver results for family q2k3k3
QBFEVAL'10 - Random QBFs Track.
Instance
Solver
Result
Time
Qq2k3k3v100v100m2000s3
aqme-10
UNSAT
1200
Qq2k3k3v100v100m2000s7
aqme-10
UNSAT
15.53
Qq2k3k3v100v100m2000s8
aqme-10
UNSAT
66.74
Qq2k3k3v100v100m400s1
aqme-10
SAT
1.99
Qq2k3k3v100v100m400s10
aqme-10
SAT
1.98
Qq2k3k3v100v100m400s2
aqme-10
SAT
1.94
Qq2k3k3v100v100m400s3
aqme-10
SAT
2
Qq2k3k3v100v100m400s4
aqme-10
SAT
2.02
Qq2k3k3v100v100m400s5
aqme-10
SAT
1.94
Qq2k3k3v100v100m400s6
aqme-10
SAT
1.98
Qq2k3k3v100v100m400s7
aqme-10
SAT
1.94
Qq2k3k3v100v100m400s8
aqme-10
SAT
1.96
Qq2k3k3v100v100m400s9
aqme-10
SAT
2.03
Qq2k3k3v100v100m600s1
aqme-10
SAT
976.24
Qq2k3k3v100v100m600s10
aqme-10
SAT
685.2
Qq2k3k3v100v100m600s3
aqme-10
SAT
960.35
Qq2k3k3v100v100m600s6
aqme-10
SAT
798.53
Qq2k3k3v100v100m600s7
aqme-10
SAT
1153.88
Qq2k3k3v100v100m600s8
aqme-10
SAT
25.11
Qq2k3k3v100v100m600s9
aqme-10
SAT
916.95
Qq2k3k3v20v20m120s1
QuBE7
SAT
0.05
Qq2k3k3v20v20m120s10
depqbf
SAT
0.04
Qq2k3k3v20v20m120s2
QuBE7
SAT
0.04
Qq2k3k3v20v20m120s3
depqbf-pre
SAT
0.02
Qq2k3k3v20v20m120s4
QuBE7
SAT
0.05
Qq2k3k3v20v20m120s5
QuBE7
SAT
0.04
Qq2k3k3v20v20m120s6
QuBE7
SAT
0.04
Qq2k3k3v20v20m120s7
QuBE7-c
SAT
0.03
Qq2k3k3v20v20m120s8
QuBE7-m
SAT
0.06
Qq2k3k3v20v20m120s9
QuBE7-m
SAT
0.05
Qq2k3k3v20v20m160s1
QuBE7
SAT
0.24
Qq2k3k3v20v20m160s10
depqbf-pre
SAT
0.29
Qq2k3k3v20v20m160s2
QuBE7
SAT
0.44
Qq2k3k3v20v20m160s3
QuBE7
SAT
0.1
Qq2k3k3v20v20m160s4
QuBE7-c
SAT
0.28
Qq2k3k3v20v20m160s5
QuBE7
SAT
0.34
Qq2k3k3v20v20m160s6
depqbf-pre
SAT
0.49
Qq2k3k3v20v20m160s7
QuBE7
SAT
0.18
Qq2k3k3v20v20m160s8
QuBE7-m
SAT
0.24
Qq2k3k3v20v20m160s9
QuBE7-c
SAT
0.27
Qq2k3k3v20v20m200s1
depqbf-pre
SAT
1.68
Qq2k3k3v20v20m200s10
depqbf-pre
SAT
1.66
Qq2k3k3v20v20m200s2
depqbf-pre
SAT
1.71
Qq2k3k3v20v20m200s3
depqbf-pre
SAT
0.83
Qq2k3k3v20v20m200s4
depqbf-pre
SAT
1.5
Qq2k3k3v20v20m200s5
depqbf-pre
SAT
1.18
Qq2k3k3v20v20m200s6
aqme-10
SAT
1.92
Qq2k3k3v20v20m200s7
depqbf-pre
SAT
1.17
Qq2k3k3v20v20m200s8
depqbf-pre
SAT
1.02
Qq2k3k3v20v20m200s9
depqbf-pre
SAT
1.56
Qq2k3k3v20v20m240s1
aqme-10
SAT
1.97
Qq2k3k3v20v20m240s10
aqme-10
SAT
1.88
Qq2k3k3v20v20m240s2
aqme-10
SAT
1.9
Qq2k3k3v20v20m240s3
aqme-10
SAT
1.9
Qq2k3k3v20v20m240s4
aqme-10
SAT
1.96
Qq2k3k3v20v20m240s5
aqme-10
SAT
1.96
Qq2k3k3v20v20m240s6
aqme-10
SAT
1.88
Qq2k3k3v20v20m240s7
aqme-10
SAT
1.89
Qq2k3k3v20v20m240s8
aqme-10
SAT
1.98
Qq2k3k3v20v20m240s9
aqme-10
SAT
2
Qq2k3k3v20v20m280s1
aqme-10
SAT
2.06
Qq2k3k3v20v20m280s10
aqme-10
SAT
2.15
Qq2k3k3v20v20m280s2
aqme-10
SAT
2.22
Qq2k3k3v20v20m280s3
aqme-10
SAT
1.99
Qq2k3k3v20v20m280s4
aqme-10
SAT
2.23
Qq2k3k3v20v20m280s5
aqme-10
SAT
2.06
Qq2k3k3v20v20m280s6
aqme-10
SAT
2.2
Qq2k3k3v20v20m280s7
aqme-10
SAT
2.02
Qq2k3k3v20v20m280s8
aqme-10
SAT
2.17
Qq2k3k3v20v20m280s9
aqme-10
SAT
2.18
Qq2k3k3v20v20m320s1
aqme-10
SAT
2.44
Qq2k3k3v20v20m320s10
aqme-10
SAT
2.5
Qq2k3k3v20v20m320s2
struqs-10
UNSAT
1.18
Qq2k3k3v20v20m320s3
aqme-10
SAT
2.28
Qq2k3k3v20v20m320s4
depqbf-pre
UNSAT
1.62
Qq2k3k3v20v20m320s5
aqme-10
SAT
2.46
Qq2k3k3v20v20m320s6
aqme-10
UNSAT
2.1
Qq2k3k3v20v20m320s7
aqme-10
UNSAT
2.32
Qq2k3k3v20v20m320s8
aqme-10
UNSAT
2.5
Qq2k3k3v20v20m320s9
aqme-10
UNSAT
1.93
Qq2k3k3v20v20m360s1
QuBE7-c
UNSAT
0.18
Qq2k3k3v20v20m360s10
QuBE7
UNSAT
1.84
Qq2k3k3v20v20m360s2
QuBE7
UNSAT
0.24
Qq2k3k3v20v20m360s3
QuBE7-c
UNSAT
0.05
Qq2k3k3v20v20m360s4
depqbf
UNSAT
0.14
Qq2k3k3v20v20m360s5
depqbf-pre
UNSAT
0.29
Qq2k3k3v20v20m360s6
QuBE7
UNSAT
0.06
Qq2k3k3v20v20m360s7
aqme-10
UNSAT
2.27
Qq2k3k3v20v20m360s8
aqme-10
UNSAT
2.07
Qq2k3k3v20v20m360s9
QuBE7
UNSAT
0.77
Qq2k3k3v20v20m400s1
QuBE7-m
UNSAT
0.08
Qq2k3k3v20v20m400s10
QuBE7-m
UNSAT
0.07
Qq2k3k3v20v20m400s2
depqbf-pre
UNSAT
0.16
Qq2k3k3v20v20m400s3
QuBE7-m
UNSAT
0.06
Qq2k3k3v20v20m400s4
QuBE7-m
UNSAT
0.04
Qq2k3k3v20v20m400s5
depqbf-pre
UNSAT
0.02
Qq2k3k3v20v20m400s6
QuBE7
UNSAT
0.04
Qq2k3k3v20v20m400s7
depqbf-pre
UNSAT
0.29
Qq2k3k3v20v20m400s8
QuBE7
UNSAT
0.25
Qq2k3k3v20v20m400s9
QuBE7-m
UNSAT
0.21
Qq2k3k3v20v20m80s1
struqs-10
SAT
0
Qq2k3k3v20v20m80s10
depqbf-pre
SAT
0
Qq2k3k3v20v20m80s2
struqs-10
SAT
0.01
Qq2k3k3v20v20m80s3
struqs-10
SAT
0.01
Qq2k3k3v20v20m80s4
depqbf-pre
SAT
0
Qq2k3k3v20v20m80s5
depqbf
SAT
0.01
Qq2k3k3v20v20m80s6
depqbf
SAT
0.01
Qq2k3k3v20v20m80s7
depqbf
SAT
0
Qq2k3k3v20v20m80s8
depqbf-pre
SAT
0.01
Qq2k3k3v20v20m80s9
depqbf
SAT
0
Qq2k3k3v50v50m1000s1
aqme-10
UNSAT
2.93
Qq2k3k3v50v50m1000s10
aqme-10
UNSAT
2.28
Qq2k3k3v50v50m1000s2
aqme-10
UNSAT
4.03
Qq2k3k3v50v50m1000s3
aqme-10
UNSAT
5.92
Qq2k3k3v50v50m1000s4
aqme-10
UNSAT
2.32
Qq2k3k3v50v50m1000s5
aqme-10
UNSAT
2.64
Qq2k3k3v50v50m1000s6
aqme-10
UNSAT
267.48
Qq2k3k3v50v50m1000s7
aqme-10
UNSAT
2.52
Qq2k3k3v50v50m1000s8
aqme-10
UNSAT
2.79
Qq2k3k3v50v50m1000s9
aqme-10
UNSAT
9.13
Qq2k3k3v50v50m200s1
aqme-10
SAT
1.86
Qq2k3k3v50v50m200s10
QuBE7-m
SAT
0.61
Qq2k3k3v50v50m200s2
aqme-10
SAT
1.85
Qq2k3k3v50v50m200s3
QuBE7
SAT
1.22
Qq2k3k3v50v50m200s4
aqme-10
SAT
1.83
Qq2k3k3v50v50m200s5
aqme-10
SAT
1.87
Qq2k3k3v50v50m200s6
aqme-10
SAT
1.88
Qq2k3k3v50v50m200s7
QuBE7
SAT
0.35
Qq2k3k3v50v50m200s8
QuBE7-m
SAT
1.14
Qq2k3k3v50v50m200s9
QuBE7
SAT
1.07
Qq2k3k3v50v50m300s1
aqme-10
SAT
2
Qq2k3k3v50v50m300s10
aqme-10
SAT
1.9
Qq2k3k3v50v50m300s2
aqme-10
SAT
2.1
Qq2k3k3v50v50m300s3
aqme-10
SAT
2.02
Qq2k3k3v50v50m300s4
aqme-10
SAT
2.24
Qq2k3k3v50v50m300s5
aqme-10
SAT
2.37
Qq2k3k3v50v50m300s6
aqme-10
SAT
2.1
Qq2k3k3v50v50m300s7
aqme-10
SAT
1.92
Qq2k3k3v50v50m300s8
aqme-10
SAT
2.24
Qq2k3k3v50v50m300s9
aqme-10
SAT
2.26
Qq2k3k3v50v50m400s1
aqme-10
SAT
16.27
Qq2k3k3v50v50m400s10
aqme-10
SAT
17.78
Qq2k3k3v50v50m400s2
aqme-10
SAT
23.65
Qq2k3k3v50v50m400s3
aqme-10
SAT
10.2
Qq2k3k3v50v50m400s4
aqme-10
SAT
24.53
Qq2k3k3v50v50m400s5
aqme-10
SAT
70.45
Qq2k3k3v50v50m400s6
aqme-10
SAT
35.71
Qq2k3k3v50v50m400s7
aqme-10
SAT
24.8
Qq2k3k3v50v50m400s8
aqme-10
SAT
49.22
Qq2k3k3v50v50m400s9
aqme-10
SAT
36.73
Qq2k3k3v50v50m500s3
aqme-10
SAT
1103.17
Qq2k3k3v50v50m900s1
aqme-10
UNSAT
1167.87
Qq2k3k3v50v50m900s10
aqme-10
UNSAT
12.65
Qq2k3k3v50v50m900s2
aqme-10
UNSAT
736.21
Qq2k3k3v50v50m900s3
aqme-10
UNSAT
73.15
Qq2k3k3v50v50m900s4
aqme-10
UNSAT
717.03
Qq2k3k3v50v50m900s5
aqme-10
UNSAT
72.97
Qq2k3k3v50v50m900s6
aqme-10
UNSAT
6.65
Qq2k3k3v50v50m900s7
aqme-10
UNSAT
3.02
Qq2k3k3v50v50m900s8
aqme-10
UNSAT
83.87
Qq2k3k3v50v50m900s9
aqme-10
UNSAT
772.57
Contact
|
Organization
|
Links
|
Citing QBFLIB