FMCAD'98: BDD Study Statistics
Benchmark: c3540

Package Error 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)
abcd-r2-pc Missing
-2
-2
-2
-2
-2
-2.00
0
-2
-2
-2
-2
abcdD-r2-pc Missing
-2
-2
-2
-2
-2
-2.00
0
-2
-2
-2
-2
abcd-r2-sun Missing
-2
-2
-2
-2
-2
-2.00
0
-2
-2
-2
-2
abcdD-r2-sun Missing
-2
-2
-2
-2
-2
-2.00
0
-2
-2
-2
-2

Package Error # BDD nodes (x1000) BDD Avg Visit Length # Cache nodes (x1000) Cache Avg Visit Length Cache Lookups (x1000) Cache Hit Rate
abcd-r2-pc Missing
-2
-2.00
-2
-2.00
-2
-2.0
abcdD-r2-pc Missing
-2
-2.00
-2
-2.00
-2
-2.0
abcd-r2-sun Missing
-2
-2.00
-2
-2.00
-2
-2.0
abcdD-r2-sun Missing
-2
-2.00
-2
-2.00
-2
-2.0

Package Error Reorder Algorithm # of Reorderings Reorder Time (sec)
abcd-r2-pc Missing
-2
-2
-2
abcdD-r2-pc Missing
-2
-2
-2
abcd-r2-sun Missing
-2
-2
-2
abcdD-r2-sun Missing
-2
-2
-2

Back To Index Page