Instances of family tipfixpoint solved by QUANTOR
QBFEVAL'06

InstanceResultTime
texas.ifetch1^4.E-f2UNSAT0.01
texas.parsesys^4.E-f2UNSAT0.01
vis.emodel.E-f2UNSAT0.03
texas.parsesys^3.E-f2SAT0.07
vis.elevator^1.E-f2UNSAT0.08
texas.ifetch1^8.E-f2SAT0.13
vis.bakery.E-f2SAT0.4
vis.eisenberg.E-f2SAT0.46
texas.parsesys^1.E-f2SAT0.61
nusmv.syncarb5^2.B-f2SAT3.62
texas.ifetch1^9.E-f2SAT3.73
texas.parsesys^2.E-f2UNSAT5.8
nusmv.reactor^4.C-f2FAIL20.46
nusmv.reactor^7.C-f2FAIL27.97
nusmv.reactor^2.C-f2FAIL41.73
nusmv.reactor^3.C-f2FAIL41.83
nusmv.reactor^6.C-f2FAIL52.24
cmu.dme2.B-f2FAIL57.7
texas.PI_main^14.E-f2FAIL61.24
eijk.S832.S-f2FAIL63.54
eijk.S444.S-f2FAIL65.34
eijk.S382.S-f2FAIL65.89
irst.dme5.B-f2FAIL72.61
eijk.S820.S-f2FAIL80.62
nusmv.reactor^5.C-f2FAIL81.34
texas.PI_main^11.E-f2FAIL106.21
irst.dme4.B-f2FAIL116.23
eijk.S386.S-f2FAIL140.3
vis.elevator^2.E-f2FAIL144.03
eijk.S510.S-f2FAIL148.19
ken.oop^2.C-f2FAIL153.08
texas.PI_main^02.E-f2FAIL153.76
cmu.dme1.B-f2FAIL159.35
eijk.S641.S-f2FAIL167.7
eijk.S344.S-f2FAIL167.86
eijk.S713.S-f2FAIL171.42
eijk.S953.S-f2FAIL173.01
texas.ifetch1^7.E-f2FAIL173.69
eijk.S838.S-f2FAIL195.41
eijk.S526.S-f2FAIL204.44
texas.ifetch1^1.E-f2FAIL219.6
eijk.bs1512.S-f2FAIL228.74
eijk.S420.S-f2FAIL239.32
cmu.gigamax.B-f2FAIL239.45
eijk.S349.S-f2FAIL239.78
nusmv.brp.B-f2FAIL250.52
irst.dme6.B-f2FAIL259.12
nusmv.syncarb10^2.B-f2FAIL306.34
eijk.S298.S-f2FAIL386.42
texas.two_proc^5.E-f2FAIL422.58
texas.ifetch1^3.E-f2FAIL474.51
vis.coherence^5.E-f2FAIL490.05
texas.two_proc^4.E-f2FAIL525.69
texas.two_proc^3.E-f2FAIL546.86
vis.elevator^3.E-f2FAIL558.24
texas.two_proc^2.E-f2FAIL599.47
texas.ifetch1^2.E-f2FAIL613
texas.PI_main^12.E-f2FAIL702.67
ken.oop^1.C-f2FAIL805.2
texas.ifetch1^5.E-f2FAIL1263.93
texas.two_proc^1.E-f2FAIL1726.63
eijk.S208o.S-f2SAT3217.11
vis.coherence^1.E-f2FAIL3680
eijk.S208c.S-f2FAIL4565.24
eijk.S208.S-f2FAIL6000.3
texas.PI_main^16.E-f2FAIL6000.45
vis.4-arbit^2.E-f2FAIL6000.51
vis.coherence^2.E-f2FAIL6000.63
texas.two_proc^6.E-f2FAIL6000.64
vis.4-arbit^1.E-f2FAIL6000.76
vis.arbiter.E-f2FAIL6000.77
vis.coherence^3.E-f2FAIL6000.78
texas.PI_main^10.E-f2FAIL6000.84
texas.PI_main^01.E-f2FAIL6000.86