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
QUANTOR_2.15
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.
Instance
Result
Time
counter4_2
SAT
0
counter4_4
SAT
0.01
ring4_2
SAT
0.01
counter6_2
SAT
0.01
counter4_3
SAT
0.01
counter5_2
SAT
0.01
semaphore_2
SAT
0.01
counter7_2
SAT
0.02
counter8_2
SAT
0.02
ring5_2
SAT
0.02
ring6_2
SAT
0.02
semaphore3_2
SAT
0.02
counter5_4
SAT
0.06
ring4_3
SAT
0.15
semaphore_3
SAT
0.15
counter4_5
SAT
0.16
semaphore4_2
SAT
0.18
semaphore5_2
SAT
1.45
counter6_4
SAT
1.73
semaphore3_3
SAT
4.73
counter4_6
SAT
5.47
semaphore6_2
SAT
9.75
counter4_9
FAIL
12.54
ring6_4
FAIL
13.26
ring4_7
FAIL
13.61
counter5_8
FAIL
13.67
ring4_5
FAIL
13.71
counter4_10
FAIL
13.85
semaphore6_3
FAIL
13.88
counter4_13
FAIL
14.17
ring5_8
FAIL
14.18
semaphore3_4
FAIL
14.54
semaphore5_3
FAIL
14.72
counter4_11
FAIL
15
counter7_8
FAIL
15.19
counter4_8
FAIL
15.33
semaphore5_4
FAIL
15.37
semaphore6_4
FAIL
15.55
counter4_14
FAIL
15.61
ring4_6
FAIL
15.76
counter4_12
FAIL
15.88
ring6_8
FAIL
15.88
semaphore_5
FAIL
16.12
counter6_8
FAIL
16.39
ring4_8
FAIL
16.41
semaphore4_4
FAIL
16.43
counter4_15
FAIL
16.87
counter4_16
FAIL
16.89
semaphore_4
SAT
17.15
ring5_16
FAIL
17.27
counter8_8
FAIL
17.66
ring5_4
FAIL
18.2
dmeSmall_2
FAIL
18.37
dme1_2
FAIL
19.39
counter5_33
FAIL
19.66
counter5_16
FAIL
20.05
ring5_32
FAIL
20.07
counter6_16
FAIL
20.68
counter8_4
FAIL
20.84
ring6_16
FAIL
21.81
semaphore4_3
FAIL
23.89
counter5_32
FAIL
24.34
ring5_33
FAIL
25.36
ring6_32
FAIL
26.31
counter7_16
FAIL
27.07
counter6_32
FAIL
27.91
counter8_16
FAIL
27.93
counter7_32
FAIL
30.25
ring6_65
FAIL
36.55
ring6_64
FAIL
36.76
counter8_257
FAIL
37.7
counter8_256
FAIL
37.93
counter6_64
FAIL
39.37
counter6_65
FAIL
41.38
counter7_64
FAIL
41.7
counter8_128
FAIL
46.42
dmeSmall_4
FAIL
47.42
counter8_32
FAIL
47.96
counter7_4
SAT
49.78
dme1_3
FAIL
52.78
ring4_4
SAT
65.36
counter8_64
FAIL
66.74
counter4_7
FAIL
71.69
counter7_128
FAIL
79.78
dmeSmall_8
FAIL
81.61
counter7_129
FAIL
82.61
dme1_4
FAIL
115.38
dme1_5
FAIL
119.36
dme1_6
FAIL
152.6
dme1_7
FAIL
178.42
dme1_8
FAIL
204.43
Contact
|
Organization
|
Links
|
Citing QBFLIB