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-grn
QBFEVAL'06
Instance
Result
Time
texas.parsesys^4.E-f2
UNSAT
0.02
texas.ifetch1^4.E-f2
UNSAT
0.03
vis.emodel.E-f2
UNSAT
0.11
nusmv.syncarb5^2.B-f2
SAT
0.2
texas.PI_main^14.E-f2
UNSAT
0.43
nusmv.reactor^5.C-f2
UNSAT
1.13
cmu.gigamax.B-f2
SAT
3.66
texas.parsesys^3.E-f2
SAT
4.15
texas.parsesys^1.E-f2
SAT
30.2
texas.parsesys^2.E-f2
UNSAT
41.76
vis.eisenberg.E-f2
SAT
86.13
irst.dme5.B-f2
FAIL
385.68
irst.dme6.B-f2
FAIL
596.19
eijk.S208o.S-f2
SAT
694.29
eijk.S349.S-f2
FAIL
788.02
eijk.bs1512.S-f2
FAIL
890.76
eijk.S526.S-f2
FAIL
1155.45
irst.dme4.B-f2
FAIL
1251.36
cmu.dme1.B-f2
FAIL
1575.22
nusmv.reactor^3.C-f2
FAIL
1731.24
eijk.S510.S-f2
FAIL
1936.13
ken.oop^2.C-f2
FAIL
2240.66
texas.ifetch1^2.E-f2
FAIL
2487.7
eijk.S386.S-f2
FAIL
2515.13
texas.ifetch1^3.E-f2
FAIL
2543.57
eijk.S344.S-f2
FAIL
3277.62
vis.bakery.E-f2
SAT
3323.07
texas.ifetch1^7.E-f2
FAIL
3501.86
eijk.S953.S-f2
FAIL
3679.51
texas.ifetch1^5.E-f2
FAIL
3714.19
texas.ifetch1^9.E-f2
FAIL
3836.17
texas.ifetch1^8.E-f2
FAIL
3874.45
eijk.S208.S-f2
SAT
3901.09
nusmv.reactor^4.C-f2
FAIL
4192.16
texas.two_proc^4.E-f2
FAIL
4434.44
nusmv.reactor^7.C-f2
FAIL
4440.93
nusmv.reactor^6.C-f2
FAIL
4450.47
nusmv.brp.B-f2
FAIL
4643.34
eijk.S832.S-f2
FAIL
5068.24
texas.ifetch1^1.E-f2
FAIL
5074.01
nusmv.reactor^2.C-f2
FAIL
5224.75
vis.4-arbit^1.E-f2
FAIL
5636.44
eijk.S838.S-f2
FAIL
5668.57
eijk.S420.S-f2
FAIL
5935.66
cmu.dme2.B-f2
FAIL
5998.21
texas.two_proc^5.E-f2
FAIL
5999.69
texas.PI_main^02.E-f2
FAIL
5999.98
vis.elevator^3.E-f2
FAIL
5999.99
texas.two_proc^2.E-f2
FAIL
6000.2
texas.PI_main^10.E-f2
FAIL
6000.2
vis.arbiter.E-f2
FAIL
6000.25
eijk.S444.S-f2
FAIL
6000.26
eijk.S382.S-f2
FAIL
6000.26
eijk.S298.S-f2
FAIL
6000.27
vis.coherence^1.E-f2
FAIL
6000.32
ken.oop^1.C-f2
FAIL
6000.36
texas.two_proc^3.E-f2
FAIL
6000.37
texas.PI_main^12.E-f2
FAIL
6000.38
vis.elevator^2.E-f2
FAIL
6000.38
eijk.S820.S-f2
FAIL
6000.38
texas.PI_main^01.E-f2
FAIL
6000.39
texas.two_proc^1.E-f2
FAIL
6000.4
texas.two_proc^6.E-f2
FAIL
6000.42
vis.coherence^5.E-f2
FAIL
6000.44
vis.elevator^1.E-f2
FAIL
6000.45
texas.PI_main^16.E-f2
FAIL
6000.47
eijk.S713.S-f2
FAIL
6000.49
vis.4-arbit^2.E-f2
FAIL
6000.56
nusmv.syncarb10^2.B-f2
FAIL
6000.59
vis.coherence^3.E-f2
FAIL
6000.6
texas.PI_main^11.E-f2
FAIL
6000.62
eijk.S208c.S-f2
FAIL
6000.63
eijk.S641.S-f2
FAIL
6000.63
vis.coherence^2.E-f2
FAIL
6000.63
Contact
|
Organization
|
Links
|
Citing QBFLIB