The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for tipdiam family
Download (53950 Kb)
Submitter:
Armin Biere
Suite:
Biere
Domain:
Formal Verification
Description:
0
Number of instances:
203
Results:
2020 - Track 1
2019 - Track 1
2018 - Track 1
2018 - Track 2
2017 - Track 1
2017 - Track 2
2016 - Track 1
2016 - Track 2
2016 - Track 5
2016 - Track 6
2016 - Track 7
2010 - Track 1
2010 - Track 3
2008 - Track 1
2007 - Track 1
2006 - Track 1
Instances:
cmu.dme1.B-d2
cmu.dme1.B-d3
cmu.dme1.B-d4
cmu.dme2.B-d2
cmu.dme2.B-d3
cmu.dme2.B-d4
cmu.gigamax.B-d2
cmu.gigamax.B-d3
cmu.gigamax.B-d4
cmu.periodic.N-d2
cmu.periodic.N-d3
cmu.periodic.N-d4
eijk.bs1512.S-d2
eijk.bs1512.S-d3
eijk.bs1512.S-d4
eijk.bs3330.S-d2
eijk.bs3330.S-d3
eijk.bs3330.S-d4
eijk.bs4863.S-d2
eijk.bs4863.S-d3
eijk.bs4863.S-d4
eijk.bs6669.S-d3
eijk.bs6669.S-d4
eijk.S1196.S-d2
eijk.S1196.S-d3
eijk.S1196.S-d4
eijk.S1238.S-d2
eijk.S1238.S-d3
eijk.S1238.S-d4
eijk.S1423.S-d2
eijk.S1423.S-d3
eijk.S1423.S-d4
eijk.S208.S-d2
eijk.S208.S-d3
eijk.S208.S-d4
eijk.S208c.S-d2
eijk.S208c.S-d3
eijk.S208c.S-d4
eijk.S208o.S-d2
eijk.S208o.S-d3
eijk.S208o.S-d4
eijk.S298.S-d2
eijk.S298.S-d3
eijk.S298.S-d4
eijk.S344.S-d2
eijk.S344.S-d3
eijk.S344.S-d4
eijk.S349.S-d2
eijk.S349.S-d3
eijk.S349.S-d4
eijk.S382.S-d2
eijk.S382.S-d3
eijk.S382.S-d4
eijk.S386.S-d2
eijk.S386.S-d3
eijk.S386.S-d4
eijk.S420.S-d4
eijk.S444.S-d2
eijk.S444.S-d3
eijk.S444.S-d4
eijk.S510.S-d3
eijk.S510.S-d4
eijk.S526.S-d2
eijk.S526.S-d3
eijk.S526.S-d4
eijk.S641.S-d3
eijk.S641.S-d4
eijk.S713.S-d4
eijk.S820.S-d2
eijk.S820.S-d3
eijk.S820.S-d4
eijk.S832.S-d2
eijk.S832.S-d3
eijk.S832.S-d4
eijk.S953.S-d2
eijk.S953.S-d3
eijk.S953.S-d4
irst.dme4.B-d2
irst.dme4.B-d3
irst.dme4.B-d4
irst.dme5.B-d2
irst.dme5.B-d3
irst.dme5.B-d4
irst.dme6.B-d2
irst.dme6.B-d3
irst.dme6.B-d4
ken.flash^01.C-d2
ken.flash^01.C-d3
ken.flash^01.C-d4
ken.flash^02.C-d2
ken.flash^02.C-d3
ken.flash^02.C-d4
ken.flash^03.C-d2
ken.flash^03.C-d3
ken.flash^03.C-d4
ken.flash^04.C-d2
ken.flash^04.C-d3
ken.flash^04.C-d4
ken.flash^05.C-d2
ken.flash^05.C-d3
ken.flash^05.C-d4
ken.flash^06.C-d2
ken.flash^06.C-d3
ken.flash^06.C-d4
ken.flash^07.C-d4
ken.flash^08.C-d2
ken.flash^08.C-d3
ken.flash^08.C-d4
ken.flash^09.C-d2
ken.flash^09.C-d3
ken.flash^09.C-d4
ken.flash^10.C-d2
ken.flash^10.C-d3
ken.flash^10.C-d4
ken.flash^11.C-d2
ken.flash^11.C-d3
ken.flash^11.C-d4
ken.flash^12.C-d2
ken.flash^12.C-d3
ken.flash^12.C-d4
ken.flash^13.C-d2
ken.flash^13.C-d3
ken.flash^13.C-d4
ken.flash^14.C-d2
ken.flash^14.C-d3
ken.flash^14.C-d4
ken.oop^1.C-d2
ken.oop^1.C-d3
ken.oop^1.C-d4
ken.oop^2.C-d2
ken.oop^2.C-d3
ken.oop^2.C-d4
nusmv.brp.B-d2
nusmv.brp.B-d3
nusmv.brp.B-d4
nusmv.dme1-16.B-d2
nusmv.dme1-16.B-d3
nusmv.dme1-16.B-d4
nusmv.dme2-16.B-d2
nusmv.dme2-16.B-d3
nusmv.dme2-16.B-d4
nusmv.guidance^1.C-d2
nusmv.guidance^1.C-d3
nusmv.guidance^1.C-d4
nusmv.guidance^2.C-d3
nusmv.guidance^4.C-d3
nusmv.guidance^5.C-d3
nusmv.guidance^6.C-d3
nusmv.queue.B-d2
nusmv.queue.B-d3
nusmv.queue.B-d4
nusmv.reactor^1.C-d2
nusmv.reactor^1.C-d3
nusmv.reactor^1.C-d4
nusmv.reactor^2.C-d2
nusmv.reactor^2.C-d3
nusmv.reactor^2.C-d4
nusmv.reactor^3.C-d2
nusmv.reactor^3.C-d3
nusmv.reactor^3.C-d4
nusmv.reactor^4.C-d2
nusmv.reactor^4.C-d3
nusmv.reactor^4.C-d4
nusmv.reactor^5.C-d2
nusmv.reactor^5.C-d3
nusmv.reactor^5.C-d4
nusmv.tcas-t^1.B-d2
nusmv.tcas-t^1.B-d3
nusmv.tcas-t^1.B-d4
nusmv.tcas^1.B-d2
nusmv.tcas^1.B-d3
nusmv.tcas^1.B-d4
texas.ifetch1^1.E-d3
texas.ifetch1^1.E-d4
texas.ifetch1^3.E-d3
texas.ifetch1^3.E-d4
texas.ifetch1^9.E-d3
texas.ifetch1^9.E-d4
texas.parsesys^1.E-d2
texas.parsesys^1.E-d3
texas.parsesys^1.E-d4
vis.4-arbit^1.E-d2
vis.4-arbit^1.E-d3
vis.4-arbit^1.E-d4
vis.arbiter.E-d4
vis.bakery.E-d2
vis.bakery.E-d3
vis.bakery.E-d4
vis.coherence^1.E-d2
vis.coherence^1.E-d3
vis.coherence^1.E-d4
vis.eisenberg.E-d2
vis.eisenberg.E-d3
vis.eisenberg.E-d4
vis.elevator^1.E-d2
vis.elevator^1.E-d3
vis.elevator^1.E-d4
vis.emodel.E-d2
vis.emodel.E-d3
vis.emodel.E-d4
vis.prodcell^01.E-d2
vis.prodcell^01.E-d3
vis.prodcell^01.E-d4
Contact
|
Organization
|
Links
|
Citing QBFLIB