Instances of family tipdiam solved by EBDDRES
QBFEVAL'07

InstanceResultTime
eijk.S208c.S-d3SAT0
eijk.S208o.S-d3SAT0.01
eijk.S510.S-d3SAT0.01
texas.parsesys^1.E-d3SAT0.02
eijk.S420.S-d4SAT0.02
eijk.S208.S-d4SAT0.03
eijk.S208c.S-d4SAT0.03
vis.bakery.E-d3SAT0.14
cmu.dme1.B-d3SAT0.17
vis.arbiter.E-d4SAT0.34
eijk.S510.S-d4SAT0.5
vis.eisenberg.E-d4SAT0.79
texas.ifetch1^1.E-d3SAT1.25
texas.ifetch1^3.E-d3SAT1.29
cmu.dme2.B-d3SAT1.3
vis.4-arbit^1.E-d3SAT1.86
vis.bakery.E-d4SAT2.08
eijk.S386.S-d3SAT15.91
eijk.S526.S-d4FAIL23.35
irst.dme6.B-d3FAIL23.95
nusmv.reactor^1.C-d4FAIL24.57
ken.flash^11.C-d2FAIL24.86
ken.flash^11.C-d4FAIL25.05
nusmv.reactor^3.C-d4FAIL25.3
ken.flash^10.C-d3FAIL25.46
ken.flash^10.C-d4FAIL25.48
ken.flash^08.C-d4FAIL25.51
ken.flash^14.C-d2FAIL25.62
ken.flash^14.C-d3FAIL25.7
ken.flash^04.C-d2FAIL25.82
ken.flash^14.C-d4FAIL25.93
ken.flash^02.C-d2FAIL26.03
ken.flash^02.C-d3FAIL26.09
eijk.bs4863.S-d2FAIL26.19
ken.flash^06.C-d2FAIL27.19
ken.flash^06.C-d3FAIL27.27
nusmv.queue.B-d2FAIL27.43
vis.4-arbit^1.E-d4FAIL27.52
ken.flash^08.C-d3FAIL27.57
nusmv.queue.B-d3FAIL27.8
nusmv.queue.B-d4FAIL27.8
ken.flash^09.C-d4FAIL28.25
eijk.S349.S-d3FAIL28.71
irst.dme4.B-d3FAIL28.81
eijk.S344.S-d3FAIL28.91
nusmv.reactor^1.C-d3FAIL28.94
nusmv.guidance^1.C-d2FAIL28.99
ken.flash^01.C-d3FAIL29.09
nusmv.dme2-16.B-d3FAIL29.15
nusmv.reactor^4.C-d2FAIL29.23
cmu.gigamax.B-d2FAIL29.34
nusmv.tcas-t^1.B-d2FAIL29.36
ken.flash^13.C-d3FAIL29.48
vis.prodcell^01.E-d4FAIL29.48
nusmv.tcas^1.B-d2FAIL29.52
cmu.gigamax.B-d4FAIL29.53
ken.flash^05.C-d2FAIL29.59
eijk.bs4863.S-d3FAIL29.62
eijk.S641.S-d3FAIL29.71
eijk.S713.S-d4FAIL29.89
ken.flash^05.C-d3FAIL29.91
eijk.S382.S-d4FAIL29.99
eijk.S641.S-d4FAIL30.03
eijk.bs1512.S-d3FAIL30.18
nusmv.guidance^5.C-d3FAIL30.34
eijk.S832.S-d4FAIL30.39
nusmv.tcas^1.B-d3FAIL30.45
nusmv.guidance^2.C-d3FAIL30.49
nusmv.guidance^4.C-d3FAIL30.54
eijk.S386.S-d4FAIL30.62
vis.coherence^1.E-d4FAIL30.73
irst.dme5.B-d4FAIL30.74
nusmv.guidance^6.C-d3FAIL30.77
ken.flash^12.C-d4FAIL30.94
eijk.S1196.S-d3FAIL31.09
eijk.S1238.S-d3FAIL31.24
nusmv.brp.B-d3FAIL31.24
eijk.bs6669.S-d3FAIL31.35
nusmv.tcas^1.B-d4FAIL31.59
nusmv.brp.B-d2FAIL31.81
vis.emodel.E-d4FAIL32.05
vis.prodcell^01.E-d3FAIL32.15
ken.oop^1.C-d3FAIL33.06
ken.oop^1.C-d4FAIL33.3
nusmv.dme2-16.B-d4FAIL35.93