path: root/etc/isar/profiling.txt

Profiling of hundred theorems:

proof-shell-filter                                              206         0.5755520000  0.0027939417
proof-shell-filter-manage-output                                206         0.4828650000  0.0023440048
proof-shell-exec-loop                                           206         0.479615      0.0023282281
proof-done-advancing                                            204         0.3241909999  0.0015891715
proof-done-advancing-save                                       100         0.2885119999  0.0028851199
proof-make-goalsave                                             100         0.2780209999  0.0027802099
pg-add-proof-element                                            100         0.2667299999  0.0026672999
proof-next-element-id                                           100         0.2568640000  0.0025686400
proof-element-id                                                100         0.2559739999  0.0025597399
proof-shell-insert                                              206         0.1490790000  0.0007236844
scomint-send-input                                              206         0.0973649999  0.0004726456
scomint-send-string                                             206         0.0899980000  0.0004368834
pg-remove-specials                                              206         0.0822929999  0.0003994805
isar-preprocessing                                              206         0.0361179999  0.0001753300
proof-toolbar-next-enable-p                                     638         0.0286260000  4.486...e-05
isar-command-wrapping                                           206         0.0269059999  0.0001306116
proof-locked-region-full-p                                      639         0.0268030000  4.194...e-05
pg-set-span-helphighlights                                      304         0.0225119999  7.405...e-05
isar-positions-of                                               206         0.0202500000  9.830...e-05
proof-toolbar-use-enable-p                                      319         0.0138090000  4.328...e-05
proof-set-overlay-arrow                                         204         0.0115210000  5.647...e-05
proof-string-match                                              1526        0.0104410000  6.842...e-06
proof-shell-available-p                                         2233        0.0092940000  4.162...e-06
proof-done-advancing-other                                      104         0.007964      7.657...e-05
pg-last-output-displayform                                      304         0.0075990000  2.499...e-05
isar-string-wrapping                                            412         0.0063830000  1.549...e-05
proof-shell-strip-output-markup                                 304         0.0059760000  1.965...e-05
isar-strip-output-markup                                        305         0.0048359999  1.585...e-05
proof-replace-regexp-in-string                                  412         0.0047720000  1.158...e-05
isar-shell-adjust-line-width                                    206         0.00416       2.019...e-05
isar-global-save-command-p                                      100         0.0038479999  3.847...e-05
proof-shell-process-urgent-messages                             206         0.003735      1.813...e-05
proof-string-match-safe                                         204         0.0032319999  1.584...e-05
proof-toolbar-state-enable-p                                    319         0.0031699999  9.937...e-06
pg-processing-complete-hint                                     1           0.002853      0.002853
scomint-check-proc                                              2441        0.0028120000  1.151...e-06
proof-get-name-from-goal                                        100         0.0026769999  2.676...e-05
proof-toolbar-retract-enable-p                                  319         0.0025379999  7.956...e-06
proof-toolbar-undo-enable-p                                     319         0.0024359999  7.636...e-06
proof-toolbar-delete-enable-p                                   319         0.0023529999  7.376...e-06
isar-goal-command-p                                             204         0.0021389999  1.048...e-05
proof-toolbar-find-enable-p                                     319         0.0020489999  6.423...e-06
proof-toolbar-context-enable-p                                  319         0.0018939999  5.937...e-06
proof-toolbar-info-enable-p                                     319         0.0018169999  5.695...e-06
proof-toolbar-command-enable-p                                  319         0.0017689999  5.545...e-06
pg-add-element                                                  100         0.0016860000  1.686...e-05
proof-shell-classify-output                                     206         0.0016479999  7.999...e-06
proof-locked-region-empty-p                                     320         0.0014510000  4.534...e-06
pg-span-name                                                    304         0.0012320000  4.052...e-06
proof-process-buffer                                            1           0.001196      0.001196
pg-add-to-input-history                                         104         0.0011950000  1.149...e-05
proof-assert-until-point-interactive                            1           0.001159      0.001159
proof-assert-until-point                                        1           0.001155      0.001155
proof-unprocessed-begin                                         1126        0.0010770000  9.564...e-07
proof-shell-live-buffer                                         206         0.0010610000  5.150...e-06
proof-assert-semis                                              1           0.001013      0.001013
proof-splice-separator                                          206         0.0007109999  3.451...e-06
proof-extend-queue                                              1           0.000638      0.000638
proof-append-alist                                              1           0.00063       0.00063
proof-semis-to-vanillas                                         1           0.000347      0.000347
proof-next-element-count                                        100         0.0002829999  2.829...e-06
proof-shell-process-urgent-message                              1           0.00025       0.00025
proof-toolbar-goto-enable-p                                     319         0.0002259999  7.084...e-07
proof-toolbar-interrupt-enable-p                                319         0.0001709999  5.360...e-07
proof-debug                                                     100         0.0001189999  1.189...e-06
proof-segment-up-to-using-cache                                 1           9.6e-05       9.6e-05
proof-segment-cache-contents-for                                1           8.4e-05       8.4e-05
pg-response-display-with-face                                   2           7.5e-05       3.75e-05
proof-shell-message                                             1           7e-05         7e-05
pg-response-maybe-erase                                         2           5e-05         2.5e-05
pg-hint                                                         1           3.9e-05       3.9e-05
proof-re-search-backward                                        1           3e-05         3e-05
proof-shell-ready-prover                                        2           2.100...e-05  1.050...e-05
proof-shell-handle-delayed-output                               1           2.1e-05       2.1e-05
proof-activate-scripting                                        1           1.7e-05       1.7e-05
proof-maybe-follow-locked-end                                   1           1.6e-05       1.6e-05
proof-shell-start                                               2           1.5e-05       7.5e-06
pg-response-display                                             1           1.4e-05       1.4e-05
proof-grab-lock                                                 1           1.2e-05       1.2e-05
proof-script-next-command-advance                               1           7e-06         7e-06
proof-shell-strip-eager-annotations                             1           7e-06         7e-06
proof-shell-start-silent-item                                   1           6e-06         6e-06
proof-shell-action-list-item                                    2           4e-06         2e-06
proof-shell-stop-silent-item                                    1           4e-06         4e-06
proof-queue-or-locked-end                                       4           3e-06         7.5e-07
proof-shell-should-be-silent                                    1           2e-06         2e-06
proof-shell-set-silent                                          1           1e-06         1e-06
proof-shell-clear-silent                                        1           1e-06         1e-06
proof-pbp-focus-on-first-goal                                   1           1e-06         1e-06
proof-display-and-keep-buffer                                   1           1e-06         1e-06
proof-release-lock                                              1           1e-06         1e-06
pg-finish-tracing-display                                       1           1e-06         1e-06


