China's logo

Home

Systems

Documentation

Experiments

Benchmarks

Projects

People

Links

About

Analysis time comparison: Pos x SFL versus Star-union order

[Page last updated on 2001/02/10 18:04:22.]


The analysis time comparison (summary report)

Time difference class Goal independentGoal dependent
w/o struct. info.with struct. info. w/o struct. info.with struct. info.
both timed out1021821
degradation > 11510169
0.5 < degradation <= 121------
0.2 < degradation <= 0.58311
0.1 < degradation <= 0.25211
same time268268189170
0.1 < improvement <= 0.25411
0.2 < improvement <= 0.56435
0.5 < improvement <= 132---2
improvement > 11017211
© The China
Development Group
china@cs.unipr.it

Home | Systems | Documentation | Experiments | Benchmarks | Projects | People | Links | About