Instances of family tipdiam solved by ssolve-A
QBFEVAL'08

InstanceResultTime
eijk.S208o.S-d2SAT0
eijk.S208o.S-d3SAT0
eijk.S208.S-d2SAT0
eijk.S208.S-d4SAT0
eijk.S208c.S-d4SAT0
cmu.dme2.B-d2SAT0.01
eijk.S208o.S-d4SAT0.01
eijk.S208.S-d3SAT0.01
cmu.dme1.B-d2SAT0.01
eijk.S208c.S-d2SAT0.01
eijk.S420.S-d4SAT0.01
vis.bakery.E-d2SAT0.01
cmu.dme1.B-d3SAT0.01
texas.parsesys^1.E-d2SAT0.01
eijk.S382.S-d2SAT0.01
eijk.S382.S-d3SAT0.01
eijk.S510.S-d3SAT0.01
vis.4-arbit^1.E-d2SAT0.01
eijk.S386.S-d2SAT0.01
eijk.S526.S-d2SAT0.01
vis.eisenberg.E-d2SAT0.01
vis.eisenberg.E-d3SAT0.01
eijk.S208c.S-d3SAT0.01
eijk.S298.S-d2SAT0.01
eijk.S444.S-d2SAT0.01
eijk.S298.S-d3SAT0.01
texas.parsesys^1.E-d3SAT0.02
texas.ifetch1^1.E-d3SAT0.02
texas.ifetch1^3.E-d3SAT0.02
eijk.S526.S-d3SAT0.02
irst.dme4.B-d2SAT0.02
nusmv.dme1-16.B-d2SAT0.02
texas.ifetch1^9.E-d3SAT0.02
eijk.S641.S-d3SAT0.02
vis.bakery.E-d3SAT0.02
eijk.S444.S-d3SAT0.02
cmu.dme2.B-d3SAT0.02
vis.arbiter.E-d4SAT0.02
eijk.S953.S-d2SAT0.02
texas.parsesys^1.E-d4SAT0.03
eijk.S510.S-d4SAT0.03
cmu.dme1.B-d4SAT0.03
eijk.bs1512.S-d2SAT0.04
eijk.S344.S-d2SAT0.04
texas.ifetch1^1.E-d4SAT0.04
eijk.S349.S-d2SAT0.04
vis.eisenberg.E-d4SAT0.04
vis.coherence^1.E-d2SAT0.04
texas.ifetch1^3.E-d4SAT0.04
irst.dme5.B-d2SAT0.04
eijk.S298.S-d4SAT0.04
vis.emodel.E-d2SAT0.04
vis.bakery.E-d4SAT0.05
vis.4-arbit^1.E-d3SAT0.05
texas.ifetch1^9.E-d4SAT0.05
irst.dme6.B-d2SAT0.06
eijk.S444.S-d4SAT0.06
eijk.S526.S-d4SAT0.06
eijk.S1238.S-d2SAT0.06
eijk.S382.S-d4SAT0.06
eijk.S1423.S-d2SAT0.07
eijk.S832.S-d2SAT0.07
cmu.dme2.B-d4SAT0.07
irst.dme4.B-d3SAT0.08
nusmv.dme1-16.B-d3SAT0.08
eijk.S820.S-d2SAT0.08
nusmv.dme2-16.B-d2SAT0.08
eijk.bs3330.S-d2SAT0.1
eijk.S953.S-d3SAT0.1
eijk.bs1512.S-d3SAT0.11
eijk.S344.S-d3SAT0.11
eijk.S349.S-d3SAT0.11
eijk.S1196.S-d2SAT0.12
irst.dme5.B-d3SAT0.13
vis.prodcell^01.E-d2SAT0.14
irst.dme6.B-d3SAT0.19
eijk.S641.S-d4SAT0.2
eijk.S713.S-d4SAT0.2
eijk.S344.S-d4SAT0.23
eijk.S349.S-d4SAT0.24
vis.emodel.E-d3SAT0.26
eijk.S1423.S-d3SAT0.33
nusmv.brp.B-d2SAT0.36
irst.dme4.B-d4SAT0.36
vis.prodcell^01.E-d3SAT0.37
vis.4-arbit^1.E-d4SAT0.4
nusmv.dme2-16.B-d3SAT0.42
vis.coherence^1.E-d3SAT0.66
eijk.S953.S-d4SAT0.67
eijk.S820.S-d3SAT0.74
irst.dme5.B-d4SAT0.89
irst.dme6.B-d4SAT1.02
vis.prodcell^01.E-d4SAT1.38
eijk.S832.S-d3SAT1.72
eijk.S386.S-d3SAT2.46
nusmv.queue.B-d2SAT2.98
eijk.bs1512.S-d4SAT6
eijk.bs4863.S-d2SAT6.38
nusmv.dme2-16.B-d4SAT8.38
eijk.S1238.S-d3UNSAT17.95
eijk.S1423.S-d4SAT18.87
nusmv.dme1-16.B-d4SAT25.61
eijk.S386.S-d4SAT48.9
vis.coherence^1.E-d4SAT52.99
vis.elevator^1.E-d2SAT66.11
eijk.S1196.S-d3UNSAT111.99
nusmv.guidance^6.C-d3FAIL600
nusmv.reactor^2.C-d3FAIL600
nusmv.reactor^5.C-d2FAIL600
nusmv.tcas-t^1.B-d4FAIL600
vis.elevator^1.E-d3FAIL600
cmu.periodic.N-d4FAIL600
eijk.bs4863.S-d3FAIL600
ken.flash^02.C-d4FAIL600
ken.flash^05.C-d3FAIL600
ken.flash^08.C-d4FAIL600
ken.flash^11.C-d3FAIL600
ken.flash^14.C-d2FAIL600
ken.oop^2.C-d4FAIL600
nusmv.reactor^2.C-d4FAIL600
nusmv.reactor^5.C-d3FAIL600
vis.elevator^1.E-d4FAIL600
eijk.bs4863.S-d4FAIL600
eijk.S1238.S-d4FAIL600
ken.flash^03.C-d2FAIL600
ken.flash^05.C-d4FAIL600
ken.flash^09.C-d2FAIL600
ken.flash^11.C-d4FAIL600
ken.flash^14.C-d3FAIL600
nusmv.queue.B-d3FAIL600
nusmv.reactor^3.C-d2FAIL600
nusmv.reactor^5.C-d4FAIL600
eijk.bs6669.S-d3FAIL600
ken.flash^03.C-d3FAIL600
ken.flash^06.C-d2FAIL600
ken.flash^09.C-d3FAIL600
ken.flash^12.C-d2FAIL600
ken.flash^14.C-d4FAIL600
nusmv.brp.B-d3FAIL600
nusmv.guidance^1.C-d2FAIL600
nusmv.queue.B-d4FAIL600
nusmv.reactor^3.C-d3FAIL600
nusmv.tcas^1.B-d2FAIL600
cmu.gigamax.B-d2FAIL600
eijk.bs6669.S-d4FAIL600
eijk.S820.S-d4FAIL600
ken.flash^01.C-d2FAIL600
ken.flash^03.C-d4FAIL600
ken.flash^06.C-d3FAIL600
ken.flash^09.C-d4FAIL600
ken.flash^12.C-d3FAIL600
ken.oop^1.C-d2FAIL600
nusmv.brp.B-d4FAIL600
nusmv.guidance^1.C-d3FAIL600
nusmv.reactor^1.C-d2FAIL600
nusmv.reactor^3.C-d4FAIL600
nusmv.tcas^1.B-d3FAIL600
vis.emodel.E-d4FAIL600
cmu.gigamax.B-d3FAIL600
ken.flash^01.C-d3FAIL600
ken.flash^04.C-d2FAIL600
ken.flash^06.C-d4FAIL600
ken.flash^10.C-d2FAIL600
ken.flash^12.C-d4FAIL600
ken.oop^1.C-d3FAIL600
nusmv.guidance^1.C-d4FAIL600
nusmv.reactor^1.C-d3FAIL600
nusmv.reactor^4.C-d2FAIL600
nusmv.tcas^1.B-d4FAIL600
cmu.gigamax.B-d4FAIL600
eijk.bs3330.S-d3FAIL600
ken.flash^01.C-d4FAIL600
ken.flash^04.C-d3FAIL600
ken.flash^07.C-d4FAIL600
ken.flash^10.C-d3FAIL600
ken.flash^13.C-d2FAIL600
ken.oop^1.C-d4FAIL600
nusmv.guidance^2.C-d3FAIL600
nusmv.reactor^1.C-d4FAIL600
nusmv.reactor^4.C-d3FAIL600
nusmv.tcas-t^1.B-d2FAIL600
cmu.periodic.N-d2FAIL600
eijk.bs3330.S-d4FAIL600
eijk.S1196.S-d4FAIL600
eijk.S832.S-d4FAIL600
ken.flash^02.C-d2FAIL600
ken.flash^04.C-d4FAIL600
ken.flash^08.C-d2FAIL600
ken.flash^10.C-d4FAIL600
ken.flash^13.C-d3FAIL600
ken.oop^2.C-d2FAIL600
nusmv.guidance^4.C-d3FAIL600
nusmv.reactor^2.C-d2FAIL600
nusmv.reactor^4.C-d4FAIL600
nusmv.tcas-t^1.B-d3FAIL600
cmu.periodic.N-d3FAIL600
ken.flash^02.C-d3FAIL600
ken.flash^05.C-d2FAIL600
ken.flash^08.C-d3FAIL600
ken.flash^11.C-d2FAIL600
ken.flash^13.C-d4FAIL600
ken.oop^2.C-d3FAIL600
nusmv.guidance^5.C-d3FAIL600