Home |
Systems |
Documentation |
Experiments |
Benchmarks |
Projects |
People |
Links |
About |
Analysis time comparison: Pos x SFL versus Reverse order
[Page last updated on 2001/02/10 18:04:22.]
The analysis time comparison (summary report)
| Time difference class | Goal independent | Goal dependent | ||
|---|---|---|---|---|
| w/o struct. info. | with struct. info. | w/o struct. info. | with struct. info. | |
| both timed out | 8 | 19 | 8 | 20 |
| degradation > 1 | 14 | 20 | 10 | 15 |
| 0.5 < degradation <= 1 | 2 | 2 | --- | --- |
| 0.2 < degradation <= 0.5 | 8 | 5 | 3 | 2 |
| 0.1 < degradation <= 0.2 | 6 | 3 | 1 | --- |
| same time | 260 | 253 | 183 | 164 |
| 0.1 < improvement <= 0.2 | 5 | 4 | 4 | 2 |
| 0.2 < improvement <= 0.5 | 6 | 1 | 3 | 4 |
| 0.5 < improvement <= 1 | 3 | 3 | 1 | 1 |
| improvement > 1 | 20 | 22 | 8 | 13 |
Development Group
china@cs.unipr.it
Home | Systems | Documentation | Experiments | Benchmarks | Projects | People | Links | About