FMCAD'98: BDD Study Statistics

Indexed By Package

• 075-cudd-r3-pc
• 1-cudd-r3-pc
• 2-cudd-r3-pc
• 4-cudd-r3-pc
• cudd-r3-pc

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
• c2670
• c3540
• c6288-13
• c6288-14
• c6288-15

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
• Number of node swaps (x1000)
• Reorder Time (sec)
• Reorder Swap cost (usec)
• # Nodes Before Reorder CP (x1000)
• # Nodes After Reorder CP (x1000)
• Reordering Size: Before / After