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 of family tipfixpoint solved by
sKizzo-0.9-abs
QBFEVAL'06
Instance
Result
Time
texas.ifetch1^4.E-f2
UNSAT
0.02
texas.parsesys^4.E-f2
UNSAT
0.02
nusmv.syncarb5^2.B-f2
SAT
0.19
vis.emodel.E-f2
UNSAT
0.21
texas.PI_main^14.E-f2
UNSAT
0.43
nusmv.reactor^5.C-f2
UNSAT
1.12
cmu.gigamax.B-f2
SAT
3.19
texas.parsesys^3.E-f2
SAT
3.77
texas.parsesys^1.E-f2
SAT
15.95
texas.parsesys^2.E-f2
UNSAT
50.27
texas.ifetch1^3.E-f2
UNSAT
55.32
vis.elevator^1.E-f2
UNSAT
59.7
texas.ifetch1^1.E-f2
UNSAT
80.73
vis.eisenberg.E-f2
SAT
232.77
irst.dme5.B-f2
FAIL
269.33
irst.dme6.B-f2
FAIL
444.6
eijk.S349.S-f2
FAIL
791.02
eijk.bs1512.S-f2
FAIL
963.87
eijk.S420.S-f2
FAIL
1000.9
cmu.dme1.B-f2
FAIL
1028.95
ken.oop^2.C-f2
FAIL
1124.51
eijk.S953.S-f2
FAIL
1322.02
irst.dme4.B-f2
FAIL
1524.01
nusmv.reactor^2.C-f2
FAIL
1638.73
eijk.S510.S-f2
FAIL
1789.04
eijk.S344.S-f2
FAIL
2024.89
texas.ifetch1^2.E-f2
FAIL
2102.52
eijk.S208o.S-f2
SAT
2336.32
texas.two_proc^4.E-f2
FAIL
2466.09
nusmv.reactor^6.C-f2
FAIL
2632.57
eijk.S386.S-f2
FAIL
2759.69
vis.bakery.E-f2
SAT
2826.14
texas.PI_main^10.E-f2
FAIL
2888.55
eijk.S526.S-f2
FAIL
3175.46
nusmv.reactor^7.C-f2
FAIL
3358.68
texas.ifetch1^9.E-f2
FAIL
3731.27
eijk.S208.S-f2
SAT
3756.48
texas.ifetch1^8.E-f2
FAIL
4187.22
nusmv.reactor^4.C-f2
FAIL
4234.53
nusmv.reactor^3.C-f2
FAIL
4404.93
vis.4-arbit^2.E-f2
FAIL
4778.18
eijk.S838.S-f2
FAIL
4841.7
texas.PI_main^11.E-f2
FAIL
4848.33
eijk.S820.S-f2
FAIL
5686.7
vis.coherence^5.E-f2
FAIL
5998.01
cmu.dme2.B-f2
FAIL
5999.85
nusmv.brp.B-f2
FAIL
5999.91
eijk.S208c.S-f2
FAIL
5999.92
texas.two_proc^5.E-f2
FAIL
5999.94
texas.ifetch1^7.E-f2
FAIL
5999.95
eijk.S444.S-f2
FAIL
6000.09
texas.PI_main^02.E-f2
FAIL
6000.13
texas.two_proc^3.E-f2
FAIL
6000.14
texas.two_proc^6.E-f2
FAIL
6000.15
texas.two_proc^1.E-f2
FAIL
6000.16
eijk.S298.S-f2
FAIL
6000.18
vis.coherence^3.E-f2
FAIL
6000.23
texas.two_proc^2.E-f2
FAIL
6000.23
vis.elevator^2.E-f2
FAIL
6000.25
eijk.S641.S-f2
FAIL
6000.25
vis.arbiter.E-f2
FAIL
6000.27
eijk.S382.S-f2
FAIL
6000.28
texas.ifetch1^5.E-f2
FAIL
6000.31
vis.4-arbit^1.E-f2
FAIL
6000.33
texas.PI_main^01.E-f2
FAIL
6000.33
texas.PI_main^16.E-f2
FAIL
6000.37
ken.oop^1.C-f2
FAIL
6000.4
texas.PI_main^12.E-f2
FAIL
6000.44
vis.coherence^1.E-f2
FAIL
6000.47
eijk.S832.S-f2
FAIL
6000.48
vis.elevator^3.E-f2
FAIL
6000.52
vis.coherence^2.E-f2
FAIL
6000.59
eijk.S713.S-f2
FAIL
6000.65
nusmv.syncarb10^2.B-f2
FAIL
6000.7
Contact
|
Organization
|
Links
|
Citing QBFLIB