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
Sota solver results for family tipfixpoint
QBFEVAL'07
Instance
Solver
Result
Time
cmu.gigamax.B-f2
sKizzo-0.10-qck
SAT
3.07
cmu.gigamax.B-f3
sKizzo-0.10-qck
UNSAT
99.45
cmu.periodic.N-f2
ncQuBE1.1
SAT
2.66
cmu.periodic.N-f3
AQME-RIPPER
SAT
4.04
eijk.bs4863.S-f2
ncQuBE1.1
SAT
147.4
eijk.S208.S-f2
ncQuBE1.1
SAT
1.09
eijk.S208.S-f3
ncQuBE1.0
SAT
249.62
eijk.S208c.S-f2
ncQuBE1.0
SAT
0.59
eijk.S208o.S-f2
ncQuBE1.1
SAT
0.15
eijk.S208o.S-f3
ncQuBE1.1
SAT
1.79
eijk.S298.S-f2
ncQuBE1.1
SAT
0.1
eijk.S344.S-f2
ncQuBE1.0
SAT
0.17
eijk.S349.S-f2
ncQuBE1.0
SAT
0.28
eijk.S382.S-f2
ncQuBE1.1
SAT
0.15
eijk.S444.S-f2
ncQuBE1.1
SAT
0.18
eijk.S526.S-f2
ncQuBE1.1
SAT
0.17
eijk.S526.S-f3
ncQuBE1.1
SAT
0.48
eijk.S526.S-f4
ncQuBE1.1
SAT
1.6
eijk.S820.S-f2
ncQuBE1.1
SAT
31.43
eijk.S832.S-f2
ncQuBE1.1
SAT
297
irst.dme4.B-f2
ncQuBE1.1
SAT
0.46
irst.dme5.B-f2
ncQuBE1.1
SAT
0.41
irst.dme6.B-f2
ncQuBE1.1
SAT
2.58
ken.flash^02.C-f2
sKizzo-0.10-std
SAT
0.9
ken.flash^03.C-f3
yQuaffle
UNSAT
0.43
ken.flash^03.C-f4
yQuaffle
UNSAT
0.58
ken.flash^06.C-f2
yQuaffle
UNSAT
0.12
ken.flash^08.C-f3
yQuaffle
UNSAT
0.21
ken.flash^08.C-f4
yQuaffle
UNSAT
0.29
ken.flash^09.C-f2
yQuaffle
UNSAT
0.44
ken.flash^09.C-f4
yQuaffle
UNSAT
1.01
ken.flash^10.C-f2
preQuel_sKizzo-0.10
SAT
0.11
ken.flash^10.C-f4
preQuel_sKizzo-0.10
SAT
0.2
ken.oop^1.C-f2
ncQuBE1.1
SAT
0.16
ken.oop^2.C-f2
ncQuBE1.1
SAT
0.23
nusmv.brp.B-f2
ncQuBE1.1
SAT
0.15
nusmv.dme2-16.B-f2
ncQuBE1.1
SAT
4.52
nusmv.guidance^2.C-f3
ncQuBE1.1
SAT
275.47
nusmv.guidance^3.C-f2
ncQuBE1.1
SAT
0.79
nusmv.guidance^9.C-f3
ncQuBE1.1
SAT
108
nusmv.queue.B-f2
AQME-C4.5
SAT
21.04
nusmv.reactor^2.C-f2
ncQuBE1.1
SAT
3.93
nusmv.reactor^3.C-f3
sKizzo-0.10-qck
SAT
69.35
nusmv.reactor^3.C-f4
preQuel_sKizzo-0.10
SAT
0.06
nusmv.reactor^4.C-f2
ncQuBE1.1
SAT
0.6
nusmv.reactor^4.C-f3
ncQuBE1.1
SAT
31.68
nusmv.reactor^5.C-f4
yQuaffle
UNSAT
0.29
nusmv.reactor^6.C-f2
ncQuBE1.1
SAT
1.12
nusmv.reactor^7.C-f2
ncQuBE1.1
SAT
0.78
nusmv.reactor^7.C-f3
ncQuBE1.1
SAT
26.85
nusmv.syncarb5^2.B-f3
sKizzo-0.10-qck
SAT
0.8
nusmv.syncarb5^2.B-f4
ncQuBE1.1
SAT
2.19
nusmv.tcas-t^6.B-f2
sKizzo-0.10-std
SAT
0.47
nusmv.tcas^1.B-f2
AQME-C4.5
SAT
3.97
nusmv.tcas^1.B-f4
AQME-RIPPER
SAT
17.47
texas.ifetch1^1.E-f3
preQuel_sKizzo-0.10
SAT
0.05
texas.ifetch1^1.E-f4
yQuaffle
UNSAT
0.08
texas.ifetch1^2.E-f2
yQuaffle
UNSAT
0.05
texas.ifetch1^2.E-f3
yQuaffle
UNSAT
0.07
texas.ifetch1^3.E-f2
yQuaffle
UNSAT
0.05
texas.ifetch1^3.E-f4
yQuaffle
UNSAT
0.08
texas.ifetch1^4.E-f4
preQuel_sKizzo-0.10
SAT
0.04
texas.ifetch1^5.E-f2
ncQuBE1.1
SAT
0.13
texas.ifetch1^7.E-f2
ncQuBE1.1
SAT
0.13
texas.ifetch1^8.E-f2
ncQuBE1.1
SAT
0.1
texas.ifetch1^8.E-f4
ncQuBE1.1
SAT
0.19
texas.ifetch1^9.E-f2
ncQuBE1.1
SAT
0.13
texas.ifetch1^9.E-f4
ncQuBE1.1
SAT
0.24
texas.parsesys^1.E-f3
ncQuBE1.1
SAT
0.86
texas.parsesys^2.E-f2
ncQuBE1.0
UNSAT
3.13
texas.parsesys^2.E-f4
sKizzo-0.10-qck
UNSAT
81.87
texas.parsesys^3.E-f2
qZilla
SAT
0.14
texas.parsesys^3.E-f4
sKizzo-0.10-std
SAT
8.35
texas.parsesys^4.E-f3
preQuel_sKizzo-0.10
SAT
0.03
texas.parsesys^4.E-f4
preQuel_sKizzo-0.10
SAT
0.04
texas.PI_main^01.E-f2
ncQuBE1.1
SAT
0.33
texas.PI_main^05.E-f2
ncQuBE1.0
SAT
35.08
texas.PI_main^08.E-f2
ncQuBE1.1
SAT
37.57
texas.PI_main^14.E-f3
yQuaffle
UNSAT
0.75
texas.two_proc^1.E-f3
ncQuBE1.1
SAT
158.11
texas.two_proc^2.E-f3
ncQuBE1.1
SAT
244.97
texas.two_proc^5.E-f3
ncQuBE1.1
SAT
272.11
texas.two_proc^6.E-f2
ncQuBE1.1
SAT
0.21
vis.4-arbit^1.E-f2
ncQuBE1.1
SAT
0.17
vis.4-arbit^1.E-f3
ncQuBE1.1
SAT
126.52
vis.4-arbit^2.E-f2
ncQuBE1.0
SAT
0.4
vis.4-arbit^2.E-f3
ncQuBE1.1
SAT
78.03
vis.arbiter.E-f2
ncQuBE1.1
SAT
2.04
vis.arbiter.E-f3
ncQuBE1.1
SAT
48.1
vis.eisenberg.E-f3
ncQuBE1.1
SAT
6.52
vis.elevator^1.E-f3
preQuel_sKizzo-0.10
SAT
0.1
vis.elevator^1.E-f4
preQuel_sKizzo-0.10
SAT
0.17
vis.emodel.E-f4
preQuel_sKizzo-0.10
SAT
0.08
vis.prodcell^02.E-f4
yQuaffle
UNSAT
0.42
vis.prodcell^03.E-f3
yQuaffle
UNSAT
0.22
vis.prodcell^04.E-f2
ncQuBE1.1
SAT
238.59
vis.prodcell^04.E-f3
yQuaffle
UNSAT
0.2
vis.prodcell^04.E-f4
yQuaffle
UNSAT
0.39
vis.prodcell^07.E-f2
ncQuBE1.1
SAT
187.38
vis.prodcell^08.E-f3
yQuaffle
UNSAT
0.52
vis.prodcell^08.E-f4
yQuaffle
UNSAT
0.94
vis.prodcell^09.E-f4
preQuel_sKizzo-0.10
SAT
0.68
vis.prodcell^19.E-f2
ncQuBE1.1
SAT
49.56
vis.prodcell^20.E-f4
yQuaffle
UNSAT
0.41
vis.prodcell^21.E-f2
preQuel_sKizzo-0.10
SAT
0.06
vis.prodcell^21.E-f3
yQuaffle
UNSAT
0.23
vis.prodcell^21.E-f4
yQuaffle
UNSAT
0.43
vis.prodcell^22.E-f2
ncQuBE1.0
SAT
131.6
vis.prodcell^22.E-f3
ncQuBE1.1
SAT
376.36
vis.prodcell^23.E-f2
ncQuBE1.0
SAT
80.97
vis.prodcell^24.E-f2
ncQuBE1.1
SAT
80.81
vis.prodcell^24.E-f3
ncQuBE1.1
SAT
366.66
Contact
|
Organization
|
Links
|
Citing QBFLIB