|
Analysis time comparison: Pos x SFL versus Pattern(Pos x SFL)
[Page last updated on 2001/02/10 18:04:22.]
The analysis time comparison (goal dependent analysis, without structural information, differences report)
Benchmark | Base domain | Enhanced domain |
CoVer.pl | 4.45 | 7.61 |
LeanTaP.pl | 9.01 | 1.74 |
WAMcomp.pl | 0.47 | 0.88 |
action.pl | 25.19 | 111.10 |
adventure.pl | 0.82 | 24.57 |
aircraft.pl | 0.50 | 1.62 |
all_permutations.pl | 0.13 | 0.36 |
ann.pl | 0.76 | 17.56 |
attractions.pl | 0.68 | ??? |
barnes_hut.pl | 0.19 | 4.53 |
chasen-all.pl | 1.26 | 0.49 |
chat80.pl | 474.91 | ??? |
chat_parser.pl | 197.60 | 232.74 |
chess.pl | 0.20 | ??? |
circan.pl | 34.25 | ??? |
cry_mult.pl | 0.15 | 0.27 |
curry2indy.pl.unsound | 0.41 | 1.27 |
cycles.pl.unsound | 0.59 | 56.70 |
dfsscc.pl | 0.35 | 0.56 |
dlists.pl | 0.20 | 2.81 |
dposan.pl | 0.68 | 0.79 |
eliza.pl | 0.62 | 11.16 |
ezan.pl | 34.03 | ??? |
gnup-1.1.0_pl2wam.pl | 40.00 | 262.10 |
ime_v2-2-1.pl | 0.25 | 0.36 |
intervals.pl | 0.25 | 1.57 |
jons.pl | 0.12 | 8.09 |
jons2.pl | 0.17 | ??? |
jugs.pl | 0.25 | 4.70 |
kipeg.pl | 0.10 | 0.35 |
lojban.pl | 66.48 | 255.16 |
lptp-1.05.pl | 129.74 | 120.85 |
lptp-1.06.pl | 129.93 | 121.06 |
mgpl4.pl | 1.03 | 6.26 |
mgtp-g-I-temp.pl | 0.46 | 0.76 |
mm.pl | 3.22 | 15.43 |
music.pl | 46.89 | ??? |
nand_wamcc.pl | 0.20 | 0.41 |
nbody.pl | 0.34 | ??? |
othello.pl | 0.14 | 0.38 |
peephole1.pl | 0.66 | 0.79 |
poker.pl | 1.31 | 9.60 |
press.pl | 0.55 | 1.09 |
puzzle.pl | 6.46 | ??? |
q8.pl | 0.12 | 0.34 |
quotan.pl | 2.58 | 2.45 |
raytrace.pl | 0.29 | 0.45 |
raytrace2.pl | 0.23 | 0.35 |
raytrace_inst.pl | 0.29 | 0.43 |
reducer.pl | 15.04 | 53.91 |
rubik.pl | 0.41 | ??? |
sb_asm.pl | 0.30 | 0.42 |
sdda.pl | 3.07 | 11.77 |
semi.pl | 0.16 | 0.28 |
semigroup.pl | 2.55 | 4.58 |
sg_mc_big.pl | 0.68 | 233.87 |
shopper_shop.pl | 0.13 | 356.39 |
simple_analyzer.pl | 8.66 | 24.11 |
sprftp.pl.unsound | 132.00 | 81.43 |
strips.pl | 17.95 | ??? |
synth.pl | 74.51 | ??? |
trs.pl | 348.55 | ??? |
tsp_ga.pl | 0.33 | 16.28 |
tsp_sa.pl | 0.22 | 0.44 |
unify.pl | 0.74 | 4.69 |
vhdl97_parser.pl | 30.43 | 22.04 |
Column headers legenda
Benchmark |
Base domain |
Enhanced domain |
The name of the benchmark. |
The analysis fixpoint computation time
for the base domain, in seconds. |
The analysis fixpoint computation time
for the enhanced domain, in seconds. |
Background colors legenda
For those looking at this page through color-enabled devices:
Background color |
Meaning |
Performance improvement |
Table cells with a light green background indicate
that the investigated technique led to
a performance improvement. |
Performance loss |
Table cells with a red background indicate
that the investigated technique led to
a performance loss. |
Same time |
Table cells with a normal background indicate
that the two analyses terminated in the same time,
up to the fixed time threshold of 0.1 seconds. |
Unknown |
Table cells with a light brown background indicate
that the time comparison was not possible because both
analyses timed-out. |
|