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
pQBF
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.
Instance
Result
Time
counter5_2
SAT
0.01
counter4_2
SAT
0.02
counter6_2
SAT
0.02
counter4_3
SAT
0.02
counter8_16
FAIL
0.04
counter7_128
FAIL
0.04
counter7_129
FAIL
0.05
counter7_32
FAIL
0.05
ring6_64
FAIL
0.05
counter8_128
FAIL
0.05
counter7_2
SAT
0.05
counter8_32
FAIL
0.05
counter8_64
FAIL
0.05
counter6_64
FAIL
0.06
counter6_32
FAIL
0.06
ring4_2
SAT
0.06
counter7_64
FAIL
0.06
ring6_65
FAIL
0.06
dme1_8
FAIL
0.06
counter6_65
FAIL
0.06
ring6_32
FAIL
0.06
dme1_7
FAIL
0.07
dmeSmall_8
FAIL
0.07
dme1_5
FAIL
0.08
dme1_6
FAIL
0.08
dme1_4
FAIL
0.08
counter8_2
SAT
0.17
semaphore_2
SAT
0.25
counter4_4
SAT
0.27
ring5_2
SAT
0.42
ring6_2
SAT
2.69
counter5_4
SAT
3.69
counter4_5
SAT
4.82
ring4_3
SAT
6.41
semaphore3_2
SAT
12.59
semaphore_3
SAT
33.49
counter6_4
SAT
67.36
counter4_6
SAT
75.42
semaphore4_2
SAT
314.88
semaphore5_2
FAIL
600
counter8_256
FAIL
600
counter7_4
FAIL
600
counter5_8
FAIL
600
counter8_257
FAIL
600
counter5_33
FAIL
600
counter5_32
FAIL
600
semaphore5_4
FAIL
600
semaphore6_3
FAIL
600
counter5_16
FAIL
600
counter7_8
FAIL
600
counter7_16
FAIL
600
counter6_8
FAIL
600
counter6_16
FAIL
600
dmeSmall_2
FAIL
600
dmeSmall_4
FAIL
600
semaphore6_4
FAIL
600
semaphore6_2
FAIL
600
semaphore5_3
FAIL
600
counter8_4
FAIL
600
ring4_5
FAIL
600
ring4_6
FAIL
600
ring4_7
FAIL
600
ring4_8
FAIL
600
dme1_3
FAIL
600
counter4_12
FAIL
600
counter4_13
FAIL
600
counter4_14
FAIL
600
counter4_15
FAIL
600
counter4_16
FAIL
600
counter4_7
FAIL
600
counter4_9
FAIL
600
counter4_10
FAIL
600
counter4_11
FAIL
600
ring4_4
FAIL
600
semaphore_5
FAIL
600
semaphore_4
FAIL
600
counter8_8
FAIL
600
ring5_32
FAIL
600
ring5_33
FAIL
600
ring5_4
FAIL
600
ring5_8
FAIL
600
ring5_16
FAIL
600
counter4_8
FAIL
600
ring6_4
FAIL
600
ring6_8
FAIL
600
ring6_16
FAIL
600
semaphore4_4
FAIL
600
semaphore4_3
FAIL
600
semaphore3_4
FAIL
600
semaphore3_3
FAIL
600
dme1_2
FAIL
600
Contact
|
Organization
|
Links
|
Citing QBFLIB