AIG package.
Benchmark table.
Experiment for additional line computation.