Profiling AThousandTheorems (inc parse)

proof-shell-filter                                              2009        4.2185289999  0.0020998153
proof-shell-filter-manage-output                                2008        3.7156680000  0.0018504322
proof-process-buffer                                            1           3.681492      3.681492
proof-assert-until-point-interactive                            1           3.681391      3.681391
proof-assert-until-point                                        1           3.681388      3.681388
proof-shell-exec-loop                                           2008        3.6569860000  0.0018212081
proof-assert-semis                                              1           2.165613      2.165613
proof-activate-scripting                                        1           2.1626339999  2.1626339999
proof-shell-wait                                                3           2.157879      0.719293
proof-shell-insert                                              2008        1.8324589999  0.0009125791
proof-done-advancing                                            2004        1.7108090000  0.0008536971
proof-segment-up-to-using-cache                                 1           1.515725      1.515725
proof-segment-up-to                                             1           1.5153910000  1.5153910000
proof-segment-up-to-cmdstart                                    1           1.515388      1.515388
proof-looking-at-syntactic-context                              2012        1.2962439999  0.0006442564
isar-syntactic-context                                          2012        1.2880049999  0.0006401615
proof-looking-at-syntactic-context-default                      2012        1.283686      0.0006380149
proof-buffer-syntactic-context                                  2013        1.2504469999  0.0006211857
proof-register-possibly-new-processed-file                      2           1.147767      0.5738835
proof-deactivate-scripting                                      1           1.146929      1.146929
proof-shell-invisible-command                                   2           1.144748      0.572374
proof-cd-sync                                                   1           1.014265      1.014265
scomint-send-input                                              2008        1.0111659999  0.0005035687
proof-toolbar-next-enable-p                                     7434        0.6904569999  9.287...e-05
proof-done-advancing-save                                       1000        0.6694850000  0.0006694850
proof-locked-region-full-p                                      7437        0.6680110000  8.982...e-05
isar-preprocessing                                              2008        0.5888010000  0.0002932275
scomint-send-string                                             2008        0.5238210000  0.0002608670
isar-command-wrapping                                           2008        0.4266709999  0.0002124855
isar-positions-of                                               2008        0.2837250000  0.0001412973
proof-make-goalsave                                             1000        0.2802490000  0.0002802490
pg-set-span-helphighlights                                      3004        0.2778229999  9.248...e-05
pg-remove-specials                                              2008        0.2700440000  0.0001344840
proof-toolbar-use-enable-p                                      3717        0.2482730000  6.679...e-05
proof-shell-available-p                                         26019       0.1759880000  6.763...e-06
proof-re-search-forward                                         2064        0.1741260000  8.436...e-05
pg-add-proof-element                                            1000        0.1635090000  0.0001635090
proof-string-match                                              15032       0.1542850000  1.026...e-05
proof-done-advancing-other                                      1004        0.1512260000  0.0001506235
isar-string-wrapping                                            4015        0.1382279999  3.442...e-05
proof-get-name-from-goal                                        1000        0.1235100000  0.0001235100
proof-replace-regexp-in-string                                  4015        0.1221689999  3.042...e-05
isar-global-save-command-p                                      1000        0.1135740000  0.0001135740
proof-string-match-safe                                         2004        0.1066289999  5.320...e-05
proof-toolbar-command-enable-p                                  3717        0.0918040000  2.469...e-05
proof-set-overlay-arrow                                         2004        0.0877379999  4.378...e-05
pg-add-to-input-history                                         1004        0.0811079999  8.078...e-05
pg-last-output-displayform                                      3004        0.0799419999  2.661...e-05
pg-add-element                                                  1000        0.0758799999  7.587...e-05
proof-shell-process-urgent-messages                             2009        0.0691360000  3.441...e-05
proof-shell-strip-output-markup                                 3006        0.0621240000  2.066...e-05
isar-strip-output-markup                                        3008        0.0508979999  1.692...e-05
isar-shell-adjust-line-width                                    2008        0.0436570000  2.174...e-05
proof-shell-classify-output                                     2008        0.0423230000  2.107...e-05
proof-toolbar-state-enable-p                                    3717        0.0384680000  1.034...e-05
scomint-check-proc                                              28033       0.0319450000  1.139...e-06
proof-toolbar-retract-enable-p                                  3717        0.0305389999  8.216...e-06
isar-goal-command-p                                             2004        0.026745      1.334...e-05
proof-cmdstart-add-segment-for-cmd                              2004        0.0246840000  1.231...e-05
proof-toolbar-delete-enable-p                                   3717        0.0242569999  6.525...e-06
proof-toolbar-undo-enable-p                                     3717        0.0241040000  6.484...e-06
proof-toolbar-context-enable-p                                  3717        0.0233320000  6.277...e-06
proof-toolbar-find-enable-p                                     3717        0.0226730000  6.099...e-06
proof-toolbar-info-enable-p                                     3717        0.0210330000  5.658...e-06
proof-locked-region-empty-p                                     3722        0.0176580000  4.744...e-06
proof-looking-at-safe                                           4012        0.0171930000  4.285...e-06
proof-next-element-id                                           1000        0.0129890000  1.298...e-05
pg-span-name                                                    3004        0.0127430000  4.242...e-06
proof-shell-live-buffer                                         2008        0.0114760000  5.715...e-06
proof-unprocessed-begin                                         11480       0.0112319999  9.783...e-07
proof-looking-at                                                4012        0.0082560000  2.057...e-06
proof-splice-separator                                          2008        0.0070060000  3.489...e-06
pg-processing-complete-hint                                     3           0.0058870000  0.0019623333
proof-element-id                                                1000        0.0039640000  3.964...e-06
proof-next-element-count                                        1000        0.0028809999  2.880...e-06
proof-toolbar-goto-enable-p                                     3717        0.0027980000  7.527...e-07
proof-semis-to-vanillas                                         1           0.002604      0.002604
proof-toolbar-interrupt-enable-p                                3717        0.0022529999  6.061...e-07
proof-shell-process-urgent-message                              3           0.001543      0.0005143333
proof-debug                                                     1003        0.0012860000  1.282...e-06
proof-append-alist                                              3           0.000957      0.000319
isar-match-nesting                                              51          0.000897      1.758...e-05
proof-start-queue                                               2           0.000614      0.000307
proof-unregister-buffer-file-name                               1           0.000609      0.000609
proof-cd                                                        1           0.000429      0.000429
proof-extend-queue                                              1           0.00036       0.00036
proof-shell-message                                             2           0.000257      0.0001285
pg-response-display-with-face                                   5           0.0001839999  3.679...e-05
proof-format-filename                                           2           0.000173      8.65e-05
pg-response-maybe-erase                                         5           0.000124      2.48e-05
proof-shell-handle-delayed-output                               3           0.000117      3.9e-05
pg-response-display                                             3           9.5e-05       3.166...e-05
pg-hint                                                         1           7.1e-05       7.1e-05
proof-format                                                    10          6.1e-05       6.1e-06
proof-shell-ready-prover                                        6           5.899...e-05  9.833...e-06
proof-shell-start                                               6           3.8e-05       6.333...e-06
proof-grab-lock                                                 3           3.5e-05       1.166...e-05
proof-re-search-backward                                        1           3.3e-05       3.3e-05
proof-init-segmentation                                         1           2.4e-05       2.4e-05
proof-shell-strip-eager-annotations                             2           1.5e-05       7.5e-06
proof-complete-buffer-atomic                                    1           1.4e-05       1.4e-05
proof-maybe-follow-locked-end                                   1           1.1e-05       1.1e-05
proof-shell-action-list-item                                    4           1.099...e-05  2.749...e-06
proof-queue-or-locked-end                                       4           8e-06         2e-06
proof-script-end                                                1           7e-06         7e-06
proof-shell-stop-silent-item                                    1           6e-06         6e-06
proof-shell-should-be-silent                                    3           6e-06         2e-06
proof-shell-start-silent-item                                   1           6e-06         6e-06
proof-span-read-only                                            2           4e-06         2e-06
proof-display-and-keep-buffer                                   3           4e-06         1.333...e-06
proof-pbp-focus-on-first-goal                                   3           3e-06         1e-06
proof-release-lock                                              3           3e-06         1e-06
pg-finish-tracing-display                                       3           3e-06         1e-06
proof-done-invisible                                            2           2e-06         1e-06
proof-script-next-command-advance                               1           2e-06         2e-06
pg-clear-script-portions                                        1           2e-06         2e-06
proof-shell-set-silent                                          1           1e-06         1e-06
proof-shell-clear-silent                                        1           1e-06         1e-06
pg-clear-input-ring                                             1           1e-06         1e-06


