Instances of family tipfixpoint solved by sSolve
QBFEVAL'06

InstanceResultTime
texas.parsesys^4.E-f2UNSAT0.1
vis.emodel.E-f2UNSAT0.27
texas.ifetch1^3.E-f2UNSAT0.33
texas.ifetch1^1.E-f2UNSAT0.4
texas.ifetch1^2.E-f2UNSAT0.46
nusmv.reactor^5.C-f2UNSAT1.01
texas.ifetch1^4.E-f2UNSAT1.13
texas.parsesys^3.E-f2SAT5.45
eijk.S208c.S-f2SAT5.91
nusmv.syncarb5^2.B-f2SAT8.3
texas.parsesys^1.E-f2SAT8.67
vis.bakery.E-f2SAT8.71
eijk.S208.S-f2SAT19.03
eijk.S208o.S-f2SAT20.4
vis.eisenberg.E-f2SAT26.07
texas.PI_main^14.E-f2UNSAT30.98
vis.4-arbit^1.E-f2SAT39.6
vis.arbiter.E-f2SAT41.02
vis.4-arbit^2.E-f2SAT104.86
eijk.S526.S-f2FAIL599.85
texas.ifetch1^8.E-f2FAIL599.92
eijk.S713.S-f2FAIL599.93
eijk.S349.S-f2FAIL599.95
eijk.S298.S-f2SAT1250.54
texas.parsesys^2.E-f2UNSAT1973.35
cmu.dme1.B-f2FAIL5997.06
eijk.S344.S-f2FAIL5997.58
eijk.S832.S-f2FAIL5997.6
irst.dme6.B-f2FAIL5997.7
texas.ifetch1^9.E-f2FAIL5997.91
eijk.bs1512.S-f2FAIL5997.93
eijk.S641.S-f2FAIL5998.13
eijk.S510.S-f2FAIL5998.18
irst.dme4.B-f2FAIL5998.24
cmu.dme2.B-f2FAIL5998.25
eijk.S420.S-f2FAIL5998.27
eijk.S838.S-f2FAIL5998.33
eijk.S820.S-f2FAIL5998.41
eijk.S953.S-f2FAIL5998.45
texas.two_proc^1.E-f2FAIL5998.57
texas.two_proc^5.E-f2FAIL5998.59
texas.two_proc^6.E-f2FAIL5998.67
nusmv.brp.B-f2FAIL5998.74
ken.oop^1.C-f2FAIL5998.76
texas.two_proc^2.E-f2FAIL5998.77
vis.elevator^2.E-f2FAIL5998.79
vis.elevator^3.E-f2FAIL5998.88
texas.ifetch1^5.E-f2FAIL5998.94
texas.two_proc^3.E-f2FAIL5998.94
nusmv.reactor^7.C-f2FAIL5999.01
texas.ifetch1^7.E-f2FAIL5999.03
nusmv.reactor^2.C-f2FAIL5999.04
texas.two_proc^4.E-f2FAIL5999.05
eijk.S444.S-f2FAIL5999.18
nusmv.syncarb10^2.B-f2FAIL5999.19
eijk.S382.S-f2FAIL5999.21
ken.oop^2.C-f2FAIL5999.25
nusmv.reactor^3.C-f2FAIL5999.28
nusmv.reactor^6.C-f2FAIL5999.35
vis.coherence^3.E-f2FAIL5999.36
vis.coherence^2.E-f2FAIL5999.43
vis.coherence^5.E-f2FAIL5999.44
eijk.S386.S-f2FAIL5999.48
nusmv.reactor^4.C-f2FAIL5999.56
texas.PI_main^01.E-f2FAIL5999.57
texas.PI_main^10.E-f2FAIL5999.61
vis.coherence^1.E-f2FAIL5999.65
texas.PI_main^16.E-f2FAIL5999.69
texas.PI_main^11.E-f2FAIL5999.78
texas.PI_main^02.E-f2FAIL5999.84
texas.PI_main^12.E-f2FAIL5999.85
irst.dme5.B-f2FAIL5999.88
cmu.gigamax.B-f2FAIL6000.28
vis.elevator^1.E-f2FAIL6000.31