| OCR Text |
Show Benchmark naive reverse 4-element list permutation 5-element list permutation 6-element list permutation 4-queens 5-queens 6-queens Boplog 1,299 ms. 1,453 ms. 6,802 ms. 39,912 ms. 2,879 ms. 16,720 ms. 109,239 ms. CProlog 343ms. 197 ms. 903 ms. 5,280ms. 593 ms. 3,547 ms. 23,043 ms. Table 3: Single-Process Benchmark Execution Times SAR smashes (total) SAR smashes with a known SAR value SAR smashes from a reference Virtual address calculations 38,216,764 9,154,774 29,062,990 13,185,587 Table 4: SAR-Smashing in the 8-queens Program total dereferences: non-trivial dereferences: time: nodes: links: 3,335 sec. 9,615,865 6,125,328 value cell distribution: 10,320,354 5,959,490 total value cells: 10,163,262 local value cells: 9, 763,202 remote value cells: 400,060 recycled value cells: 91,741 dereference SAR-smashes: 12,626,841 from a known SAR value: 1,638, 793 from a reference: 10,988,048 address calculations: 10,849,688 maximum number of ancestors on stack: 51 ancestors examined: 14,313,507 spans examined: 8,503,793 I dereference: I dereference: I dereference: I dereference: I dereference: I dereference: I dereference: I dereference: I dereference: I dereference: I dereference: I dereference: I dereference: 559 JJ.S. 1.61 1.02 1.70 1.63 .06 .01 2.11 .28 1.84 1.82 2.40 1.42 Table 5: Environment Performance in the 8-queens Program 96 |
