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
QUANTOR
QBFEVAL'06
Instance
Result
Time
texas.ifetch1^4.E-f2
UNSAT
0.01
texas.parsesys^4.E-f2
UNSAT
0.01
vis.emodel.E-f2
UNSAT
0.03
texas.parsesys^3.E-f2
SAT
0.07
vis.elevator^1.E-f2
UNSAT
0.08
texas.ifetch1^8.E-f2
SAT
0.13
vis.bakery.E-f2
SAT
0.4
vis.eisenberg.E-f2
SAT
0.46
texas.parsesys^1.E-f2
SAT
0.61
nusmv.syncarb5^2.B-f2
SAT
3.62
texas.ifetch1^9.E-f2
SAT
3.73
texas.parsesys^2.E-f2
UNSAT
5.8
nusmv.reactor^4.C-f2
FAIL
20.46
nusmv.reactor^7.C-f2
FAIL
27.97
nusmv.reactor^2.C-f2
FAIL
41.73
nusmv.reactor^3.C-f2
FAIL
41.83
nusmv.reactor^6.C-f2
FAIL
52.24
cmu.dme2.B-f2
FAIL
57.7
texas.PI_main^14.E-f2
FAIL
61.24
eijk.S832.S-f2
FAIL
63.54
eijk.S444.S-f2
FAIL
65.34
eijk.S382.S-f2
FAIL
65.89
irst.dme5.B-f2
FAIL
72.61
eijk.S820.S-f2
FAIL
80.62
nusmv.reactor^5.C-f2
FAIL
81.34
texas.PI_main^11.E-f2
FAIL
106.21
irst.dme4.B-f2
FAIL
116.23
eijk.S386.S-f2
FAIL
140.3
vis.elevator^2.E-f2
FAIL
144.03
eijk.S510.S-f2
FAIL
148.19
ken.oop^2.C-f2
FAIL
153.08
texas.PI_main^02.E-f2
FAIL
153.76
cmu.dme1.B-f2
FAIL
159.35
eijk.S641.S-f2
FAIL
167.7
eijk.S344.S-f2
FAIL
167.86
eijk.S713.S-f2
FAIL
171.42
eijk.S953.S-f2
FAIL
173.01
texas.ifetch1^7.E-f2
FAIL
173.69
eijk.S838.S-f2
FAIL
195.41
eijk.S526.S-f2
FAIL
204.44
texas.ifetch1^1.E-f2
FAIL
219.6
eijk.bs1512.S-f2
FAIL
228.74
eijk.S420.S-f2
FAIL
239.32
cmu.gigamax.B-f2
FAIL
239.45
eijk.S349.S-f2
FAIL
239.78
nusmv.brp.B-f2
FAIL
250.52
irst.dme6.B-f2
FAIL
259.12
nusmv.syncarb10^2.B-f2
FAIL
306.34
eijk.S298.S-f2
FAIL
386.42
texas.two_proc^5.E-f2
FAIL
422.58
texas.ifetch1^3.E-f2
FAIL
474.51
vis.coherence^5.E-f2
FAIL
490.05
texas.two_proc^4.E-f2
FAIL
525.69
texas.two_proc^3.E-f2
FAIL
546.86
vis.elevator^3.E-f2
FAIL
558.24
texas.two_proc^2.E-f2
FAIL
599.47
texas.ifetch1^2.E-f2
FAIL
613
texas.PI_main^12.E-f2
FAIL
702.67
ken.oop^1.C-f2
FAIL
805.2
texas.ifetch1^5.E-f2
FAIL
1263.93
texas.two_proc^1.E-f2
FAIL
1726.63
eijk.S208o.S-f2
SAT
3217.11
vis.coherence^1.E-f2
FAIL
3680
eijk.S208c.S-f2
FAIL
4565.24
eijk.S208.S-f2
FAIL
6000.3
texas.PI_main^16.E-f2
FAIL
6000.45
vis.4-arbit^2.E-f2
FAIL
6000.51
vis.coherence^2.E-f2
FAIL
6000.63
texas.two_proc^6.E-f2
FAIL
6000.64
vis.4-arbit^1.E-f2
FAIL
6000.76
vis.arbiter.E-f2
FAIL
6000.77
vis.coherence^3.E-f2
FAIL
6000.78
texas.PI_main^10.E-f2
FAIL
6000.84
texas.PI_main^01.E-f2
FAIL
6000.86
Contact
|
Organization
|
Links
|
Citing QBFLIB