We did some measurements using the coreutils test suite and the slowdown was in the 10x - 100x area.
Paul On 2 Jun 2011, at 04:39, Philip Guo wrote: > When running a typical program (e.g., coreutils) with Klee with NO symbolics, > how much slower is it than native execution? i.e., just using Klee as a > straight-up LLVM bytecode interpreter. is it like 100x? 1000x? 10000x? > > pg > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
