Espresso - BSA++ VAR AS

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++ VAR AS 115 => BSA++ with AS, popularity index threshold >= 15, variance popularity threshold 115
  2. BSA++ VAR AS 230 => BSA++ with AS, popularity index threshold >= 15, variance popularity threshold 230
  3. BSA++ VAR AS 345 => BSA++ with AS, popularity index threshold >= 15, variance popularity threshold 345
  4. BSA++ VAR AS 460 => BSA++ with AS, popularity index threshold >= 15, variance popularity threshold 460
  5. BSA++ VAR AS 575 => BSA++ with AS, popularity index threshold >= 15, variance popularity threshold 575
  6. BSA++ VAR AS 690 => BSA++ with AS, popularity index threshold >= 15, variance popularity threshold 690
  7. BSA++ VAR AS 805 => BSA++ with AS, popularity index threshold >= 15, variance popularity threshold 805
  8. BSA++ VAR AS 920 => BSA++ with AS, popularity index threshold >= 15, variance popularity threshold 920

Time

Space

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