[klee-dev] 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,

-- 
Loi, Luu The (Mr.)
University of  Engineering and Technology, Vietnam National University,
Hanoi.
-------------- next part --------------
HTML attachment scrubbed and removed