benchmarks in multi track

[Toni Jussila]

Hello,

I have some trouble getting the numbers in the multi track to add up. The slides say that there are 178 benchmarks whereas the submitted archive only has 163 aig files. Am I missing something obvious here?

Best Regards,
Toni Jussila

[Armin Biere]

Thanks for spotting it.

This is due to some last minute added benchmarks submitted 2012
by Bob Brayton. It seems I generated the archive too early (or forgot
to update it). There were also two instances 6s40 and 6s48 which
became 6s40m and 6s48m since (also in the last minute) I figured
that those originally used (and in the previous archive) actually used
AIGER < 1.9 format (bad state properties encoded as outputs).
I renamed them. Here are the changes in my GIT commit.

rename benchmarks/export/hwmcc13/multi/{6s40.aig => 6s40m.aig} (99%)
rename benchmarks/export/hwmcc13/multi/{6s48.aig => 6s48m.aig} (98%)
create mode 100644 benchmarks/export/hwmcc13/multi/bob12m01m.aig
create mode 100644 benchmarks/export/hwmcc13/multi/bob12m02m.aig
create mode 100644 benchmarks/export/hwmcc13/multi/bob12m03m.aig
create mode 100644 benchmarks/export/hwmcc13/multi/bob12m04m.aig
create mode 100644 benchmarks/export/hwmcc13/multi/bob12m05m.aig
create mode 100644 benchmarks/export/hwmcc13/multi/bob12m06m.aig
create mode 100644 benchmarks/export/hwmcc13/multi/bob12m07m.aig
create mode 100644 benchmarks/export/hwmcc13/multi/bob12m08m.aig
create mode 100644 benchmarks/export/hwmcc13/multi/bob12m09m.aig
create mode 100644 benchmarks/export/hwmcc13/multi/bob12m10m.aig
create mode 100644 benchmarks/export/hwmcc13/multi/bob12m14m.aig
create mode 100644 benchmarks/export/hwmcc13/multi/bob12m15m.aig
create mode 100644 benchmarks/export/hwmcc13/multi/bob12m16m.aig
create mode 100644 benchmarks/export/hwmcc13/multi/bob12m17m.aig
create mode 100644 benchmarks/export/hwmcc13/multi/bob12m18m.aig


The archive is updated as well.

Armin

> --
> You received this message because you are subscribed to the Google Groups
> "HWMCC" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to hwmcc+un...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.

[Toni Jussila]

Morning,

Thank you for fixing this. Downloaded the new archive and the numbers match.

Best Regards,
Toni