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-std
QBFEVAL'06
Instance
Result
Time
texas.ifetch1^4.E-f2
UNSAT
0.02
texas.parsesys^4.E-f2
UNSAT
0.03
nusmv.syncarb5^2.B-f2
SAT
0.18
vis.emodel.E-f2
UNSAT
0.24
texas.PI_main^14.E-f2
UNSAT
0.47
nusmv.reactor^5.C-f2
UNSAT
1.2
cmu.gigamax.B-f2
SAT
3.25
texas.parsesys^3.E-f2
SAT
4.14
texas.parsesys^1.E-f2
SAT
17.53
texas.parsesys^2.E-f2
UNSAT
54.71
texas.ifetch1^3.E-f2
UNSAT
59
vis.elevator^1.E-f2
UNSAT
60.71
texas.ifetch1^1.E-f2
UNSAT
84.87
irst.dme6.B-f2
FAIL
137.79
irst.dme4.B-f2
FAIL
261.21
irst.dme5.B-f2
FAIL
290.24
vis.eisenberg.E-f2
SAT
450.97
texas.ifetch1^2.E-f2
FAIL
599.77
eijk.S526.S-f2
FAIL
808.13
texas.ifetch1^5.E-f2
FAIL
901.86
eijk.bs1512.S-f2
FAIL
952.62
eijk.S953.S-f2
FAIL
1030.93
texas.two_proc^1.E-f2
FAIL
1056.9
cmu.dme1.B-f2
FAIL
1124.62
ken.oop^2.C-f2
FAIL
1201.76
eijk.S298.S-f2
FAIL
1405.21
eijk.S510.S-f2
FAIL
1420.93
vis.elevator^2.E-f2
FAIL
1569.69
vis.coherence^5.E-f2
FAIL
1662.45
texas.PI_main^10.E-f2
FAIL
1930.07
nusmv.reactor^4.C-f2
FAIL
2016.55
eijk.S838.S-f2
FAIL
2142.43
nusmv.reactor^2.C-f2
FAIL
2154.33
texas.PI_main^01.E-f2
FAIL
2219.35
texas.PI_main^16.E-f2
FAIL
2300.05
eijk.S386.S-f2
FAIL
2305.23
eijk.S208o.S-f2
SAT
2470.27
nusmv.reactor^6.C-f2
FAIL
2558.15
eijk.S344.S-f2
FAIL
2803.91
texas.two_proc^4.E-f2
FAIL
2839.29
vis.bakery.E-f2
SAT
2856.31
eijk.S420.S-f2
FAIL
2909.33
eijk.S444.S-f2
FAIL
3099.59
cmu.dme2.B-f2
FAIL
3139.49
texas.two_proc^5.E-f2
FAIL
3281.95
texas.ifetch1^8.E-f2
FAIL
3286.84
eijk.S382.S-f2
FAIL
3358.11
texas.two_proc^2.E-f2
FAIL
3399.07
texas.two_proc^3.E-f2
FAIL
3409
nusmv.reactor^7.C-f2
FAIL
3423.76
vis.4-arbit^1.E-f2
FAIL
3520.08
texas.ifetch1^9.E-f2
FAIL
3932.38
texas.two_proc^6.E-f2
FAIL
3958.34
eijk.S208.S-f2
SAT
4012.42
nusmv.reactor^3.C-f2
FAIL
4170.24
texas.PI_main^02.E-f2
FAIL
4356.72
nusmv.brp.B-f2
FAIL
4394.34
vis.arbiter.E-f2
FAIL
4598.82
eijk.S349.S-f2
FAIL
5120.38
vis.4-arbit^2.E-f2
FAIL
5141.55
texas.PI_main^11.E-f2
FAIL
5212.55
eijk.S820.S-f2
FAIL
5999.63
ken.oop^1.C-f2
FAIL
5999.72
eijk.S208c.S-f2
FAIL
5999.97
texas.PI_main^12.E-f2
FAIL
6000.09
texas.ifetch1^7.E-f2
FAIL
6000.11
vis.coherence^3.E-f2
FAIL
6000.12
nusmv.syncarb10^2.B-f2
FAIL
6000.15
eijk.S832.S-f2
FAIL
6000.21
vis.coherence^1.E-f2
FAIL
6000.24
vis.elevator^3.E-f2
FAIL
6000.34
eijk.S713.S-f2
FAIL
6000.4
vis.coherence^2.E-f2
FAIL
6000.47
eijk.S641.S-f2
FAIL
6000.56
Contact
|
Organization
|
Links
|
Citing QBFLIB