Instances of family tipfixpoint solved by Qbfl
QBFEVAL'06

InstanceResultTime
texas.parsesys^4.E-f2UNSAT0
vis.emodel.E-f2UNSAT33.18
vis.eisenberg.E-f2SAT74.61
nusmv.syncarb5^2.B-f2SAT175.77
vis.bakery.E-f2SAT529.7
texas.ifetch1^5.E-f2FAIL594.12
vis.arbiter.E-f2FAIL594.34
texas.ifetch1^8.E-f2FAIL594.38
vis.4-arbit^1.E-f2FAIL594.53
nusmv.syncarb10^2.B-f2FAIL595.18
texas.parsesys^2.E-f2FAIL596.03
eijk.S208o.S-f2FAIL596.05
texas.parsesys^3.E-f2FAIL596.64
eijk.S208.S-f2FAIL596.73
texas.parsesys^1.E-f2FAIL596.75
eijk.S208c.S-f2FAIL596.86
vis.elevator^3.E-f2FAIL597.21
eijk.S298.S-f2FAIL597.21
texas.PI_main^16.E-f2FAIL598.01
eijk.S386.S-f2FAIL598.09
vis.elevator^2.E-f2FAIL598.16
texas.PI_main^01.E-f2FAIL598.22
texas.PI_main^10.E-f2FAIL598.34
eijk.S510.S-f2FAIL598.34
texas.PI_main^02.E-f2FAIL598.59
cmu.dme2.B-f2FAIL598.67
texas.PI_main^11.E-f2FAIL599.11
texas.two_proc^2.E-f2FAIL599.26
ken.oop^2.C-f2FAIL599.27
texas.ifetch1^1.E-f2FAIL599.37
eijk.S349.S-f2FAIL599.44
eijk.S832.S-f2FAIL599.54
vis.4-arbit^2.E-f2FAIL599.54
texas.two_proc^1.E-f2FAIL599.59
eijk.S344.S-f2FAIL599.72
eijk.S713.S-f2FAIL599.72
texas.two_proc^4.E-f2FAIL599.75
texas.ifetch1^4.E-f2FAIL599.8
texas.ifetch1^9.E-f2FAIL599.81
texas.ifetch1^2.E-f2FAIL599.81
texas.ifetch1^3.E-f2FAIL599.81
nusmv.reactor^3.C-f2FAIL599.84
eijk.S444.S-f2FAIL599.86
eijk.S953.S-f2FAIL599.88
texas.two_proc^6.E-f2FAIL599.9
vis.coherence^5.E-f2FAIL5967.58
eijk.S641.S-f2FAIL5975.09
texas.ifetch1^7.E-f2FAIL5976.83
texas.two_proc^3.E-f2FAIL5980.14
eijk.S420.S-f2FAIL5982.49
eijk.bs1512.S-f2FAIL5984.64
cmu.dme1.B-f2FAIL5985.12
texas.two_proc^5.E-f2FAIL5985.48
vis.coherence^1.E-f2FAIL5985.49
eijk.S820.S-f2FAIL5985.59
vis.coherence^3.E-f2FAIL5986.06
ken.oop^1.C-f2FAIL5986.68
vis.coherence^2.E-f2FAIL5986.79
nusmv.brp.B-f2FAIL5988.5
eijk.S526.S-f2FAIL5989.12
texas.PI_main^12.E-f2FAIL5989.28
vis.elevator^1.E-f2FAIL5989.48
cmu.gigamax.B-f2FAIL5990.35
irst.dme4.B-f2FAIL5990.43
texas.PI_main^14.E-f2FAIL5990.51
irst.dme5.B-f2FAIL5993.37
eijk.S382.S-f2FAIL5994.14
nusmv.reactor^6.C-f2FAIL5994.2
nusmv.reactor^2.C-f2FAIL5994.44
nusmv.reactor^7.C-f2FAIL5994.69
nusmv.reactor^4.C-f2FAIL5994.75
irst.dme6.B-f2FAIL5994.82
eijk.S838.S-f2FAIL5995.74
nusmv.reactor^5.C-f2FAIL5996.12