Instances of family tipfixpoint solved by 2clsQ
QBFEVAL'06

InstanceResultTime
texas.ifetch1^4.E-f2UNSAT0.01
texas.parsesys^4.E-f2UNSAT0.01
vis.emodel.E-f2UNSAT0.02
vis.elevator^1.E-f2UNSAT0.03
texas.ifetch1^1.E-f2UNSAT0.04
nusmv.reactor^5.C-f2UNSAT0.11
texas.parsesys^3.E-f2SAT0.12
texas.ifetch1^8.E-f2SAT0.15
texas.PI_main^14.E-f2UNSAT0.34
texas.parsesys^1.E-f2SAT0.78
vis.eisenberg.E-f2SAT0.9
texas.PI_main^01.E-f2SAT1.11
vis.bakery.E-f2SAT1.53
nusmv.syncarb5^2.B-f2SAT4.15
texas.parsesys^2.E-f2UNSAT5.86
texas.ifetch1^2.E-f2UNSAT21.05
texas.ifetch1^3.E-f2UNSAT28.52
nusmv.syncarb10^2.B-f2FAIL2750.93
texas.ifetch1^7.E-f2FAIL3417.9
cmu.dme1.B-f2FAIL5106.18
vis.4-arbit^2.E-f2FAIL5399.93
vis.arbiter.E-f2FAIL5802.34
eijk.S298.S-f2FAIL5818.8
eijk.S349.S-f2FAIL5847.86
cmu.gigamax.B-f2FAIL5867.46
texas.two_proc^4.E-f2FAIL5870.38
texas.two_proc^2.E-f2FAIL5873.47
texas.ifetch1^9.E-f2FAIL5903.71
texas.PI_main^11.E-f2FAIL5908.18
eijk.S344.S-f2FAIL5922.89
nusmv.brp.B-f2FAIL5932.22
vis.coherence^2.E-f2FAIL5941.62
eijk.S526.S-f2FAIL5957.76
eijk.S208.S-f2FAIL5961.54
eijk.S420.S-f2FAIL5963.33
eijk.S208c.S-f2FAIL5976.44
nusmv.reactor^3.C-f2FAIL5983.3
nusmv.reactor^7.C-f2FAIL5988.65
nusmv.reactor^6.C-f2FAIL5994.53
ken.oop^1.C-f2FAIL5997.17
texas.two_proc^5.E-f2FAIL6000.42
vis.coherence^3.E-f2FAIL6000.42
eijk.bs1512.S-f2FAIL6000.42
eijk.S386.S-f2FAIL6000.42
eijk.S832.S-f2FAIL6000.42
nusmv.reactor^2.C-f2FAIL6000.42
texas.PI_main^12.E-f2FAIL6000.42
texas.two_proc^6.E-f2FAIL6000.42
vis.coherence^5.E-f2FAIL6000.42
eijk.S838.S-f2FAIL6000.42
vis.4-arbit^1.E-f2FAIL6000.42
eijk.S208o.S-f2FAIL6000.42
eijk.S444.S-f2FAIL6000.42
eijk.S953.S-f2FAIL6000.42
nusmv.reactor^4.C-f2FAIL6000.42
texas.PI_main^16.E-f2FAIL6000.42
eijk.S510.S-f2FAIL6000.42
irst.dme4.B-f2FAIL6000.42
texas.two_proc^1.E-f2FAIL6000.42
vis.elevator^2.E-f2FAIL6000.42
irst.dme5.B-f2FAIL6000.42
texas.ifetch1^5.E-f2FAIL6000.42
vis.elevator^3.E-f2FAIL6000.42
eijk.S641.S-f2FAIL6000.42
irst.dme6.B-f2FAIL6000.42
texas.PI_main^02.E-f2FAIL6000.42
texas.two_proc^3.E-f2FAIL6000.42
vis.coherence^1.E-f2FAIL6000.42
cmu.dme2.B-f2FAIL6000.42
eijk.S713.S-f2FAIL6000.42
texas.PI_main^10.E-f2FAIL6000.42
eijk.S382.S-f2FAIL6000.42
eijk.S820.S-f2FAIL6000.42
ken.oop^2.C-f2FAIL6000.42