Instances of family tipfixpoint solved by Quaffle
QBFEVAL'06

InstanceResultTime
texas.ifetch1^1.E-f2UNSAT0.05
texas.ifetch1^4.E-f2UNSAT0.05
vis.emodel.E-f2UNSAT0.05
texas.ifetch1^3.E-f2UNSAT0.06
texas.ifetch1^2.E-f2UNSAT0.07
texas.parsesys^4.E-f2UNSAT0.09
vis.elevator^1.E-f2UNSAT0.15
nusmv.reactor^5.C-f2UNSAT0.25
texas.PI_main^14.E-f2UNSAT0.46
nusmv.syncarb5^2.B-f2SAT8.61
vis.eisenberg.E-f2SAT54.62
vis.bakery.E-f2SAT172.86
texas.parsesys^1.E-f2SAT472.01
eijk.S386.S-f2FAIL562.52
eijk.S420.S-f2FAIL571.32
eijk.S838.S-f2FAIL573.24
eijk.S208.S-f2FAIL574.73
eijk.S444.S-f2FAIL576.43
eijk.bs1512.S-f2FAIL576.66
eijk.S382.S-f2FAIL577.02
eijk.S953.S-f2FAIL579.26
eijk.S349.S-f2FAIL579.59
irst.dme4.B-f2FAIL579.76
eijk.S344.S-f2FAIL580.11
irst.dme5.B-f2FAIL580.79
eijk.S832.S-f2FAIL580.89
irst.dme6.B-f2FAIL581.3
eijk.S510.S-f2FAIL581.57
eijk.S526.S-f2FAIL581.71
eijk.S298.S-f2FAIL582.13
eijk.S641.S-f2FAIL583
eijk.S208o.S-f2FAIL583.78
eijk.S820.S-f2FAIL584.06
cmu.dme2.B-f2FAIL584.08
eijk.S713.S-f2FAIL584.93
eijk.S208c.S-f2FAIL586.1
nusmv.brp.B-f2FAIL587.27
cmu.dme1.B-f2FAIL590.05
texas.ifetch1^9.E-f2FAIL590.1
texas.ifetch1^7.E-f2FAIL590.3
texas.ifetch1^8.E-f2FAIL590.48
texas.ifetch1^5.E-f2FAIL591.19
ken.oop^1.C-f2FAIL591.53
vis.4-arbit^1.E-f2FAIL593.64
vis.4-arbit^2.E-f2FAIL594.12
texas.parsesys^3.E-f2FAIL595.52
ken.oop^2.C-f2FAIL597.47
vis.arbiter.E-f2FAIL597.58
texas.parsesys^2.E-f2FAIL597.89
nusmv.syncarb10^2.B-f2FAIL597.9
texas.two_proc^3.E-f2FAIL598.33
texas.two_proc^4.E-f2FAIL598.36
texas.two_proc^6.E-f2FAIL598.47
texas.two_proc^2.E-f2FAIL598.56
texas.two_proc^5.E-f2FAIL598.67
vis.coherence^2.E-f2FAIL598.7
texas.two_proc^1.E-f2FAIL598.71
cmu.gigamax.B-f2FAIL598.71
vis.coherence^3.E-f2FAIL598.8
vis.coherence^5.E-f2FAIL598.84
vis.coherence^1.E-f2FAIL599.13
texas.PI_main^01.E-f2FAIL599.33
texas.PI_main^11.E-f2FAIL599.38
texas.PI_main^02.E-f2FAIL599.43
vis.elevator^2.E-f2FAIL599.45
texas.PI_main^10.E-f2FAIL599.46
texas.PI_main^12.E-f2FAIL599.58
vis.elevator^3.E-f2FAIL599.58
texas.PI_main^16.E-f2FAIL599.61
nusmv.reactor^4.C-f2FAIL599.76
nusmv.reactor^3.C-f2FAIL599.87
nusmv.reactor^7.C-f2FAIL599.89
nusmv.reactor^6.C-f2FAIL599.97
nusmv.reactor^2.C-f2FAIL5990.51