Instances of family tipfixpoint solved by Nenofex
QBFEVAL'08

InstanceResultTime
texas.parsesys^4.E-f2UNSAT0.02
texas.parsesys^4.E-f3UNSAT0.04
texas.ifetch1^4.E-f2UNSAT0.05
texas.parsesys^4.E-f4UNSAT0.06
texas.ifetch1^4.E-f3UNSAT0.08
nusmv.reactor^3.C-f4UNSAT0.12
texas.ifetch1^4.E-f4UNSAT0.13
ken.flash^10.C-f2UNSAT0.2
ken.flash^10.C-f3UNSAT0.31
ken.flash^10.C-f4UNSAT0.44
vis.emodel.E-f4UNSAT1.2
vis.emodel.E-f3UNSAT1.54
vis.emodel.E-f2UNSAT1.57
vis.elevator^1.E-f2UNSAT2.52
vis.elevator^1.E-f4UNSAT5.62
texas.ifetch1^1.E-f2UNSAT5.99
vis.prodcell^21.E-f2UNSAT6.35
texas.parsesys^2.E-f2UNSAT13.61
vis.prodcell^21.E-f3UNSAT14.83
vis.elevator^1.E-f3UNSAT22.52
vis.prodcell^21.E-f4UNSAT22.8
texas.parsesys^3.E-f2SAT27.82
vis.eisenberg.E-f2SAT54.22
nusmv.syncarb5^2.B-f2SAT74.95
texas.parsesys^1.E-f2SAT114.09
eijk.S382.S-f3FAIL256.12
eijk.S444.S-f4FAIL280.23
eijk.S444.S-f3FAIL313.05
eijk.S382.S-f4FAIL318.66
vis.bakery.E-f2SAT318.87
nusmv.brp.B-f2FAIL340.03
eijk.S953.S-f4FAIL346.04
eijk.S349.S-f2FAIL353.39
eijk.S510.S-f2FAIL361.06
eijk.S208c.S-f2FAIL364.48
texas.PI_main^15.E-f2FAIL364.84
eijk.S349.S-f4FAIL376.18
eijk.S208c.S-f4FAIL378.34
eijk.S526.S-f4FAIL385.18
eijk.S298.S-f2FAIL391.72
texas.PI_main^11.E-f3FAIL396.21
eijk.S344.S-f2FAIL404.97
vis.4-arbit^1.E-f2FAIL409.83
texas.ifetch1^1.E-f3FAIL416.51
texas.PI_main^16.E-f3FAIL417.22
vis.prodcell^15.E-f4FAIL418.28
eijk.S1196.S-f4FAIL421.45
eijk.S510.S-f3FAIL422.57
eijk.S526.S-f2FAIL423
eijk.S344.S-f4FAIL428.11
vis.prodcell^12.E-f4FAIL435.55
texas.PI_main^01.E-f2FAIL439.61
texas.PI_main^03.E-f3FAIL442.66
eijk.S444.S-f2FAIL445.61
eijk.S298.S-f4FAIL448.04
vis.prodcell^16.E-f4FAIL448.72
ken.flash^07.C-f2FAIL451.22
vis.prodcell^08.E-f4FAIL456.43
vis.prodcell^04.E-f4FAIL456.68
eijk.S298.S-f3FAIL456.87
texas.PI_main^12.E-f2FAIL458.07
eijk.S382.S-f2FAIL458.54
vis.prodcell^03.E-f4FAIL464.07
vis.prodcell^11.E-f4FAIL464.84
vis.coherence^2.E-f4FAIL468.92
texas.PI_main^10.E-f2FAIL474.9
texas.two_proc^6.E-f2FAIL476.17
vis.prodcell^23.E-f4FAIL478.68
texas.two_proc^5.E-f2FAIL485.19
vis.prodcell^07.E-f4FAIL487.25
texas.two_proc^6.E-f4FAIL489.31
texas.two_proc^5.E-f4FAIL491.09
vis.prodcell^24.E-f4FAIL491.18
texas.PI_main^13.E-f3FAIL491.88
vis.prodcell^09.E-f4FAIL491.89
texas.PI_main^12.E-f3FAIL492.58
cmu.dme2.B-f2FAIL494.89
vis.prodcell^14.E-f4FAIL496.7
texas.PI_main^08.E-f2FAIL498.7
vis.prodcell^06.E-f4FAIL501.04
texas.PI_main^14.E-f3FAIL503.49
vis.prodcell^10.E-f4FAIL505.75
vis.prodcell^05.E-f4FAIL507.47
ken.flash^01.C-f2FAIL508.64
nusmv.syncarb10^2.B-f3FAIL510.71
ken.flash^08.C-f2FAIL511.63
ken.flash^12.C-f3FAIL513.45
texas.PI_main^10.E-f4FAIL513.99
vis.prodcell^17.E-f4FAIL514.88
vis.prodcell^01.E-f4FAIL515.27
ken.flash^03.C-f2FAIL521.23
texas.ifetch1^2.E-f3FAIL522.24
vis.prodcell^20.E-f4FAIL522.43
vis.prodcell^02.E-f4FAIL522.46
vis.4-arbit^1.E-f4FAIL523.86
texas.PI_main^05.E-f2FAIL524.1
vis.eisenberg.E-f4FAIL524.15
vis.prodcell^19.E-f4FAIL525.47
vis.elevator^2.E-f4FAIL527.84
vis.prodcell^22.E-f4FAIL528.5
nusmv.brp.B-f3FAIL530.75
vis.prodcell^18.E-f4FAIL531.17
vis.prodcell^13.E-f4FAIL541.01
texas.two_proc^2.E-f3FAIL542.38
eijk.S1238.S-f4FAIL543.39
texas.two_proc^3.E-f3FAIL546.25
nusmv.queue.B-f2FAIL560.28
eijk.S526.S-f3FAIL565.5
vis.prodcell^13.E-f3FAIL570.05
texas.PI_main^15.E-f4FAIL570.07
texas.PI_main^11.E-f4FAIL571.01
eijk.S386.S-f2FAIL574.14
eijk.S641.S-f3FAIL574.66
texas.PI_main^03.E-f4FAIL575.91
ken.flash^05.C-f2FAIL576.66
texas.ifetch1^3.E-f3FAIL577.03
texas.PI_main^01.E-f4FAIL577.38
ken.flash^06.C-f2FAIL577.82
vis.prodcell^14.E-f2FAIL580.1
texas.PI_main^02.E-f3FAIL582.7
vis.prodcell^23.E-f3FAIL582.76
ken.flash^02.C-f3FAIL583.42
texas.PI_main^05.E-f4FAIL584.2
nusmv.syncarb10^2.B-f2FAIL584.46
eijk.S713.S-f2FAIL586.51
eijk.S420.S-f2FAIL587.81
texas.ifetch1^8.E-f2FAIL591.07
vis.prodcell^05.E-f2FAIL593.41
cmu.dme1.B-f2FAIL593.42
cmu.dme1.B-f3FAIL594.41
texas.two_proc^1.E-f2FAIL597.37
eijk.S349.S-f3FAIL597.56
eijk.S641.S-f2FAIL599.61
nusmv.tcas-t^1.B-f2FAIL600
cmu.dme2.B-f3FAIL600
nusmv.tcas-t^3.B-f4FAIL600
eijk.bs1512.S-f2FAIL600
nusmv.tcas-t^6.B-f3FAIL600
eijk.bs3330.S-f4FAIL600
texas.ifetch1^3.E-f2FAIL600
eijk.bs6669.S-f3FAIL600
texas.ifetch1^5.E-f4FAIL600
eijk.S1423.S-f2FAIL600
texas.ifetch1^9.E-f3FAIL600
eijk.S208o.S-f4FAIL600
eijk.S344.S-f3FAIL600
texas.PI_main^05.E-f3FAIL600
texas.PI_main^11.E-f2FAIL600
eijk.S5378.S-f3FAIL600
texas.PI_main^13.E-f4FAIL600
eijk.S820.S-f2FAIL600
eijk.S838.S-f4FAIL600
texas.two_proc^3.E-f2FAIL600
irst.dme5.B-f3FAIL600
ken.flash^02.C-f2FAIL600
vis.4-arbit^2.E-f3FAIL600
ken.flash^04.C-f4FAIL600
vis.coherence^1.E-f2FAIL600
ken.flash^07.C-f3FAIL600
vis.coherence^3.E-f4FAIL600
ken.flash^12.C-f4FAIL600
nusmv.guidance^1.C-f2FAIL600
vis.prodcell^05.E-f3FAIL600
nusmv.guidance^3.C-f4FAIL600
vis.prodcell^08.E-f2FAIL600
nusmv.guidance^6.C-f3FAIL600
vis.prodcell^11.E-f2FAIL600
nusmv.guidance^9.C-f2FAIL600
nusmv.reactor^2.C-f4FAIL600
vis.prodcell^16.E-f3FAIL600
nusmv.reactor^5.C-f3FAIL600
vis.prodcell^19.E-f2FAIL600
nusmv.tcas^1.B-f4FAIL600
vis.prodcell^24.E-f3FAIL600
nusmv.tcas^4.B-f3FAIL600
nusmv.tcas-t^1.B-f3FAIL600
cmu.dme2.B-f4FAIL600
nusmv.tcas-t^4.B-f2FAIL600
eijk.bs1512.S-f3FAIL600
nusmv.tcas-t^6.B-f4FAIL600
eijk.bs3384.S-f2FAIL600
eijk.bs6669.S-f4FAIL600
texas.ifetch1^7.E-f2FAIL600
eijk.S1423.S-f3FAIL600
texas.ifetch1^9.E-f4FAIL600
eijk.S208.S-f2FAIL600
texas.parsesys^3.E-f3FAIL600
texas.PI_main^02.E-f2FAIL600
eijk.S386.S-f3FAIL600
eijk.S5378.S-f4FAIL600
texas.PI_main^14.E-f2FAIL600
eijk.S820.S-f3FAIL600
texas.PI_main^16.E-f4FAIL600
eijk.S953.S-f2FAIL600
irst.dme5.B-f4FAIL600
vis.4-arbit^2.E-f4FAIL600
vis.coherence^1.E-f3FAIL600
ken.flash^07.C-f4FAIL600
vis.coherence^5.E-f2FAIL600
ken.oop^1.C-f2FAIL600
nusmv.brp.B-f4FAIL600
vis.prodcell^03.E-f2FAIL600
nusmv.guidance^1.C-f3FAIL600
nusmv.guidance^4.C-f2FAIL600
vis.prodcell^08.E-f3FAIL600
nusmv.guidance^6.C-f4FAIL600
vis.prodcell^11.E-f3FAIL600
nusmv.guidance^9.C-f3FAIL600
nusmv.reactor^3.C-f2FAIL600
nusmv.reactor^5.C-f4FAIL600
vis.prodcell^19.E-f3FAIL600
vis.prodcell^22.E-f2FAIL600
nusmv.tcas^2.B-f2FAIL600
nusmv.tcas^4.B-f4FAIL600
nusmv.tcas-t^1.B-f4FAIL600
cmu.gigamax.B-f2FAIL600
nusmv.tcas-t^4.B-f3FAIL600
eijk.bs1512.S-f4FAIL600
eijk.bs3384.S-f3FAIL600
texas.ifetch1^3.E-f4FAIL600
eijk.S1196.S-f2FAIL600
texas.ifetch1^7.E-f3FAIL600
eijk.S1423.S-f4FAIL600
eijk.S208.S-f3FAIL600
texas.parsesys^3.E-f4FAIL600
eijk.S386.S-f4FAIL600
eijk.S820.S-f4FAIL600
eijk.S953.S-f3FAIL600
texas.two_proc^3.E-f4FAIL600
irst.dme6.B-f2FAIL600
texas.two_proc^6.E-f3FAIL600
ken.flash^02.C-f4FAIL600
vis.arbiter.E-f2FAIL600
ken.flash^05.C-f3FAIL600
vis.coherence^1.E-f4FAIL600
vis.coherence^5.E-f3FAIL600
vis.elevator^2.E-f2FAIL600
ken.oop^1.C-f3FAIL600
nusmv.dme1-16.B-f2FAIL600
vis.prodcell^03.E-f3FAIL600
nusmv.guidance^1.C-f4FAIL600
vis.prodcell^06.E-f2FAIL600
nusmv.guidance^4.C-f3FAIL600
nusmv.guidance^7.C-f2FAIL600
nusmv.guidance^9.C-f4FAIL600
vis.prodcell^14.E-f3FAIL600
nusmv.reactor^3.C-f3FAIL600
vis.prodcell^17.E-f2FAIL600
nusmv.reactor^6.C-f2FAIL600
nusmv.syncarb10^2.B-f4FAIL600
vis.prodcell^22.E-f3FAIL600
nusmv.tcas^2.B-f3FAIL600
nusmv.tcas^5.B-f2FAIL600
nusmv.tcas-t^2.B-f2FAIL600
cmu.gigamax.B-f3FAIL600
nusmv.tcas-t^4.B-f4FAIL600
eijk.bs3271.S-f2FAIL600
eijk.bs3384.S-f4FAIL600
eijk.S1196.S-f3FAIL600
texas.ifetch1^7.E-f4FAIL600
texas.parsesys^1.E-f3FAIL600
eijk.S208.S-f4FAIL600
texas.PI_main^02.E-f4FAIL600
texas.PI_main^08.E-f3FAIL600
eijk.S510.S-f4FAIL600
texas.PI_main^14.E-f4FAIL600
eijk.S832.S-f2FAIL600
texas.two_proc^1.E-f3FAIL600
texas.two_proc^4.E-f2FAIL600
irst.dme6.B-f3FAIL600
vis.arbiter.E-f3FAIL600
ken.flash^05.C-f4FAIL600
vis.coherence^2.E-f2FAIL600
ken.flash^08.C-f3FAIL600
vis.coherence^5.E-f4FAIL600
ken.flash^11.C-f2FAIL600
vis.elevator^2.E-f3FAIL600
ken.oop^1.C-f4FAIL600
vis.prodcell^01.E-f2FAIL600
nusmv.dme1-16.B-f3FAIL600
nusmv.guidance^2.C-f2FAIL600
vis.prodcell^06.E-f3FAIL600
nusmv.guidance^4.C-f4FAIL600
vis.prodcell^09.E-f2FAIL600
nusmv.guidance^7.C-f3FAIL600
vis.prodcell^12.E-f2FAIL600
vis.prodcell^17.E-f3FAIL600
nusmv.reactor^6.C-f3FAIL600
vis.prodcell^20.E-f2FAIL600
nusmv.tcas^2.B-f4FAIL600
nusmv.tcas^5.B-f3FAIL600
nusmv.tcas-t^2.B-f3FAIL600
cmu.gigamax.B-f4FAIL600
nusmv.tcas-t^5.B-f2FAIL600
eijk.bs3271.S-f3FAIL600
texas.ifetch1^1.E-f4FAIL600
eijk.bs4863.S-f2FAIL600
eijk.S208c.S-f3FAIL600
texas.parsesys^1.E-f4FAIL600
texas.PI_main^03.E-f2FAIL600
eijk.S420.S-f3FAIL600
texas.PI_main^08.E-f4FAIL600
eijk.S641.S-f4FAIL600
eijk.S832.S-f3FAIL600
texas.two_proc^1.E-f4FAIL600
irst.dme4.B-f2FAIL600
texas.two_proc^4.E-f3FAIL600
irst.dme6.B-f4FAIL600
ken.flash^03.C-f3FAIL600
vis.arbiter.E-f4FAIL600
vis.coherence^2.E-f3FAIL600
ken.flash^08.C-f4FAIL600
ken.flash^11.C-f3FAIL600
ken.oop^2.C-f2FAIL600
vis.prodcell^01.E-f3FAIL600
nusmv.dme1-16.B-f4FAIL600
vis.prodcell^04.E-f2FAIL600
nusmv.guidance^2.C-f3FAIL600
nusmv.guidance^5.C-f2FAIL600
vis.prodcell^09.E-f3FAIL600
nusmv.guidance^7.C-f4FAIL600
vis.prodcell^12.E-f3FAIL600
nusmv.queue.B-f3FAIL600
vis.prodcell^15.E-f2FAIL600
nusmv.reactor^4.C-f2FAIL600
nusmv.reactor^6.C-f4FAIL600
vis.prodcell^20.E-f3FAIL600
nusmv.syncarb5^2.B-f3FAIL600
vis.prodcell^23.E-f2FAIL600
nusmv.tcas^3.B-f2FAIL600
nusmv.tcas^5.B-f4FAIL600
nusmv.tcas-t^2.B-f4FAIL600
cmu.periodic.N-f2FAIL600
nusmv.tcas-t^5.B-f3FAIL600
eijk.bs3271.S-f4FAIL600
texas.ifetch1^2.E-f2FAIL600
eijk.bs4863.S-f3FAIL600
eijk.S1238.S-f2FAIL600
texas.ifetch1^8.E-f3FAIL600
eijk.S420.S-f4FAIL600
texas.PI_main^12.E-f4FAIL600
texas.PI_main^15.E-f3FAIL600
eijk.S832.S-f4FAIL600
texas.two_proc^2.E-f2FAIL600
irst.dme4.B-f3FAIL600
texas.two_proc^4.E-f4FAIL600
vis.4-arbit^1.E-f3FAIL600
ken.flash^03.C-f4FAIL600
ken.flash^06.C-f3FAIL600
ken.flash^09.C-f2FAIL600
vis.eisenberg.E-f3FAIL600
ken.flash^11.C-f4FAIL600
vis.elevator^3.E-f2FAIL600
ken.oop^2.C-f3FAIL600
nusmv.dme2-16.B-f2FAIL600
vis.prodcell^04.E-f3FAIL600
nusmv.guidance^2.C-f4FAIL600
vis.prodcell^07.E-f2FAIL600
nusmv.guidance^5.C-f3FAIL600
nusmv.guidance^8.C-f2FAIL600
nusmv.queue.B-f4FAIL600
vis.prodcell^15.E-f3FAIL600
nusmv.reactor^4.C-f3FAIL600
vis.prodcell^18.E-f2FAIL600
nusmv.reactor^7.C-f2FAIL600
nusmv.syncarb5^2.B-f4FAIL600
nusmv.tcas^3.B-f3FAIL600
nusmv.tcas^6.B-f2FAIL600
cmu.dme1.B-f4FAIL600
nusmv.tcas-t^3.B-f2FAIL600
cmu.periodic.N-f3FAIL600
nusmv.tcas-t^5.B-f4FAIL600
eijk.bs3330.S-f2FAIL600
eijk.bs4863.S-f4FAIL600
texas.ifetch1^5.E-f2FAIL600
eijk.S1238.S-f3FAIL600
texas.ifetch1^8.E-f4FAIL600
eijk.S208o.S-f2FAIL600
texas.parsesys^2.E-f3FAIL600
texas.PI_main^10.E-f3FAIL600
texas.PI_main^13.E-f2FAIL600
eijk.S713.S-f3FAIL600
eijk.S838.S-f2FAIL600
irst.dme4.B-f4FAIL600
ken.flash^01.C-f3FAIL600
ken.flash^04.C-f2FAIL600
vis.bakery.E-f3FAIL600
ken.flash^06.C-f4FAIL600
vis.coherence^3.E-f2FAIL600
ken.flash^09.C-f3FAIL600
ken.flash^12.C-f2FAIL600
vis.elevator^3.E-f3FAIL600
ken.oop^2.C-f4FAIL600
vis.prodcell^02.E-f2FAIL600
nusmv.dme2-16.B-f3FAIL600
nusmv.guidance^3.C-f2FAIL600
vis.prodcell^07.E-f3FAIL600
nusmv.guidance^5.C-f4FAIL600
vis.prodcell^10.E-f3FAIL600
nusmv.guidance^8.C-f3FAIL600
vis.prodcell^13.E-f2FAIL600
nusmv.reactor^2.C-f2FAIL600
nusmv.reactor^4.C-f4FAIL600
vis.prodcell^18.E-f3FAIL600
nusmv.reactor^7.C-f3FAIL600
nusmv.tcas^1.B-f2FAIL600
nusmv.tcas^3.B-f4FAIL600
nusmv.tcas^6.B-f3FAIL600
nusmv.tcas^6.B-f4FAIL600
nusmv.tcas-t^3.B-f3FAIL600
cmu.periodic.N-f4FAIL600
nusmv.tcas-t^6.B-f2FAIL600
eijk.bs3330.S-f3FAIL600
texas.ifetch1^2.E-f4FAIL600
eijk.bs6669.S-f2FAIL600
texas.ifetch1^5.E-f3FAIL600
texas.ifetch1^9.E-f2FAIL600
eijk.S208o.S-f3FAIL600
texas.parsesys^2.E-f4FAIL600
texas.PI_main^01.E-f3FAIL600
eijk.S5378.S-f2FAIL600
eijk.S713.S-f4FAIL600
texas.PI_main^16.E-f2FAIL600
eijk.S838.S-f3FAIL600
texas.two_proc^2.E-f4FAIL600
irst.dme5.B-f2FAIL600
texas.two_proc^5.E-f3FAIL600
ken.flash^01.C-f4FAIL600
vis.4-arbit^2.E-f2FAIL600
ken.flash^04.C-f3FAIL600
vis.bakery.E-f4FAIL600
vis.coherence^3.E-f3FAIL600
ken.flash^09.C-f4FAIL600
vis.elevator^3.E-f4FAIL600
vis.prodcell^02.E-f3FAIL600
nusmv.dme2-16.B-f4FAIL600
nusmv.guidance^3.C-f3FAIL600
nusmv.guidance^6.C-f2FAIL600
nusmv.guidance^8.C-f4FAIL600
nusmv.reactor^2.C-f3FAIL600
vis.prodcell^16.E-f2FAIL600
nusmv.reactor^5.C-f2FAIL600
nusmv.reactor^7.C-f4FAIL600
nusmv.tcas^1.B-f3FAIL600
vis.prodcell^24.E-f2FAIL600
nusmv.tcas^4.B-f2FAIL600