Instances of family tipfixpoint solved by qube4.0
QBFEVAL'06

InstanceResultTime
vis.emodel.E-f2UNSAT0.05
texas.ifetch1^2.E-f2UNSAT0.05
texas.ifetch1^4.E-f2UNSAT0.05
texas.ifetch1^1.E-f2UNSAT0.06
texas.parsesys^4.E-f2UNSAT0.06
texas.ifetch1^3.E-f2UNSAT0.07
vis.elevator^1.E-f2UNSAT0.16
nusmv.reactor^5.C-f2UNSAT0.25
texas.PI_main^14.E-f2UNSAT0.54
irst.dme6.B-f2FAIL510.38
irst.dme5.B-f2FAIL1275.06
irst.dme4.B-f2FAIL1313.24
nusmv.reactor^4.C-f2FAIL1374.34
nusmv.reactor^7.C-f2FAIL1378.92
vis.eisenberg.E-f2SAT1421.76
nusmv.reactor^6.C-f2FAIL1468.9
nusmv.reactor^2.C-f2FAIL1475.95
eijk.bs1512.S-f2FAIL2072.13
ken.oop^2.C-f2FAIL2803.54
nusmv.reactor^3.C-f2FAIL3243.3
eijk.S641.S-f2FAIL3308.12
eijk.S526.S-f2FAIL4061.56
eijk.S953.S-f2FAIL4101.75
eijk.S510.S-f2FAIL4156.77
cmu.dme1.B-f2FAIL4166.65
cmu.dme2.B-f2FAIL4851.06
eijk.S838.S-f2FAIL5299.46
ken.oop^1.C-f2FAIL5643.62
eijk.S344.S-f2FAIL5999.72
eijk.S832.S-f2FAIL5999.85
eijk.S713.S-f2FAIL5999.88
nusmv.brp.B-f2FAIL5999.9
eijk.S349.S-f2FAIL6000.02
eijk.S382.S-f2FAIL6000.05
eijk.S444.S-f2FAIL6000.06
texas.two_proc^6.E-f2FAIL6000.11
vis.elevator^2.E-f2FAIL6000.13
texas.ifetch1^9.E-f2FAIL6000.14
texas.two_proc^4.E-f2FAIL6000.16
texas.two_proc^2.E-f2FAIL6000.18
nusmv.syncarb10^2.B-f2FAIL6000.18
texas.two_proc^5.E-f2FAIL6000.18
eijk.S820.S-f2FAIL6000.19
cmu.gigamax.B-f2FAIL6000.22
vis.elevator^3.E-f2FAIL6000.24
texas.two_proc^1.E-f2FAIL6000.24
eijk.S298.S-f2FAIL6000.25
texas.ifetch1^8.E-f2FAIL6000.27
texas.two_proc^3.E-f2FAIL6000.28
texas.PI_main^16.E-f2FAIL6000.28
texas.ifetch1^5.E-f2FAIL6000.29
texas.PI_main^02.E-f2FAIL6000.32
eijk.S420.S-f2FAIL6000.34
vis.coherence^5.E-f2FAIL6000.34
texas.PI_main^01.E-f2FAIL6000.36
texas.ifetch1^7.E-f2FAIL6000.36
vis.coherence^1.E-f2FAIL6000.38
texas.PI_main^12.E-f2FAIL6000.39
vis.coherence^3.E-f2FAIL6000.4
vis.coherence^2.E-f2FAIL6000.41
vis.4-arbit^1.E-f2FAIL6000.42
texas.PI_main^11.E-f2FAIL6000.44
texas.PI_main^10.E-f2FAIL6000.45
eijk.S208.S-f2FAIL6000.46
texas.parsesys^3.E-f2FAIL6000.47
eijk.S386.S-f2FAIL6000.48
vis.4-arbit^2.E-f2FAIL6000.48
eijk.S208o.S-f2FAIL6000.49
texas.parsesys^2.E-f2FAIL6000.49
vis.bakery.E-f2FAIL6000.52
eijk.S208c.S-f2FAIL6000.53
texas.parsesys^1.E-f2FAIL6000.53
vis.arbiter.E-f2FAIL6000.61
nusmv.syncarb5^2.B-f2FAIL6000.65