Project

General

Profile

Task #5666

Estimate generation speed

Added by Andrei Tatarnikov over 4 years ago. Updated over 4 years ago.

Status:
Closed
Priority:
Urgent
Category:
Generator
Target version:
Start date:
03/03/2015
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Published in build:
150324

Description

Performance benchmarks and corresponding examples are needed.

History

#1

Updated by Alexander Kamkin over 4 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.

#2

Updated by Alexander Kamkin over 4 years ago

  • Subject changed from [generator] Estimate generation speed to Estimate generation speed
  • Category set to Generator
  • Status changed from New to Resolved
  • Assignee set to Alexander Kamkin
  • Target version set to 2.1
#3

Updated by Andrei Tatarnikov over 4 years ago

  • Status changed from Resolved to Closed
  • Published in build set to 150324

Also available in: Atom PDF