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

InstanceResultTime
texas.ifetch1^4.E-f2UNSAT0.13
vis.emodel.E-f2UNSAT0.13
texas.ifetch1^1.E-f2UNSAT0.15
texas.ifetch1^3.E-f2UNSAT0.15
texas.ifetch1^2.E-f2UNSAT0.16
texas.parsesys^4.E-f2UNSAT0.18
vis.elevator^1.E-f2UNSAT0.48
eijk.S298.S-f2SAT0.57
texas.ifetch1^8.E-f2SAT0.61
nusmv.reactor^5.C-f2UNSAT0.75
texas.ifetch1^7.E-f2SAT0.92
nusmv.syncarb5^2.B-f2SAT1.44
texas.ifetch1^5.E-f2SAT1.49
eijk.S344.S-f2SAT1.75
texas.two_proc^6.E-f2SAT1.91
texas.PI_main^14.E-f2UNSAT1.95
texas.ifetch1^9.E-f2SAT2.99
nusmv.brp.B-f2SAT3.3
ken.oop^1.C-f2SAT6.11
ken.oop^2.C-f2SAT6.3
eijk.S526.S-f2SAT8.95
eijk.S444.S-f2SAT9.51
nusmv.reactor^6.C-f2SAT13.41
irst.dme4.B-f2SAT27.45
irst.dme5.B-f2SAT40.08
nusmv.reactor^7.C-f2SAT41.99
nusmv.reactor^4.C-f2SAT43.62
vis.eisenberg.E-f2SAT46.22
eijk.S382.S-f2SAT65.71
eijk.S349.S-f2SAT78.85
eijk.S832.S-f2SAT123.18
irst.dme6.B-f2SAT123.65
vis.4-arbit^1.E-f2SAT226.34
eijk.S820.S-f2SAT231.27
nusmv.reactor^2.C-f2SAT470.13
eijk.S208o.S-f2SAT474.28
vis.4-arbit^2.E-f2SAT532.84
nusmv.reactor^3.C-f2FAIL1865.27
texas.parsesys^1.E-f2SAT4801.95
cmu.gigamax.B-f2FAIL5107.52
eijk.bs1512.S-f2FAIL5329.26
nusmv.syncarb10^2.B-f2FAIL5999.89
eijk.S838.S-f2FAIL6000.08
eijk.S713.S-f2FAIL6000.32
eijk.S420.S-f2FAIL6000.36
texas.two_proc^4.E-f2FAIL6000.44
vis.arbiter.E-f2FAIL6000.51
texas.PI_main^02.E-f2FAIL6000.56
eijk.S641.S-f2FAIL6000.6
texas.two_proc^1.E-f2FAIL6000.61
texas.two_proc^5.E-f2FAIL6000.62
texas.parsesys^3.E-f2FAIL6000.64
eijk.S208.S-f2FAIL6000.64
texas.two_proc^3.E-f2FAIL6000.65
eijk.S510.S-f2FAIL6000.66
texas.PI_main^16.E-f2FAIL6000.67
texas.two_proc^2.E-f2FAIL6000.67
vis.coherence^5.E-f2FAIL6000.68
eijk.S208c.S-f2FAIL6000.71
texas.parsesys^2.E-f2FAIL6000.71
texas.PI_main^12.E-f2FAIL6000.73
texas.PI_main^11.E-f2FAIL6000.75
vis.coherence^3.E-f2FAIL6000.75
cmu.dme2.B-f2FAIL6000.75
vis.coherence^1.E-f2FAIL6000.76
vis.elevator^3.E-f2FAIL6000.77
cmu.dme1.B-f2FAIL6000.79
vis.coherence^2.E-f2FAIL6000.8
eijk.S386.S-f2FAIL6000.83
vis.bakery.E-f2FAIL6000.84
texas.PI_main^10.E-f2FAIL6000.85
eijk.S953.S-f2FAIL6000.85
vis.elevator^2.E-f2FAIL6000.91
texas.PI_main^01.E-f2FAIL6001.02