FMCAD'98: BDD Study Statistics

Indexed By Package

• cc-no-gc-sgi64
• cudd-gc-r1-sun
• abcd-r1-sun
• cal-r1-sun
• cudd-r1-sun
• ehv-r1-sun
• long-r1-sun
• pbf-r1-sun
• tiger-r1-sun

Indexed By Benchmark

• valves-gates
• motors-stuck
• dartes
• key10
• ftp3
• abp11
• dme2-16
• dpd75
• mmgt20
• furnace17
• over12
• phone-async
• tcas
• tomasulo
• futurebus
• phone-sync-CW

Indexed By Statistics

• Elapsed Time (sec)
• CPU Time (sec)
• Memory (Mb)
• # Page Faults
• # of Ops (x1000)
• Per Op Cost (usec)
• % Stmts Executed
• # GCs
• GC Time (sec)
• Sift Time (sec)
• Reduce Time (sec)
• # BDD nodes (x1000)
• BDD Avg Visit Length
• # Cache nodes (x1000)
• Cache Avg Visit Length
• Cache Lookups (x1000)
• Cache Hit Rate
• Reorder Algorithm
• # of Reorderings
• Reorder Time (sec)