| Benchmark | 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) |
| valves-gates | 135 |
119 |
477 |
484 |
46055 |
2.94 |
100 |
0 |
0 |
0 |
0 |
|
| motors-stuck | 117 |
90 |
478 |
1120 |
30389 |
3.84 |
100 |
0 |
0 |
0 |
0 |
|
| dartes | 37 |
28 |
477 |
215 |
7342 |
5.07 |
100 |
0 |
0 |
0 |
0 |
|
| key10 | 263 |
256 |
477 |
70 |
96279 |
2.73 |
100 |
0 |
0 |
0 |
0 |
|
| ftp3 | 460 |
453 |
477 |
55 |
151187 |
3.04 |
100 |
0 |
0 |
0 |
0 |
|
| abp11 | 372 |
360 |
477 |
364 |
119890 |
3.11 |
100 |
0 |
0 |
0 |
0 |
|
| dme2-16 | 369 |
360 |
478 |
212 |
109786 |
3.37 |
100 |
0 |
0 |
0 |
0 |
|
| dpd75 | 164 |
157 |
477 |
69 |
45465 |
3.61 |
100 |
0 |
0 |
0 |
0 |
|
| mmgt20 | 132 |
126 |
477 |
48 |
37803 |
3.50 |
100 |
0 |
0 |
0 |
0 |
|
| furnace17 | 128 |
122 |
477 |
53 |
31432 |
4.08 |
100 |
0 |
0 |
0 |
0 |
|
| over12 | 284 |
277 |
477 |
73 |
74056 |
3.84 |
100 |
0 |
0 |
0 |
0 |
|
| phone-async | 1950 |
1897 |
733 |
2475 |
504792 |
3.83 |
100 |
2 |
17 |
0 |
0 |
|
| tcas | 6306 |
6240 |
733 |
706 |
1323673 |
3.71 |
100 |
19 |
1397 |
0 |
0 |
|
| tomasulo | 7898 |
7813 |
733 |
431 |
1526953 |
3.61 |
100 |
24 |
2390 |
0 |
0 |
|
| futurebus | 24094 |
20053 |
477 |
109008 |
10462191 |
2.30 |
100 |
0 |
0 |
0 |
0 |
|
| phone-sync-CW | 25436 |
24856 |
733 |
31383 |
6418442 |
3.18 |
100 |
44 |
5026 |
0 |
0 |
|
| c2670 | Missing | -2 |
-2 |
-2 |
-2 |
-2 |
-2.00 |
0 |
-2 |
-2 |
-2 |
-2 |
| c3540 | Missing | -2 |
-2 |
-2 |
-2 |
-2 |
-2.00 |
0 |
-2 |
-2 |
-2 |
-2 |
| c6288-13 | Missing | -2 |
-2 |
-2 |
-2 |
-2 |
-2.00 |
0 |
-2 |
-2 |
-2 |
-2 |
| c6288-14 | Missing | -2 |
-2 |
-2 |
-2 |
-2 |
-2.00 |
0 |
-2 |
-2 |
-2 |
-2 |
| c6288-15 | Missing | -2 |
-2 |
-2 |
-2 |
-2 |
-2.00 |
0 |
-2 |
-2 |
-2 |
-2 |
| Benchmark | Error | # BDD nodes (x1000) | BDD Avg Visit Length | # Cache nodes (x1000) | Cache Avg Visit Length | Cache Lookups (x1000) | Cache Hit Rate |
| valves-gates | 33554 |
0.60 |
14502 |
0.38 |
21788 |
13.9 |
|
| motors-stuck | 33554 |
0.58 |
14502 |
0.30 |
13438 |
8.7 |
|
| dartes | 33554 |
0.56 |
14502 |
0.08 |
4151 |
24.7 |
|
| key10 | 33554 |
0.59 |
14502 |
0.54 |
48188 |
18.5 |
|
| ftp3 | 33554 |
1.00 |
14502 |
0.61 |
81249 |
21.2 |
|
| abp11 | 33554 |
0.99 |
14502 |
0.52 |
80283 |
30.1 |
|
| dme2-16 | 33554 |
0.94 |
14502 |
0.59 |
55348 |
16.3 |
|
| dpd75 | 33554 |
0.60 |
14502 |
0.34 |
26961 |
25.7 |
|
| mmgt20 | 33554 |
0.55 |
14502 |
0.29 |
22885 |
27.9 |
|
| furnace17 | 33554 |
0.51 |
14502 |
0.24 |
23129 |
36.6 |
|
| over12 | 33554 |
0.83 |
14502 |
0.46 |
45176 |
25.4 |
|
| phone-async | 33554 |
19.93 |
14502 |
0.57 |
307623 |
28.6 |
|
| tcas | 33554 |
9.88 |
14502 |
0.47 |
756157 |
21.6 |
|
| tomasulo | 33554 |
4.56 |
14502 |
0.48 |
836844 |
17.4 |
|
| futurebus | 33554 |
1.41 |
14502 |
0.82 |
4711051 |
17.9 |
|
| phone-sync-CW | 33554 |
4.31 |
14502 |
0.54 |
3695453 |
28.7 |
|
| c2670 | Missing | -2 |
-2.00 |
-2 |
-2.00 |
-2 |
-2.0 |
| c3540 | Missing | -2 |
-2.00 |
-2 |
-2.00 |
-2 |
-2.0 |
| c6288-13 | Missing | -2 |
-2.00 |
-2 |
-2.00 |
-2 |
-2.0 |
| c6288-14 | Missing | -2 |
-2.00 |
-2 |
-2.00 |
-2 |
-2.0 |
| c6288-15 | Missing | -2 |
-2.00 |
-2 |
-2.00 |
-2 |
-2.0 |
| Benchmark | Error | Reorder Algorithm | # of Reorderings | Reorder Time (sec) |
| valves-gates | 0 |
0 |
0 |
|
| motors-stuck | 0 |
0 |
0 |
|
| dartes | 0 |
0 |
0 |
|
| key10 | 0 |
0 |
0 |
|
| ftp3 | 0 |
0 |
0 |
|
| abp11 | 0 |
0 |
0 |
|
| dme2-16 | 0 |
0 |
0 |
|
| dpd75 | 0 |
0 |
0 |
|
| mmgt20 | 0 |
0 |
0 |
|
| furnace17 | 0 |
0 |
0 |
|
| over12 | 0 |
0 |
0 |
|
| phone-async | 0 |
0 |
0 |
|
| tcas | 0 |
0 |
0 |
|
| tomasulo | 0 |
0 |
0 |
|
| futurebus | 0 |
0 |
0 |
|
| phone-sync-CW | 0 |
0 |
0 |
|
| c2670 | Missing | -2 |
-2 |
-2 |
| c3540 | Missing | -2 |
-2 |
-2 |
| c6288-13 | Missing | -2 |
-2 |
-2 |
| c6288-14 | Missing | -2 |
-2 |
-2 |
| c6288-15 | Missing | -2 |
-2 |
-2 |