Instances of family tipfixpoint solved by EBDDRES
QBFEVAL'07

InstanceResultTime
texas.ifetch1^4.E-f4FAIL20.23
vis.prodcell^24.E-f2FAIL20.99
vis.prodcell^24.E-f3FAIL21.01
texas.ifetch1^9.E-f4FAIL21.11
vis.prodcell^21.E-f3FAIL21.14
vis.prodcell^24.E-f4FAIL21.29
vis.prodcell^23.E-f3FAIL21.32
vis.prodcell^20.E-f4FAIL21.43
vis.prodcell^21.E-f4FAIL21.44
texas.ifetch1^9.E-f2FAIL21.69
vis.prodcell^19.E-f2FAIL22.18
nusmv.syncarb5^2.B-f3FAIL22.29
eijk.S444.S-f2FAIL22.38
eijk.S208o.S-f2FAIL22.84
texas.ifetch1^8.E-f2FAIL22.9
texas.ifetch1^7.E-f2FAIL23.05
vis.prodcell^23.E-f4FAIL23.08
texas.ifetch1^5.E-f2FAIL23.15
texas.ifetch1^2.E-f2FAIL23.26
vis.prodcell^09.E-f4FAIL23.28
vis.prodcell^22.E-f3FAIL23.31
texas.two_proc^5.E-f3FAIL23.42
vis.arbiter.E-f2FAIL23.51
texas.ifetch1^3.E-f2FAIL23.53
vis.prodcell^22.E-f4FAIL23.57
vis.prodcell^08.E-f4FAIL23.61
eijk.S208.S-f2FAIL23.63
vis.prodcell^07.E-f4FAIL23.65
vis.prodcell^10.E-f3FAIL24.26
eijk.S208.S-f3FAIL24.62
texas.parsesys^2.E-f4FAIL24.7
texas.parsesys^2.E-f2FAIL24.71
vis.prodcell^02.E-f4FAIL24.71
nusmv.reactor^3.C-f3FAIL24.75
nusmv.tcas-t^6.B-f4FAIL24.81
vis.prodcell^04.E-f4FAIL24.81
nusmv.tcas-t^4.B-f4FAIL24.89
nusmv.reactor^3.C-f4FAIL24.9
nusmv.reactor^6.C-f4FAIL24.94
texas.PI_main^08.E-f2FAIL24.99
irst.dme5.B-f3FAIL25.03
ken.flash^03.C-f4FAIL25.15
vis.prodcell^04.E-f3FAIL25.16
nusmv.syncarb5^2.B-f4FAIL25.17
nusmv.dme1-16.B-f2FAIL25.18
ken.flash^09.C-f2FAIL25.29
ken.flash^01.C-f4FAIL25.29
nusmv.dme2-16.B-f4FAIL25.33
nusmv.reactor^4.C-f2FAIL25.4
nusmv.reactor^7.C-f2FAIL25.44
eijk.S208o.S-f3FAIL25.45
eijk.S510.S-f4FAIL25.53
nusmv.brp.B-f2FAIL25.58
texas.PI_main^05.E-f2FAIL25.68
texas.PI_main^16.E-f3FAIL25.75
ken.flash^09.C-f4FAIL25.79
nusmv.reactor^2.C-f2FAIL25.86
nusmv.brp.B-f4FAIL25.95
nusmv.reactor^6.C-f2FAIL26
nusmv.reactor^5.C-f4FAIL26.01
eijk.S208c.S-f2FAIL26.19
ken.flash^02.C-f2FAIL26.41
ken.flash^02.C-f4FAIL26.45
texas.PI_main^08.E-f3FAIL26.63
eijk.S349.S-f2FAIL26.64
texas.PI_main^05.E-f3FAIL26.67
eijk.S820.S-f2FAIL26.74
texas.PI_main^13.E-f3FAIL26.75
eijk.S820.S-f4FAIL26.83
ken.flash^06.C-f2FAIL26.97
eijk.S420.S-f4FAIL27.01
texas.PI_main^14.E-f3FAIL27.09
eijk.S344.S-f2FAIL27.13
vis.prodcell^08.E-f3FAIL27.16
irst.dme6.B-f2FAIL27.2
texas.PI_main^12.E-f4FAIL27.31
vis.prodcell^22.E-f2FAIL27.5
ken.flash^10.C-f2FAIL27.51
ken.flash^10.C-f4FAIL27.52
eijk.S1423.S-f4FAIL27.69
eijk.bs3271.S-f4FAIL27.78
nusmv.dme2-16.B-f3FAIL27.89
vis.prodcell^04.E-f2FAIL27.91
nusmv.queue.B-f2FAIL27.97
nusmv.queue.B-f3FAIL28.03
nusmv.queue.B-f4FAIL28.03
eijk.S641.S-f4FAIL28.08
nusmv.guidance^2.C-f3FAIL28.09
nusmv.guidance^1.C-f3FAIL28.1
texas.ifetch1^3.E-f4FAIL28.13
vis.4-arbit^1.E-f2FAIL28.31
texas.ifetch1^1.E-f4FAIL28.35
vis.elevator^1.E-f3FAIL28.38
vis.emodel.E-f4FAIL28.39
eijk.S641.S-f3FAIL28.41
nusmv.tcas^6.B-f3FAIL28.44
nusmv.reactor^7.C-f3FAIL28.47
nusmv.guidance^9.C-f3FAIL28.49
nusmv.reactor^4.C-f3FAIL28.49
nusmv.reactor^7.C-f4FAIL28.49
nusmv.tcas^6.B-f4FAIL28.55
nusmv.reactor^4.C-f4FAIL28.56
eijk.S5378.S-f2FAIL28.57
ken.flash^03.C-f3FAIL28.59
vis.elevator^1.E-f4FAIL28.6
vis.elevator^2.E-f4FAIL28.6
vis.elevator^2.E-f3FAIL28.61
nusmv.tcas^5.B-f2FAIL28.68
vis.prodcell^03.E-f3FAIL28.73
ken.flash^08.C-f4FAIL28.75
ken.flash^08.C-f3FAIL28.76
nusmv.tcas^3.B-f2FAIL28.76
texas.PI_main^01.E-f2FAIL28.77
nusmv.tcas^2.B-f2FAIL28.8
nusmv.tcas^2.B-f3FAIL28.81
nusmv.syncarb10^2.B-f3FAIL28.84
eijk.S526.S-f4FAIL28.86
nusmv.tcas^4.B-f3FAIL28.86
nusmv.tcas^3.B-f4FAIL28.9
ken.flash^04.C-f2FAIL28.91
nusmv.tcas^4.B-f4FAIL28.93
ken.flash^07.C-f4FAIL29.01
vis.coherence^2.E-f3FAIL29.03
nusmv.guidance^3.C-f2FAIL29.06
nusmv.dme2-16.B-f2FAIL29.11
cmu.dme1.B-f3FAIL29.13
vis.prodcell^02.E-f3FAIL29.13
nusmv.tcas^5.B-f4FAIL29.19
eijk.S1423.S-f3FAIL29.29
texas.PI_main^05.E-f4FAIL29.29
nusmv.guidance^7.C-f4FAIL29.31
eijk.S298.S-f4FAIL29.33
nusmv.guidance^5.C-f4FAIL29.35
vis.prodcell^07.E-f2FAIL29.39
eijk.S820.S-f3FAIL29.49
ken.flash^07.C-f3FAIL29.54
nusmv.tcas-t^3.B-f2FAIL29.64
texas.two_proc^6.E-f2FAIL29.65
vis.prodcell^21.E-f2FAIL29.66
texas.ifetch1^8.E-f4FAIL29.73
nusmv.tcas-t^6.B-f2FAIL29.73
irst.dme6.B-f3FAIL29.76
vis.4-arbit^2.E-f2FAIL29.82
eijk.S526.S-f2FAIL29.85
eijk.S832.S-f3FAIL29.86
texas.ifetch1^2.E-f3FAIL29.86
eijk.bs3330.S-f2FAIL29.87
cmu.gigamax.B-f3FAIL30.03
texas.PI_main^12.E-f3FAIL30.04
texas.two_proc^1.E-f3FAIL30.08
cmu.dme2.B-f4FAIL30.15
cmu.gigamax.B-f2FAIL30.17
eijk.S832.S-f2FAIL30.17
vis.eisenberg.E-f3FAIL30.21
eijk.S838.S-f3FAIL30.21
texas.parsesys^3.E-f2FAIL30.22
vis.arbiter.E-f3FAIL30.26
cmu.gigamax.B-f4FAIL30.27
eijk.S838.S-f4FAIL30.49
texas.two_proc^3.E-f4FAIL30.53
nusmv.tcas^1.B-f4FAIL30.74
ken.oop^2.C-f2FAIL30.74
texas.two_proc^1.E-f4FAIL30.83
eijk.bs1512.S-f3FAIL30.83
texas.two_proc^2.E-f3FAIL30.91
vis.4-arbit^2.E-f4FAIL30.93
texas.parsesys^3.E-f4FAIL30.97
texas.PI_main^11.E-f4FAIL30.98
eijk.bs4863.S-f2FAIL31.05
vis.4-arbit^1.E-f3FAIL31.17
texas.PI_main^15.E-f4FAIL31.21
vis.coherence^1.E-f4FAIL31.37
texas.ifetch1^1.E-f3FAIL31.39
texas.PI_main^15.E-f3FAIL31.54
nusmv.tcas^1.B-f2FAIL31.69
vis.4-arbit^2.E-f3FAIL32.11
eijk.S382.S-f4FAIL32.12
eijk.S298.S-f2FAIL32.24
eijk.S526.S-f3FAIL32.24
eijk.S382.S-f2FAIL32.25
eijk.S1423.S-f2FAIL32.55
ken.oop^1.C-f2FAIL32.65
irst.dme4.B-f2FAIL32.71
ken.flash^05.C-f3FAIL32.96
ken.oop^1.C-f3FAIL33.13
irst.dme5.B-f2FAIL33.46
vis.bakery.E-f4FAIL33.67
cmu.periodic.N-f2FAIL33.77
cmu.periodic.N-f3FAIL35.14
cmu.periodic.N-f4FAIL35.4
vis.prodcell^23.E-f2FAIL35.63
ken.flash^11.C-f3FAIL36.07
texas.parsesys^4.E-f4FAIL36.35
texas.parsesys^1.E-f3FAIL36.81
texas.parsesys^4.E-f3FAIL37.25
ken.flash^11.C-f4FAIL38.34