Estimate generation speed
Detected in build:
Published in build:
Performance benchmarks and corresponding examples are needed.
Updated by Alexander Kamkin about 5 years ago
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.