Espresso - BSA++ AS AVG

Espresso is a logic minimization software. Espresso takes as input a two-level representation of a two-valued (or multiple-valued) Boolean function, and produces a minimal equivalent representation. Implementation used was the same published with allocator Hoard.,

Inputs and trace's reports

We collect 4 traces of espresso's allocation when invocated with these inputs:
  1. 7 input e 10 output => report input 1
  2. 8 input ed 8 output => report input 2
  3. 24 input e 109 output => report input 3
  4. 16 input e 40 output => report input 4
You can find all MallocLab's traces for Espresso here.

Allocator's configurations

  1. BSA++ AS AVG 10 => BSA++ with AS, npa, average popularity threshold 10
  2. BSA++ AS AVG 30 => BSA++ with AS, npa, average popularity threshold 30
  3. BSA++ AS AVG 50 => BSA++ with AS, npa, average popularity threshold 50
  4. BSA++ AS AVG 70 => BSA++ with AS, npa, average popularity threshold 70
  5. BSA++ AS AVG 90 => BSA++ with AS, npa, average popularity threshold 90

Time

Space

Return to the program's overview Return to the main page