Results from running Make don't match README

[kiwih]

Running on Ubuntu 16.04 LTS, Ruby 2.3, latest version of t-crest repository (downloaded yesterday)

Downloading and running the make in this repository returns 2320 cycles, not 229 cycles as the README suggests. Is the readme incorrect?

/hello-wcet$ make
platin wcet --enable-wca --disable-ait --stats --verbose -i hello.noprint.pml --binary hello.noprint.elf -o hello.wca
[platin] STAT: EXTRACT: extracted addresses                    6424
[platin] INFO: Finished read symbols                        in 307 ms
[platin] INFO: Finished Flow Fact Transformation ["llvm.bc"] in 0 ms
[platin] INFO: Running transformer to level machinecode
Transformed flowfact #<FlowFact origin=user,level=machinecode, in (main)10: [1 (main)10/3, -12 (main)10/4] less-equal 0>
[platin] STAT: TRANSFORM: #local IPET problems                 1
[platin] STAT: TRANSFORM: generated flowfacts                  1
[platin] STAT: TRANSFORM: directly translated flowfacts        1
[platin] STAT: TRANSFORM: constraints before FM eliminations   61
[platin] STAT: TRANSFORM: constraints after FM eliminations    16
[platin] STAT: TRANSFORM: elimination steps                    48
[platin] INFO: Finished Flow Fact Transformation ["user.bc"] in 2 ms
[platin] STAT: CACHE: size of all reachable memory blocks for M$ (bytes) 0
[platin] STAT: CACHE: size of all reachable memory blocks for D$ (bytes) 32
[platin] STAT: WCA: flowfacts                                  2
[platin] STAT: WCA: ipet variables                             32
[platin] STAT: WCA: ipet constraints                           78
Method cache contribution:
Stack cache contribution:
Data cache contribution:
  cache load edge (main)10/1->10/2->CacheLine: unknown@(main)10/1/0: 12.0 / 12.0 (252.0 cyc)
  cache load edge (main)10/1->10/4->CacheLine: unknown@(main)10/1/0: 1.0 / 1.0 (21.0 cyc)
  cache load edge (main)10/1->10/2->CacheLine: unknown@(main)10/1/3: 12.0 / 12.0 (252.0 cyc)
  cache load edge (main)10/1->10/4->CacheLine: unknown@(main)10/1/3: 1.0 / 1.0 (21.0 cyc)
  cache load edge (main)10/2->10/3->CacheLine: unknown@(main)10/2/0: 12.0 / 12.0 (252.0 cyc)
  cache load edge (main)10/2->10/3->CacheLine: unknown@(main)10/2/13: 12.0 / 12.0 (252.0 cyc)
  cache load edge (main)10/3->10/1->CacheLine: unknown@(main)10/3/0: 12.0 / 12.0 (252.0 cyc)
  cache load edge (main)10/0->10/1->CacheLine: unknown (uncached)@(main)10/0/2: 1.0 / 1.0 (21.0 cyc)
  cache load edge (main)10/0->10/1->CacheLine: unknown (uncached)@(main)10/0/3: 1.0 / 1.0 (21.0 cyc)
  cache load edge (main)10/0->10/1->CacheLine: unknown (uncached)@(main)10/0/4: 1.0 / 1.0 (21.0 cyc)
  cache load edge (main)10/0->10/1->CacheLine: unknown (uncached)@(main)10/0/5: 1.0 / 1.0 (21.0 cyc)
  cache load edge (main)10/2->10/3->CacheLine: unknown (uncached)@(main)10/2/16: 12.0 / 12.0 (252.0 cyc)
  cache load edge (main)10/3->10/1->CacheLine: unknown (uncached)@(main)10/3/3: 12.0 / 12.0 (252.0 cyc)
Cycles: 2320
Edge Profile:
  (main)10/1->10/2->CacheLine: unknown@(main)10/1/0: 12.0 (252.0 cyc)
  (main)10/1->10/2->CacheLine: unknown@(main)10/1/3: 12.0 (252.0 cyc)
  (main)10/2->10/3->CacheLine: unknown@(main)10/2/0: 12.0 (252.0 cyc)
  (main)10/2->10/3->CacheLine: unknown@(main)10/2/13: 12.0 (252.0 cyc)
  (main)10/3->10/1->CacheLine: unknown@(main)10/3/0: 12.0 (252.0 cyc)
  (main)10/2->10/3->CacheLine: unknown (uncached)@(main)10/2/16: 12.0 (252.0 cyc)
  (main)10/3->10/1->CacheLine: unknown (uncached)@(main)10/3/3: 12.0 (252.0 cyc)
  (main)10/2->(main)10/3: 12.0 (204.0 cyc)
  (main)10/1->(main)10/2: 12.0 (120.0 cyc)
  (main)10/3->(main)10/1: 12.0 (84.0 cyc)
  (main)10/1->10/4->CacheLine: unknown@(main)10/1/0: 1.0 (21.0 cyc)
  (main)10/1->10/4->CacheLine: unknown@(main)10/1/3: 1.0 (21.0 cyc)
  (main)10/0->10/1->CacheLine: unknown (uncached)@(main)10/0/2: 1.0 (21.0 cyc)
  (main)10/0->10/1->CacheLine: unknown (uncached)@(main)10/0/3: 1.0 (21.0 cyc)
  (main)10/0->10/1->CacheLine: unknown (uncached)@(main)10/0/4: 1.0 (21.0 cyc)
  (main)10/0->10/1->CacheLine: unknown (uncached)@(main)10/0/5: 1.0 (21.0 cyc)
  (main)10/1->(main)10/4: 1.0 (9.0 cyc)
  (main)10/4->exit: 1.0 (7.0 cyc)
  (main)10/0->(main)10/1: 1.0 (6.0 cyc)
  CacheLine: unknown@(main)10/1/0: 13.0 (0.0 cyc)
  CacheLine: unknown@(main)10/1/3: 13.0 (0.0 cyc)
  CacheLine: unknown@(main)10/2/0: 12.0 (0.0 cyc)
  CacheLine: unknown@(main)10/2/13: 12.0 (0.0 cyc)
  CacheLine: unknown@(main)10/3/0: 12.0 (0.0 cyc)
  CacheLine: unknown: 62.0 (0.0 cyc)
  CacheLine: unknown (uncached)@(main)10/0/2: 1.0 (0.0 cyc)
  CacheLine: unknown (uncached)@(main)10/0/3: 1.0 (0.0 cyc)
  CacheLine: unknown (uncached)@(main)10/0/4: 1.0 (0.0 cyc)
  CacheLine: unknown (uncached)@(main)10/0/5: 1.0 (0.0 cyc)
  CacheLine: unknown (uncached)@(main)10/2/16: 12.0 (0.0 cyc)
  CacheLine: unknown (uncached)@(main)10/3/3: 12.0 (0.0 cyc)
  CacheLine: unknown (uncached): 28.0 (0.0 cyc)
[platin] INFO: Finished run WCET analysis (platin)          in 5 ms
[platin] INFO: best WCET bound: 2320 cycles