Task #5666
closed
Estimate generation speed
Added by Andrei Tatarnikov over 9 years ago.
Updated over 9 years ago.
Published in build:
150324
Description
Performance benchmarks and corresponding examples are needed.
Simple example leads to:
- Randomization with no constraint solving; intensive ruby-java interaction:
1.75*10^6 instructions / 110 sec ~ 1.59*10^3 / sec ~ 1.37*10^9 / day.
- Constraints; intensive ruby-java-solver interaction; each solver invocation = creation of intermediate file and launching Z3:
5*10^4 instruction / 177 sec ~ 282 / sec ~ 2.44*10^7 / day.
More realistic examples are required.
- Subject changed from [generator] Estimate generation speed to Estimate generation speed
- Category set to Test Engine
- Status changed from New to Resolved
- Assignee set to Alexander Kamkin
- Target version set to 2.1
- Status changed from Resolved to Closed
- Published in build set to 150324
Also available in: Atom
PDF