Instances of family tipfixpoint solved by ssolve+ut
QBFEVAL'06

InstanceResultTime
texas.parsesys^4.E-f2UNSAT0.14
vis.emodel.E-f2UNSAT0.19
nusmv.reactor^5.C-f2UNSAT0.33
texas.ifetch1^3.E-f2UNSAT0.36
texas.ifetch1^1.E-f2UNSAT0.37
texas.ifetch1^2.E-f2UNSAT0.42
texas.ifetch1^4.E-f2UNSAT1.01
texas.parsesys^3.E-f2SAT8.34
nusmv.syncarb5^2.B-f2SAT8.35
texas.parsesys^1.E-f2SAT10.71
eijk.S208c.S-f2SAT10.91
vis.bakery.E-f2SAT13.63
eijk.S208.S-f2SAT21.07
eijk.S208o.S-f2SAT22.39
vis.eisenberg.E-f2SAT24.84
vis.4-arbit^1.E-f2SAT38.44
vis.arbiter.E-f2SAT48.16
vis.4-arbit^2.E-f2SAT108.35
texas.PI_main^14.E-f2UNSAT109.12
texas.PI_main^10.E-f2FAIL599.82
eijk.S526.S-f2FAIL599.87
texas.ifetch1^8.E-f2FAIL599.88
eijk.S713.S-f2FAIL599.9
texas.ifetch1^7.E-f2FAIL599.99
eijk.S349.S-f2FAIL599.99
eijk.S298.S-f2SAT1258.53
texas.parsesys^2.E-f2UNSAT2011.48
cmu.dme1.B-f2FAIL5997.27
eijk.S641.S-f2FAIL5997.43
eijk.S344.S-f2FAIL5997.44
irst.dme6.B-f2FAIL5997.69
irst.dme4.B-f2FAIL5997.79
eijk.S832.S-f2FAIL5997.85
texas.ifetch1^9.E-f2FAIL5997.9
eijk.S420.S-f2FAIL5998.14
eijk.bs1512.S-f2FAIL5998.19
eijk.S838.S-f2FAIL5998.23
eijk.S953.S-f2FAIL5998.27
cmu.dme2.B-f2FAIL5998.32
eijk.S820.S-f2FAIL5998.47
eijk.S510.S-f2FAIL5998.5
ken.oop^1.C-f2FAIL5998.67
texas.two_proc^2.E-f2FAIL5998.68
vis.elevator^2.E-f2FAIL5998.74
texas.two_proc^5.E-f2FAIL5998.76
texas.two_proc^6.E-f2FAIL5998.76
nusmv.brp.B-f2FAIL5998.88
texas.ifetch1^5.E-f2FAIL5998.88
texas.two_proc^3.E-f2FAIL5998.89
nusmv.reactor^2.C-f2FAIL5998.92
texas.two_proc^1.E-f2FAIL5998.97
eijk.S444.S-f2FAIL5999.06
texas.two_proc^4.E-f2FAIL5999.07
vis.elevator^3.E-f2FAIL5999.11
eijk.S382.S-f2FAIL5999.16
nusmv.reactor^7.C-f2FAIL5999.17
nusmv.reactor^3.C-f2FAIL5999.21
nusmv.syncarb10^2.B-f2FAIL5999.29
vis.coherence^5.E-f2FAIL5999.32
eijk.S386.S-f2FAIL5999.35
vis.coherence^2.E-f2FAIL5999.35
nusmv.reactor^4.C-f2FAIL5999.41
vis.coherence^1.E-f2FAIL5999.41
texas.PI_main^02.E-f2FAIL5999.5
irst.dme5.B-f2FAIL5999.52
ken.oop^2.C-f2FAIL5999.53
texas.PI_main^11.E-f2FAIL5999.59
nusmv.reactor^6.C-f2FAIL5999.59
vis.coherence^3.E-f2FAIL5999.62
texas.PI_main^16.E-f2FAIL5999.62
texas.PI_main^12.E-f2FAIL5999.7
texas.PI_main^01.E-f2FAIL5999.75
vis.elevator^1.E-f2FAIL6000.26
cmu.gigamax.B-f2FAIL6000.32