------------------------------------------------------------------

Removing text properties on o/p:

proof-shell-filter                                              205         0.3153689999  0.0015383853
proof-shell-filter-manage-output                                205         0.285285      0.0013916341
proof-shell-exec-loop                                           205         0.2812860000  0.0013721268
proof-shell-insert                                              205         0.2100919999  0.0010248390
isar-preprocessing                                              205         0.1048260000  0.0005113463
isar-command-wrapping                                           205         0.0952059999  0.0004644195
scomint-send-input                                              205         0.0898139999  0.0004381170
scomint-send-string                                             205         0.0825070000  0.0004024731
isar-string-wrapping                                            410         0.0802999999  0.0001958536
proof-toolbar-find-enable-p                                     434         0.0763130000  0.0001758364
proof-done-advancing                                            203         0.0650530000  0.0003204581
proof-done-advancing-save                                       100         0.0329679999  0.0003296799
proof-toolbar-next-enable-p                                     868         0.0198050000  2.281...e-05
proof-string-match                                              1521        0.0180250000  1.185...e-05
proof-make-goalsave                                             100         0.0177230000  0.0001772300
proof-locked-region-full-p                                      868         0.0173869999  2.003...e-05
pg-remove-specials                                              205         0.0171139999  8.348...e-05
pg-set-span-helphighlights                                      303         0.0167299999  5.521...e-05
isar-positions-of                                               205         0.0142010000  6.927...e-05
proof-shell-available-p                                         3038        0.0122500000  4.032...e-06
pg-add-proof-element                                            100         0.0092029999  9.202...e-05
proof-toolbar-use-enable-p                                      434         0.0086329999  1.989...e-05
pg-last-output-displayform                                      303         0.0080759999  2.665...e-05
proof-done-advancing-other                                      103         0.0071600000  6.951...e-05
proof-get-name-from-goal                                        100         0.0066700000  6.670...e-05
proof-shell-strip-output-markup                                 303         0.0060650000  2.001...e-05
proof-shell-process-urgent-messages                             205         0.0056970000  2.779...e-05
proof-replace-regexp-in-string                                  410         0.0050399999  1.229...e-05
isar-strip-output-markup                                        304         0.0049529999  1.629...e-05
proof-set-overlay-arrow                                         203         0.0047199999  2.325...e-05
proof-toolbar-state-enable-p                                    434         0.0045079999  1.038...e-05
isar-shell-adjust-line-width                                    205         0.0044740000  2.182...e-05
isar-global-save-command-p                                      100         0.0044660000  4.466...e-05
proof-string-match-safe                                         203         0.004411      2.172...e-05
scomint-check-proc                                              3245        0.0036840000  1.135...e-06
proof-toolbar-retract-enable-p                                  434         0.0035050000  8.076...e-06
isar-goal-command-p                                             203         0.0029189999  1.437...e-05
proof-toolbar-undo-enable-p                                     434         0.0027759999  6.396...e-06
proof-toolbar-delete-enable-p                                   434         0.0027319999  6.294...e-06
proof-toolbar-context-enable-p                                  434         0.0025609999  5.900...e-06
pg-processing-complete-hint                                     1           0.002415      0.002415
proof-toolbar-info-enable-p                                     434         0.0023879999  5.502...e-06
proof-toolbar-command-enable-p                                  434         0.0023849999  5.495...e-06
proof-shell-classify-output                                     205         0.0023099999  1.126...e-05
proof-locked-region-empty-p                                     434         0.0020360000  4.691...e-06
pg-add-element                                                  100         0.0016829999  1.682...e-05
pg-span-name                                                    303         0.0012490000  4.122...e-06
proof-next-element-id                                           100         0.0012420000  1.242...e-05
proof-unprocessed-begin                                         1311        0.0012220000  9.321...e-07
pg-add-to-input-history                                         103         0.0011820000  1.147...e-05
proof-shell-live-buffer                                         205         0.0011550000  5.634...e-06
proof-process-buffer                                            1           0.001021      0.001021
proof-assert-until-point-interactive                            1           0.000982      0.000982
proof-assert-until-point                                        1           0.000978      0.000978
proof-assert-semis                                              1           0.000821      0.000821
proof-shell-process-urgent-message                              1           0.000807      0.000807
proof-splice-separator                                          205         0.0007269999  3.546...e-06
proof-shell-message                                             1           0.000621      0.000621
proof-extend-queue                                              1           0.000458      0.000458
proof-append-alist                                              1           0.000449      0.000449
proof-element-id                                                100         0.0003609999  3.609...e-06
proof-semis-to-vanillas                                         1           0.000335      0.000335
proof-toolbar-goto-enable-p                                     434         0.0003060000  7.050...e-07
proof-next-element-count                                        100         0.0002759999  2.759...e-06
proof-toolbar-interrupt-enable-p                                434         0.0002509999  5.783...e-07
proof-debug                                                     100         0.0001249999  1.249...e-06
pg-response-display-with-face                                   2           0.0001089999  5.449...e-05
proof-segment-up-to-using-cache                                 1           9.7e-05       9.7e-05
proof-segment-cache-contents-for                                1           8.5e-05       8.5e-05
proof-re-search-backward                                        1           4.3e-05       4.3e-05
proof-shell-handle-delayed-output                               1           2.1e-05       2.1e-05
proof-shell-ready-prover                                        2           1.999...e-05  9.999...e-06
proof-activate-scripting                                        1           1.8e-05       1.8e-05
pg-response-maybe-erase                                         2           1.7e-05       8.5e-06
pg-response-display                                             1           1.4e-05       1.4e-05
proof-shell-start                                               2           1.2e-05       6e-06
proof-shell-strip-eager-annotations                             1           1.2e-05       1.2e-05
proof-grab-lock                                                 1           1.1e-05       1.1e-05
proof-maybe-follow-locked-end                                   1           9e-06         9e-06
proof-shell-stop-silent-item                                    1           6e-06         6e-06
proof-shell-start-silent-item                                   1           6e-06         6e-06
proof-shell-action-list-item                                    2           4.999...e-06  2.499...e-06
proof-queue-or-locked-end                                       4           3e-06         7.5e-07
proof-shell-should-be-silent                                    1           2e-06         2e-06
proof-script-next-command-advance                               1           2e-06         2e-06
proof-display-and-keep-buffer                                   1           2e-06         2e-06
proof-shell-set-silent                                          1           1e-06         1e-06
proof-shell-clear-silent                                        1           1e-06         1e-06
proof-release-lock                                              1           1e-06         1e-06
pg-finish-tracing-display                                       1           1e-06         1e-06
proof-pbp-focus-on-first-goal                                   1           0.0           0.0


