Result of Coreutils experiment

[Loi Luu]

Hi,

I tried to redo the experiment of KLEE showed in this instruction
http://klee.llvm.org/CoreutilsExperiments.html. Firstly I checked several
tools in 30 minutes for each, and then I increased the time to one hour.
However, the result is not much different, some even keeps the same.

For example, *the sum tool:*
result of 30 minute check

| Path | Instrs | Time(s) | ICov(%) | BCov(%) | ICount | TSolver(%)
|
-----------------------------------------------------------------------------
| sum-default | 10829478 | 1801.79 | 44.94 | 33.31 | 8547 |
98.22 |

result of 1 hour check

| Path | Instrs | Time(s) | ICov(%) | BCov(%) | ICount |
TSolver(%) |
-----------------------------------------------------------------------------------
| sum-full-default | 13908615 | 3602.94 | 44.94 | 33.31 | 8547 |
98.68 |

*the base64 tool*
result of 30 minute check:
| Path | Instrs | Time(s) | ICov(%) | BCov(%) | ICount |
TSolver(%) |
-------------------------------------------------------------------------------
| base64-default | 2268479 | 1820.04 | 50.13 | 37.71 | 9530 |
98.94 |

result of one hour check

| Path | Instrs | Time(s) | ICov(%) | BCov(%) | ICount |
TSolver(%) |
-------------------------------------------------------------------------------------
| base64-full-default | 3057484 | 3630.79 | 49.95 | 37.66 | 9530 |
99.21 |

I am running on Ubuntu 12.10, 4G ram memory, Intel® Core™ i5-3210M CPU @
2.50GHz × 4.

So could you please tell me is this a normal result? if its not, please
give me some hints to make it right.

Thank you,