Time |   Peak Mem | File Name                                     
-----------------------------------------------------------------------
19m16.04s | 3302508 ko | Total Time / Peak Mem                         
-----------------------------------------------------------------------
 4m01.34s | 1617000 ko | Specific/X25519/C64/ladderstep                
 3m09.62s | 3302508 ko | Specific/NISTP256/AMD64/femul                 
 2m48.52s | 1589516 ko | Specific/solinas32_2e255m765_13limbs/femul    
 2m23.70s | 1454696 ko | Specific/solinas32_2e255m765_12limbs/femul    
 0m45.75s |  744240 ko | Specific/solinas32_2e255m765_13limbs/Synthesis
 0m39.59s |  793376 ko | Specific/NISTP256/AMD64/fesub                 
 0m36.92s |  728464 ko | Specific/solinas32_2e255m765_12limbs/Synthesis
 0m36.32s |  825448 ko | Specific/X25519/C64/femul                     
 0m35.40s |  799216 ko | Specific/NISTP256/AMD64/feadd                 
 0m31.50s |  828104 ko | Specific/X25519/C64/freeze                    
 0m30.13s |  799620 ko | Specific/X25519/C64/fesquare                  
 0m28.51s |  765208 ko | Specific/NISTP256/AMD64/feopp                 
 0m25.50s |  756080 ko | Specific/NISTP256/AMD64/fenz                  
 0m24.99s |  786052 ko | Specific/X25519/C64/fecarry                   
 0m22.65s |  778792 ko | Specific/X25519/C64/fesub                     
 0m20.93s |  766300 ko | Specific/X25519/C64/feadd                     
 0m12.55s |  668216 ko | Specific/NISTP256/AMD64/Synthesis             
 0m10.37s |  687760 ko | Specific/X25519/C64/Synthesis                 
 0m07.18s |  574388 ko | Compilers/Z/Bounds/Pipeline/Definition        
 0m01.72s |  544172 ko | Compilers/Z/Bounds/Pipeline/ReflectiveTactics 
 0m01.67s |  646300 ko | Specific/Framework/SynthesisFramework         
 0m01.19s |  539808 ko | Compilers/Z/Bounds/Pipeline