------------------------------------------------------------------

Removing text properties on i/p:


proof-shell-filter                                              205         0.2767050000  0.0013497804
proof-shell-filter-manage-output                                205         0.2491030000  0.0012151365
proof-shell-exec-loop                                           205         0.2451139999  0.0011956780
proof-shell-insert                                              205         0.1729689999  0.0008437512
isar-preprocessing                                              205         0.1062019999  0.0005180585
isar-command-wrapping                                           205         0.0964980000  0.0004707219
isar-string-wrapping                                            410         0.0816209999  0.0001990756
proof-replace-regexp-in-string                                  410         0.0799649999  0.0001950365
proof-done-advancing                                            203         0.0659069999  0.0003246650
scomint-send-string                                             205         0.0444790000  0.0002169707
proof-done-advancing-save                                       100         0.0334109999  0.0003341099
proof-toolbar-next-enable-p                                     844         0.0199650000  2.365...e-05
proof-string-match                                              1521        0.0182100000  1.197...e-05
proof-make-goalsave                                             100         0.0179040000  0.0001790400
proof-locked-region-full-p                                      844         0.0175779999  2.082...e-05
pg-set-span-helphighlights                                      303         0.0168959999  5.576...e-05
pg-remove-specials                                              205         0.0149570000  7.296...e-05
isar-positions-of                                               205         0.0141460000  6.900...e-05
proof-shell-available-p                                         2954        0.0121580000  4.115...e-06
pg-add-proof-element                                            100         0.0092979999  9.297...e-05
proof-toolbar-use-enable-p                                      422         0.0084190000  1.995...e-05
pg-last-output-displayform                                      303         0.0081589999  2.692...e-05
proof-done-advancing-other                                      103         0.0071879999  6.978...e-05
proof-get-name-from-goal                                        100         0.0067640000  6.764...e-05
proof-shell-strip-output-markup                                 303         0.0061680000  2.035...e-05
proof-shell-process-urgent-messages                             205         0.0055640000  2.714...e-05
isar-strip-output-markup                                        304         0.0050069999  1.647...e-05
proof-set-overlay-arrow                                         203         0.0047559999  2.342...e-05
proof-toolbar-state-enable-p                                    422         0.0045959999  1.089...e-05
isar-shell-adjust-line-width                                    205         0.0045240000  2.206...e-05
isar-global-save-command-p                                      100         0.0044959999  4.495...e-05
proof-string-match-safe                                         203         0.0044810000  2.207...e-05
scomint-check-proc                                              3161        0.0035870000  1.134...e-06
proof-toolbar-retract-enable-p                                  422         0.0034850000  8.258...e-06
isar-goal-command-p                                             203         0.0029089999  1.433...e-05
proof-toolbar-context-enable-p                                  422         0.0028079999  6.654...e-06
proof-toolbar-delete-enable-p                                   422         0.0026959999  6.388...e-06
proof-toolbar-undo-enable-p                                     422         0.0026899999  6.374...e-06
proof-toolbar-find-enable-p                                     422         0.0025549999  6.054...e-06
pg-processing-complete-hint                                     1           0.002402      0.002402
proof-toolbar-info-enable-p                                     422         0.0023749999  5.627...e-06
proof-toolbar-command-enable-p                                  422         0.0023369999  5.537...e-06
proof-shell-classify-output                                     205         0.0023229999  1.133...e-05
proof-locked-region-empty-p                                     422         0.0020260000  4.800...e-06
pg-add-element                                                  100         0.0017310000  1.731...e-05
proof-next-element-id                                           100         0.001276      1.276e-05
pg-span-name                                                    303         0.0012510000  4.128...e-06
proof-unprocessed-begin                                         1275        0.0012280000  9.631...e-07
pg-add-to-input-history                                         103         0.0011990000  1.164...e-05
proof-shell-live-buffer                                         205         0.0011910000  5.809...e-06
proof-process-buffer                                            1           0.000879      0.000879
proof-assert-until-point-interactive                            1           0.00084       0.00084
proof-assert-until-point                                        1           0.000836      0.000836
proof-shell-process-urgent-message                              1           0.000797      0.000797
proof-splice-separator                                          205         0.0007339999  3.580...e-06
proof-assert-semis                                              1           0.000676      0.000676
proof-shell-message                                             1           0.00061       0.00061
proof-element-id                                                100         0.0003689999  3.689...e-06
proof-semis-to-vanillas                                         1           0.000326      0.000326
proof-extend-queue                                              1           0.000322      0.000322
proof-append-alist                                              1           0.000315      0.000315
proof-toolbar-goto-enable-p                                     422         0.0003090000  7.322...e-07
proof-next-element-count                                        100         0.0002779999  2.779...e-06
proof-toolbar-interrupt-enable-p                                422         0.0002469999  5.853...e-07
proof-debug                                                     100         0.0001319999  1.319...e-06
pg-response-display-with-face                                   2           0.000113      5.65e-05
proof-segment-up-to-using-cache                                 1           9.3e-05       9.3e-05
proof-segment-cache-contents-for                                1           8.1e-05       8.1e-05
proof-re-search-backward                                        1           4.9e-05       4.9e-05
proof-shell-handle-delayed-output                               1           2.1e-05       2.1e-05
proof-shell-ready-prover                                        2           1.999...e-05  9.999...e-06
proof-activate-scripting                                        1           1.8e-05       1.8e-05
pg-response-maybe-erase                                         2           1.7e-05       8.5e-06
proof-shell-start                                               2           1.300...e-05  6.500...e-06
pg-response-display                                             1           1.3e-05       1.3e-05
proof-grab-lock                                                 1           1.1e-05       1.1e-05
proof-shell-strip-eager-annotations                             1           1e-05         1e-05
proof-maybe-follow-locked-end                                   1           9e-06         9e-06
proof-shell-start-silent-item                                   1           6e-06         6e-06
proof-shell-stop-silent-item                                    1           5e-06         5e-06
proof-queue-or-locked-end                                       4           4e-06         1e-06
proof-shell-action-list-item                                    2           4e-06         2e-06
proof-script-next-command-advance                               1           2e-06         2e-06
proof-display-and-keep-buffer                                   1           2e-06         2e-06
proof-shell-set-silent                                          1           1e-06         1e-06
proof-shell-should-be-silent                                    1           1e-06         1e-06
proof-shell-clear-silent                                        1           1e-06         1e-06
proof-pbp-focus-on-first-goal                                   1           1e-06         1e-06
proof-release-lock                                              1           1e-06         1e-06
pg-finish-tracing-display                                       1           1e-06         1e-06


