Profiling results ----------------- Total cpu time observed: 1262ms (out of 1488ms) Number of samples taken: 6 (once every 210ms) =================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =================================================================== [1] 1262(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [2] 100.0% ------------------------------------------------------------------- ??? [1] 100.0% [2] 1262(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% ------------------------------------------------------------------- profile-thunk16 [2] 100.0% [3] 1262(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [4]100.0% ------------------------------------------------------------------- run [3] 100.0% [4] 1262(100.0%) 0(0.0%) .../more-scheme.rkt:261:28 (unknown source) prepare-points-intervals [5] 83.8% oracle-error [6] 16.2% ------------------------------------------------------------------- .../more-scheme.rkt:261:28 [4]100.0% [5] 1058(83.8%) 0(0.0%) prepare-points-intervals ...s/src/points.rkt:120:0 loop [7] 100.0% ------------------------------------------------------------------- .../more-scheme.rkt:261:28 [4]100.0% [6] 204(16.2%) 0(0.0%) oracle-error ...nterface-bugs/src/points.rkt:198:0 for-loop [8] 100.0% ------------------------------------------------------------------- prepare-points-intervals [5] 100.0% [7] 1058(83.8%) 0(0.0%) loop ...ie/fix-interface-bugs/src/points.rkt:133:4 ??? [9] 81.1% loop [10] 18.9% ------------------------------------------------------------------- oracle-error [6] 100.0% [8] 204(16.2%) 204(16.2%) for-loop ...ix-interface-bugs/src/points.rkt:199:2 ------------------------------------------------------------------- loop [7] 100.0% [9] 858(68.0%) 416(33.0%) ??? ...bie/fix-interface-bugs/src/points.rkt:113:6 sample-multi-bounded [11] 51.5% ------------------------------------------------------------------- loop [7] 100.0% [10] 200(15.8%) 200(15.8%) loop ...bie/fix-interface-bugs/src/points.rkt:79:2 ------------------------------------------------------------------- ??? [9] 100.0% [11] 442(35.0%) 240(19.0%) sample-multi-bounded ...e-bugs/src/points.rkt:14:0 random-ranges [12] 45.7% ------------------------------------------------------------------- sample-multi-bounded [11] 100.0% [12] 202(16.0%) 202(16.0%) random-ranges ...terface-bugs/src/common.rkt:164:0 -------------------------------------------------------------------