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
AQME-RIPPER
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.
Instance
Result
Time
counter4_4
SAT
0.74
counter4_2
SAT
0.74
counter4_3
SAT
0.75
counter6_2
SAT
0.75
ring6_2
SAT
0.76
counter7_2
SAT
0.76
ring4_2
SAT
0.77
counter4_5
SAT
0.77
semaphore_3
SAT
0.77
counter5_2
SAT
0.78
counter8_2
SAT
0.79
counter5_4
SAT
0.79
counter6_4
SAT
0.81
ring4_3
SAT
0.82
counter4_6
SAT
0.83
counter4_7
SAT
0.83
counter7_4
SAT
0.83
ring4_4
SAT
0.88
counter8_4
SAT
0.89
semaphore_2
SAT
0.89
counter4_8
SAT
0.9
counter4_9
SAT
0.96
semaphore_4
SAT
0.97
semaphore4_2
SAT
0.98
counter5_8
SAT
0.98
ring4_5
SAT
1.05
counter4_10
SAT
1.06
ring5_4
SAT
1.1
semaphore3_2
SAT
1.11
ring4_6
SAT
1.16
counter4_11
SAT
1.16
counter6_8
SAT
1.22
counter4_12
SAT
1.37
semaphore_5
UNSAT
1.4
semaphore3_3
SAT
1.5
counter7_8
SAT
1.52
ring4_7
UNSAT
1.52
counter4_13
SAT
1.6
counter4_14
SAT
1.74
ring4_8
UNSAT
1.83
counter4_15
SAT
2
counter8_8
SAT
2.04
ring5_2
SAT
2.06
counter4_16
UNSAT
2.92
semaphore5_2
SAT
2.99
ring6_4
SAT
3.44
semaphore3_4
UNSAT
4.25
ring5_8
UNSAT
4.39
counter5_16
SAT
4.48
semaphore4_3
SAT
5.3
counter6_16
SAT
7.57
counter7_16
SAT
13.37
counter8_16
SAT
20.65
semaphore6_2
SAT
20.81
semaphore5_3
SAT
21.7
semaphore6_3
SAT
23.62
ring5_16
UNSAT
25.46
counter5_33
UNSAT
25.88
counter5_32
UNSAT
26.07
counter6_32
SAT
28.44
ring6_8
SAT
31.64
dmeSmall_2
FAIL
40.79
ring5_33
FAIL
40.81
ring5_32
FAIL
40.82
dme1_2
FAIL
40.85
ring6_32
FAIL
40.88
dmeSmall_4
FAIL
40.92
counter7_32
FAIL
40.94
dme1_3
FAIL
41.01
counter8_32
FAIL
41.06
dme1_4
FAIL
41.11
dmeSmall_8
FAIL
41.16
dme1_5
FAIL
41.23
counter6_65
FAIL
41.23
counter6_64
FAIL
41.24
ring6_65
FAIL
41.3
ring6_64
FAIL
41.34
dme1_6
FAIL
41.38
dme1_7
FAIL
41.45
counter7_64
FAIL
41.49
dme1_8
FAIL
41.62
counter8_64
FAIL
41.86
counter7_129
FAIL
43.62
counter7_128
FAIL
43.71
counter8_128
FAIL
44.51
semaphore4_4
UNSAT
46.94
counter8_257
FAIL
54.42
counter8_256
FAIL
54.5
semaphore5_4
FAIL
60.75
semaphore6_4
FAIL
60.77
ring6_16
FAIL
60.8
Contact
|
Organization
|
Links
|
Citing QBFLIB