-----------------------------------------------------------------

disabling command wrapping

proof-shell-filter                                              210         0.3514800000  0.0016737142
proof-shell-filter-manage-output                                210         0.2228989999  0.0010614238
proof-shell-exec-loop                                           210         0.2188429999  0.0010421095
proof-done-advancing                                            204         0.143215      0.0007020343
pg-remove-specials                                              210         0.112124      0.0005339238
proof-done-advancing-save                                       100         0.109444      0.00109444
proof-string-match                                              1334        0.0918810000  6.887...e-05
proof-shell-available-p                                         3129        0.0881120000  2.815...e-05
proof-get-name-from-goal                                        100         0.0816939999  0.0008169399
scomint-check-proc                                              3343        0.0788330000  2.358...e-05
proof-toolbar-command-enable-p                                  447         0.0775490000  0.0001734876
proof-shell-insert                                              210         0.0685579999  0.0003264666
scomint-send-string                                             210         0.0358410000  0.0001706714
proof-toolbar-next-enable-p                                     894         0.0220169999  2.462...e-05
proof-locked-region-full-p                                      894         0.0195010000  2.181...e-05
proof-make-goalsave                                             100         0.0190809999  0.0001908099
pg-set-span-helphighlights                                      304         0.0184809999  6.079...e-05
pg-add-proof-element                                            100         0.0098279999  9.827...e-05
proof-toolbar-use-enable-p                                      447         0.0091759999  2.052...e-05
pg-last-output-displayform                                      304         0.0083169999  2.735...e-05
proof-done-advancing-other                                      104         0.0077229999  7.425...e-05
proof-set-overlay-arrow                                         205         0.0065570000  3.198...e-05
proof-shell-process-urgent-messages                             210         0.0064929999  3.091...e-05
proof-shell-strip-output-markup                                 304         0.0062850000  2.067...e-05
isar-strip-output-markup                                        306         0.0052059999  1.701...e-05
proof-toolbar-state-enable-p                                    447         0.0047669999  1.066...e-05
isar-global-save-command-p                                      100         0.0046590000  4.659...e-05
isar-shell-adjust-line-width                                    210         0.004655      2.216...e-05
proof-string-match-safe                                         204         0.0045679999  2.239...e-05
proof-toolbar-retract-enable-p                                  447         0.0036200000  8.098...e-06
isar-goal-command-p                                             205         0.0029619999  1.444...e-05
proof-toolbar-delete-enable-p                                   447         0.0029529999  6.606...e-06
proof-toolbar-undo-enable-p                                     447         0.0029139999  6.519...e-06
proof-toolbar-find-enable-p                                     447         0.0027339999  6.116...e-06
proof-toolbar-context-enable-p                                  447         0.0026389999  5.903...e-06
proof-toolbar-info-enable-p                                     447         0.0026119999  5.843...e-06
pg-processing-complete-hint                                     2           0.00235       0.001175
proof-shell-classify-output                                     210         0.0023079999  1.099...e-05
proof-locked-region-empty-p                                     451         0.0021040000  4.665...e-06
proof-shell-process-urgent-message                              3           0.001961      0.0006536666
proof-replace-regexp-in-string                                  210         0.0018659999  8.885...e-06
pg-add-element                                                  100         0.001693      1.693...e-05
proof-shell-message                                             2           0.00146       0.00073
proof-unprocessed-begin                                         1367        0.0013369999  9.780...e-07
proof-next-element-id                                           100         0.0012740000  1.274...e-05
pg-span-name                                                    304         0.0012510000  4.115...e-06
pg-add-to-input-history                                         104         0.0012130000  1.166...e-05
proof-shell-live-buffer                                         210         0.0011750000  5.595...e-06
proof-done-retracting                                           2           0.001148      0.000574
proof-script-delete-spans                                       2           0.0010550000  0.0005275000
proof-process-buffer                                            1           0.001009      0.001009
proof-assert-until-point-interactive                            1           0.000976      0.000976
proof-assert-until-point                                        1           0.000972      0.000972
proof-assert-semis                                              1           0.000825      0.000825
proof-append-alist                                              2           0.000691      0.0003455
proof-retract-buffer                                            1           0.000549      0.000549
proof-retract-until-point-interactive                           1           0.000532      0.000532
proof-retract-until-point                                       1           0.000528      0.000528
pg-remove-element                                               30          0.000473      1.576...e-05
proof-extend-queue                                              1           0.000463      0.000463
proof-retract-target                                            1           0.000451      0.000451
proof-element-id                                                100         0.0003829999  3.829...e-06
proof-semis-to-vanillas                                         1           0.000334      0.000334
proof-toolbar-goto-enable-p                                     447         0.0003170000  7.091...e-07
proof-toolbar-interrupt-enable-p                                447         0.0002790000  6.241...e-07
proof-next-element-count                                        100         0.0002759999  2.759...e-06
proof-start-queue                                               1           0.000241      0.000241
pg-response-display-with-face                                   4           0.000229      5.725e-05
proof-goto-end-of-locked                                        1           0.000182      0.000182
proof-debug                                                     100         0.0001309999  1.309...e-06
isar-find-and-forget                                            1           9.7e-05       9.7e-05
pg-remove-script-element                                        30          9.600...e-05  3.200...e-06
proof-segment-up-to-using-cache                                 1           9.5e-05       9.5e-05
pg-response-maybe-erase                                         4           8.999...e-05  2.249...e-05
proof-segment-cache-contents-for                                1           8.3e-05       8.3e-05
proof-last-goal-or-goalsave                                     1           8e-05         8e-05
pg-make-element-visible                                         30          7.600...e-05  2.533...e-06
pg-redisplay-for-gnuemacs                                       30          6.8e-05       2.266...e-06
proof-activate-scripting                                        2           4.3e-05       2.15e-05
proof-shell-ready-prover                                        4           4.2e-05       1.05e-05
proof-shell-handle-delayed-output                               2           3.999...e-05  1.999...e-05
proof-re-search-backward                                        1           3.6e-05       3.6e-05
proof-shell-start                                               4           2.8e-05       7e-06
proof-clean-buffer                                              1           2.6e-05       2.6e-05
pg-response-display                                             2           2.499...e-05  1.249...e-05
proof-grab-lock                                                 2           2.2e-05       1.1e-05
proof-shell-strip-eager-annotations                             2           2.2e-05       1.1e-05
proof-maybe-follow-locked-end                                   2           1.2e-05       6e-06
proof-shell-stop-silent-item                                    2           1.1e-05       5.5e-06
proof-shell-start-silent-item                                   2           1.1e-05       5.5e-06
proof-setup-retract-action                                      2           7e-06         3.5e-06
proof-shell-action-list-item                                    4           6.999...e-06  1.749...e-06
proof-locked-end                                                2           6e-06         3e-06
proof-queue-or-locked-end                                       4           4e-06         1e-06
proof-shell-should-be-silent                                    2           3e-06         1.5e-06
proof-display-and-keep-buffer                                   2           3e-06         1.5e-06
proof-shell-set-silent                                          2           2e-06         1e-06
proof-shell-clear-silent                                        2           2e-06         1e-06
proof-script-next-command-advance                               1           2e-06         2e-06
proof-release-lock                                              2           2e-06         1e-06
pg-finish-tracing-display                                       2           2e-06         1e-06
isar-remove                                                     1           2e-06         2e-06
proof-pbp-focus-on-first-goal                                   2           1e-06         5e-07


