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
Unique instances for aqme-10
QBFEVAL'10 - Random QBFs Track.
Instance
Time
Result
Qq2k3k3v50v50m1000s6
267.48
UNSAT
Qq2k3k3v100v100m400s4
2.02
SAT
Qq2k3k3v100v100m400s9
2.03
SAT
Qq2k3k3v50v50m300s8
2.24
SAT
Qq2k3k3v50v50m900s10
12.65
UNSAT
Qq2k3k3v100v100m400s6
1.98
SAT
Qq2k3k3v50v50m400s3
10.2
SAT
Qq2k3k3v50v50m400s2
23.65
SAT
Qq2k3k3v50v50m400s5
70.45
SAT
Qq2k3k3v100v100m400s8
1.96
SAT
Qq2k3k3v100v100m600s3
960.35
SAT
Qq2k3k3v50v50m1000s8
2.79
UNSAT
Qq2k3k3v100v100m400s1
1.99
SAT
Qq2k3k3v50v50m400s8
49.22
SAT
Qq2k3k3v50v50m1000s1
2.93
UNSAT
Qq2k3k3v100v100m2000s8
66.74
UNSAT
Qq2k3k3v100v100m400s10
1.98
SAT
Qq2k3k3v50v50m900s2
736.21
UNSAT
Qq2k3k3v100v100m400s3
2
SAT
Qq2k3k3v50v50m400s1
16.27
SAT
Qq2k3k3v50v50m400s10
17.78
SAT
Qq2k3k3v100v100m400s7
1.94
SAT
Qq2k3k3v100v100m600s1
976.24
SAT
Qq2k3k3v50v50m1000s2
4.03
UNSAT
Qq2k3k3v50v50m1000s3
5.92
UNSAT
Qq2k3k3v100v100m600s7
1153.88
SAT
Qq2k3k3v50v50m900s7
3.02
UNSAT
Qq2k3k3v50v50m900s4
717.03
UNSAT
Qq2k3k3v50v50m400s4
24.53
SAT
Qq2k3k3v50v50m300s6
2.1
SAT
Qq2k3k3v50v50m900s9
772.57
UNSAT
Qq2k3k3v50v50m1000s10
2.28
UNSAT
Qq2k3k3v50v50m300s5
2.37
SAT
Qq2k3k3v100v100m600s8
25.11
SAT
Qq2k3k3v50v50m1000s4
2.32
UNSAT
Qq2k3k3v50v50m300s4
2.24
SAT
Qq2k3k3v50v50m300s1
2
SAT
Qq2k3k3v50v50m300s7
1.92
SAT
Qq2k3k3v50v50m1000s7
2.52
UNSAT
Qq2k3k3v50v50m900s3
73.15
UNSAT
Qq2k3k3v100v100m400s2
1.94
SAT
Qq2k3k3v50v50m300s2
2.1
SAT
Qq2k3k3v100v100m400s5
1.94
SAT
robots_1_5_2_40.8
646.61
UNSAT
Qq2k3k3v50v50m400s7
24.8
SAT
Qq2k3k3v50v50m300s10
1.9
SAT
Qq2k3k3v50v50m1000s5
2.64
UNSAT
Qq2k3k3v100v100m600s9
916.95
SAT
Qq2k3k3v50v50m300s3
2.02
SAT
Qq2k3k3v50v50m1000s9
9.13
UNSAT
Qq2k3k3v50v50m900s1
1167.87
UNSAT
Qq2k3k3v100v100m600s6
798.53
SAT
Qq2k3k3v100v100m2000s3
1200
UNSAT
Qq2k3k3v50v50m900s6
6.65
UNSAT
Qq2k3k3v100v100m600s10
685.2
SAT
Qq2k3k3v50v50m400s9
36.73
SAT
Qq2k3k3v50v50m500s3
1103.17
SAT
Qq2k3k3v50v50m900s8
83.87
UNSAT
Qq2k3k3v50v50m900s5
72.97
UNSAT
Qq2k3k3v100v100m2000s7
15.53
UNSAT
Qq2k3k3v50v50m300s9
2.26
SAT
Qq2k3k3v50v50m400s6
35.71
SAT
Contact
|
Organization
|
Links
|
Citing QBFLIB