-----------------------------------------------------------------

disabling shell cleaning

proof-shell-filter-manage-output                                205         0.2435890000  0.0011882390
proof-shell-exec-loop                                           205         0.2398479999  0.0011699902
proof-shell-insert                                              205         0.1606790000  0.0007838000
proof-toolbar-find-enable-p                                     431         0.0806610000  0.0001871484
proof-toolbar-retract-enable-p                                  431         0.0792429999  0.0001838584
proof-locked-region-empty-p                                     432         0.0777940000  0.0001800787
proof-done-advancing                                            203         0.0700679999  0.0003451625
scomint-send-string                                             205         0.0527400000  0.0002572682
proof-done-advancing-save                                       100         0.0341680000  0.00034168
proof-toolbar-next-enable-p                                     862         0.0243430000  2.824...e-05
proof-locked-region-full-p                                      863         0.0218720000  2.534...e-05
proof-make-goalsave                                             100         0.0196210000  0.0001962100
pg-set-span-helphighlights                                      303         0.0194000000  6.402...e-05
proof-string-match                                              1316        0.0168150000  1.277...e-05
proof-shell-available-p                                         3017        0.0122670000  4.065...e-06
proof-toolbar-use-enable-p                                      431         0.0112489999  2.609...e-05
pg-add-proof-element                                            100         0.0103299999  0.0001032999
proof-done-advancing-other                                      103         0.0080660000  7.831...e-05
pg-last-output-displayform                                      303         0.0080109999  2.643...e-05
proof-set-overlay-arrow                                         203         0.0077329999  3.809...e-05
proof-get-name-from-goal                                        100         0.0066490000  6.649...e-05
proof-shell-strip-output-markup                                 303         0.0060620000  2.000...e-05
proof-shell-process-urgent-messages                             205         0.005429      2.648...e-05
isar-global-save-command-p                                      100         0.0053289999  5.328...e-05
pg-processing-complete-hint                                     1           0.005194      0.005194
isar-strip-output-markup                                        304         0.0049429999  1.625...e-05
isar-shell-adjust-line-width                                    205         0.0044570000  2.174...e-05
proof-toolbar-state-enable-p                                    431         0.0043999999  1.020...e-05
proof-string-match-safe                                         203         0.0041589999  2.048...e-05
scomint-check-proc                                              3224        0.0036730000  1.139...e-06
isar-goal-command-p                                             203         0.0028909999  1.424...e-05
proof-toolbar-delete-enable-p                                   431         0.0028049999  6.508...e-06
proof-toolbar-undo-enable-p                                     431         0.0027749999  6.438...e-06
proof-toolbar-info-enable-p                                     431         0.0025189999  5.844...e-06
proof-toolbar-context-enable-p                                  431         0.0025069999  5.816...e-06
proof-toolbar-command-enable-p                                  431         0.0024369999  5.654...e-06
proof-shell-classify-output                                     205         0.0019569999  9.546...e-06
pg-hint                                                         1           0.001928      0.001928
proof-replace-regexp-in-string                                  205         0.0016949999  8.268...e-06
pg-add-element                                                  100         0.0016770000  1.677...e-05
proof-shell-process-urgent-message                              1           0.001473      0.001473
proof-shell-message                                             1           0.00126       0.00126
proof-next-element-id                                           100         0.0012599999  1.259...e-05
pg-span-name                                                    303         0.0012540000  4.138...e-06
proof-unprocessed-begin                                         1311        0.0012240000  9.336...e-07
pg-add-to-input-history                                         103         0.0012010000  1.166...e-05
proof-shell-live-buffer                                         205         0.0011310000  5.517...e-06
proof-process-buffer                                            1           0.000884      0.000884
proof-assert-until-point-interactive                            1           0.000848      0.000848
proof-assert-until-point                                        1           0.000845      0.000845
proof-assert-semis                                              1           0.000686      0.000686
proof-goto-end-of-locked                                        3           0.000527      0.0001756666
proof-element-id                                                100         0.0003679999  3.679...e-06
proof-semis-to-vanillas                                         1           0.000335      0.000335
proof-extend-queue                                              1           0.000324      0.000324
proof-toolbar-goto-enable-p                                     431         0.0003190000  7.401...e-07
proof-append-alist                                              1           0.000315      0.000315
proof-next-element-count                                        100         0.0002809999  2.809...e-06
proof-toolbar-interrupt-enable-p                                431         0.0002599999  6.032...e-07
pg-response-display-with-face                                   2           0.000134      6.7e-05
proof-debug                                                     100         0.0001269999  1.269...e-06
proof-segment-up-to-using-cache                                 1           9e-05         9e-05
proof-segment-cache-contents-for                                1           7.9e-05       7.9e-05
proof-re-search-backward                                        1           5.1e-05       5.1e-05
proof-shell-handle-delayed-output                               1           2.3e-05       2.3e-05
proof-shell-ready-prover                                        2           1.9e-05       9.5e-06
proof-activate-scripting                                        1           1.7e-05       1.7e-05
pg-response-maybe-erase                                         2           1.7e-05       8.5e-06
pg-response-display                                             1           1.6e-05       1.6e-05
proof-shell-start                                               2           1.300...e-05  6.500...e-06
proof-shell-strip-eager-annotations                             1           1.3e-05       1.3e-05
proof-grab-lock                                                 1           1.1e-05       1.1e-05
proof-maybe-follow-locked-end                                   1           9e-06         9e-06
proof-shell-stop-silent-item                                    1           6e-06         6e-06
proof-shell-start-silent-item                                   1           5e-06         5e-06
proof-queue-or-locked-end                                       4           4e-06         1e-06
proof-shell-action-list-item                                    2           3e-06         1.5e-06
proof-script-next-command-advance                               1           2e-06         2e-06
proof-shell-set-silent                                          1           1e-06         1e-06
proof-shell-should-be-silent                                    1           1e-06         1e-06
proof-shell-clear-silent                                        1           1e-06         1e-06
proof-pbp-focus-on-first-goal                                   1           1e-06         1e-06
proof-display-and-keep-buffer                                   1           1e-06         1e-06
proof-release-lock                                              1           1e-06         1e-06
pg-finish-tracing-display                                       1           1e-06         1e-06