COQC LiftLetsMap/_3_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_3_Sanity.log (real: 1.32, user: 1.10, sys: 0.21, mem: 584168 ko)
COQC LiftLetsMap/_0_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_0_Sanity.log (real: 1.40, user: 1.18, sys: 0.21, mem: 583824 ko)
COQC LiftLetsMap/_1_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_1_Sanity.log (real: 1.40, user: 1.18, sys: 0.22, mem: 584104 ko)
COQC LiftLetsMap/_2_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_2_Sanity.log (real: 1.74, user: 1.50, sys: 0.23, mem: 583984 ko)
COQC LiftLetsMap/_10_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_10_Sanity.log (real: 2.25, user: 2.00, sys: 0.25, mem: 583548 ko)
COQC LiftLetsMap/_6_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_6_Sanity.log (real: 1.21, user: 1.06, sys: 0.14, mem: 583736 ko)
COQC LiftLetsMap/_5_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_5_Sanity.log (real: 1.28, user: 1.11, sys: 0.17, mem: 583888 ko)
COQC LiftLetsMap/_7_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_7_Sanity.log (real: 1.30, user: 1.11, sys: 0.18, mem: 583588 ko)
COQC LiftLetsMap/_4_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.log (real: 2.21, user: 1.64, sys: 0.56, mem: 583924 ko)
COQC LiftLetsMap/_8_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_8_Sanity.log (real: 1.29, user: 1.09, sys: 0.19, mem: 583884 ko)
COQC Plus0Tree/_0_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_0_Sanity.log (real: 1.26, user: 1.06, sys: 0.19, mem: 573572 ko)
COQC Plus0Tree/_1_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_1_Sanity.log (real: 1.27, user: 1.12, sys: 0.14, mem: 573664 ko)
COQC Plus0Tree/_2_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_2_Sanity.log (real: 1.27, user: 1.10, sys: 0.17, mem: 573548 ko)
COQC Plus0Tree/_3_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_3_Sanity.log (real: 1.26, user: 1.09, sys: 0.17, mem: 573500 ko)
COQC LiftLetsMap/_9_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_9_Sanity.log (real: 2.27, user: 2.11, sys: 0.15, mem: 583712 ko)
COQC Plus0Tree/_4_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_4_Sanity.log (real: 1.26, user: 1.07, sys: 0.19, mem: 573432 ko)
COQC Plus0Tree/_5_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_5_Sanity.log (real: 1.28, user: 1.11, sys: 0.17, mem: 573532 ko)
COQC SieveOfEratosthenes/_0_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_0_Sanity.log (real: 1.31, user: 1.16, sys: 0.14, mem: 566688 ko)
COQC SieveOfEratosthenes/_2_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_2_Sanity.log (real: 1.32, user: 1.16, sys: 0.16, mem: 566328 ko)
COQC SieveOfEratosthenes/_3_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_3_Sanity.log (real: 1.24, user: 1.05, sys: 0.19, mem: 566304 ko)
COQC SieveOfEratosthenes/_4_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_4_Sanity.log (real: 1.50, user: 1.29, sys: 0.20, mem: 566736 ko)
COQC Plus0Tree/_6_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_6_Sanity.log (real: 2.94, user: 2.73, sys: 0.21, mem: 583960 ko)
COQC SieveOfEratosthenes/_5_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_5_Sanity.log (real: 1.49, user: 1.32, sys: 0.17, mem: 566840 ko)
COQC SieveOfEratosthenes/_1_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_1_Sanity.log (real: 3.35, user: 2.26, sys: 1.08, mem: 567192 ko)
COQC UnderLetsPlus0/_0_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_0_Sanity.log (real: 1.25, user: 1.04, sys: 0.20, mem: 555300 ko)
COQC UnderLetsPlus0/_1_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_1_Sanity.log (real: 1.21, user: 1.05, sys: 0.15, mem: 555304 ko)
COQC UnderLetsPlus0/_2_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_2_Sanity.log (real: 1.26, user: 1.08, sys: 0.17, mem: 555216 ko)
COQC UnderLetsPlus0/_3_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_3_Sanity.log (real: 1.94, user: 1.78, sys: 0.15, mem: 560324 ko)
COQC SieveOfEratosthenes/_6_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_6_Sanity.log (real: 5.04, user: 4.87, sys: 0.17, mem: 597064 ko)
COQC LiftLetsMap/_0_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_0_SuperFast.log (real: 5.83, user: 5.60, sys: 0.22, mem: 598728 ko)
COQC LiftLetsMap/_1_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_1_SuperFast.log (real: 5.75, user: 5.56, sys: 0.17, mem: 597648 ko)
COQC LiftLetsMap/_2_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_2_SuperFast.log (real: 8.56, user: 8.34, sys: 0.21, mem: 601544 ko)
COQC LiftLetsMap/_3_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_3_SuperFast.log (real: 11.44, user: 11.17, sys: 0.27, mem: 694272 ko)
COQC LiftLetsMap/_5_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_5_SuperFast.log (real: 8.64, user: 8.29, sys: 0.32, mem: 880320 ko)
COQC LiftLetsMap/_4_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_SuperFast.log (real: 12.80, user: 8.03, sys: 4.73, mem: 662812 ko)
COQC LiftLetsMap/_8_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_8_SuperFast.log (real: 4.26, user: 3.96, sys: 0.28, mem: 587820 ko)
COQC LiftLetsMap/_6_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_6_SuperFast.log (real: 9.17, user: 8.87, sys: 0.30, mem: 960960 ko)
COQC LiftLetsMap/_7_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_7_SuperFast.log (real: 4.93, user: 4.75, sys: 0.18, mem: 590076 ko)
COQC Plus0Tree/_2_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_2_SuperFast.log (real: 7.90, user: 7.71, sys: 0.19, mem: 722968 ko)
COQC Plus0Tree/_1_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_1_SuperFast.log (real: 11.85, user: 11.61, sys: 0.24, mem: 723460 ko)
COQC LiftLetsMap/_9_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_9_SuperFast.log (real: 13.87, user: 13.68, sys: 0.19, mem: 653184 ko)
COQC Plus0Tree/_0_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_0_SuperFast.log (real: 14.48, user: 14.20, sys: 0.26, mem: 905164 ko)
COQC Plus0Tree/_5_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_5_SuperFast.log (real: 3.24, user: 3.03, sys: 0.21, mem: 615460 ko)
COQC Plus0Tree/_4_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_4_SuperFast.log (real: 5.86, user: 5.62, sys: 0.23, mem: 642664 ko)
COQC SieveOfEratosthenes/_1_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_1_SuperFast.log (real: 4.96, user: 3.27, sys: 1.69, mem: 567660 ko)
COQC Plus0Tree/_3_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_3_SuperFast.log (real: 14.74, user: 14.45, sys: 0.29, mem: 846276 ko)
COQC SieveOfEratosthenes/_0_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_0_SuperFast.log (real: 7.41, user: 7.16, sys: 0.24, mem: 582148 ko)
COQC Plus0Tree/_6_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_6_SuperFast.log (real: 14.72, user: 14.47, sys: 0.23, mem: 722832 ko)
COQC SieveOfEratosthenes/_2_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_2_SuperFast.log (real: 9.65, user: 9.44, sys: 0.21, mem: 596304 ko)
COQC SieveOfEratosthenes/_4_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_4_SuperFast.log (real: 10.56, user: 10.36, sys: 0.19, mem: 568308 ko)
COQC SieveOfEratosthenes/_3_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_3_SuperFast.log (real: 12.84, user: 12.53, sys: 0.30, mem: 823112 ko)
COQC UnderLetsPlus0/_0_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_0_SuperFast.log (real: 3.06, user: 2.86, sys: 0.20, mem: 560872 ko)
COQC UnderLetsPlus0/_1_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_1_SuperFast.log (real: 3.04, user: 2.86, sys: 0.18, mem: 560208 ko)
COQC SieveOfEratosthenes/_5_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_5_SuperFast.log (real: 10.68, user: 10.45, sys: 0.21, mem: 593836 ko)
COQC SieveOfEratosthenes/_6_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_6_SuperFast.log (real: 10.30, user: 10.11, sys: 0.18, mem: 661136 ko)
COQC UnderLetsPlus0/_3_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_3_SuperFast.log (real: 11.27, user: 11.05, sys: 0.21, mem: 635644 ko)
COQC UnderLetsPlus0/_2_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_2_SuperFast.log (real: 13.35, user: 13.11, sys: 0.23, mem: 647692 ko)
COQC LiftLetsMap/_0_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_0_Fast.log (real: 23.89, user: 23.62, sys: 0.23, mem: 654356 ko)
COQC LiftLetsMap/_1_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_1_Fast.log (real: 23.53, user: 23.29, sys: 0.24, mem: 655596 ko)
COQC LiftLetsMap/_2_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_2_Fast.log (real: 23.06, user: 22.86, sys: 0.20, mem: 663532 ko)
COQC LiftLetsMap/_5_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_5_Fast.log (real: 29.76, user: 29.42, sys: 0.34, mem: 960196 ko)
COQC LiftLetsMap/_6_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_6_Fast.log (real: 43.84, user: 43.53, sys: 0.30, mem: 1052332 ko)
COQC LiftLetsMap/_4_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Fast.log (real: 96.06, user: 56.79, sys: 39.15, mem: 1184272 ko)
COQC LiftLetsMap/_7_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_7_Fast.log (real: 53.59, user: 53.33, sys: 0.25, mem: 744636 ko)
COQC LiftLetsMap/_8_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_8_Fast.log (real: 51.91, user: 51.55, sys: 0.36, mem: 1219464 ko)
COQC LiftLetsMap/_10_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_10_SuperFast.log (real: 748.62, user: 747.32, sys: 1.24, mem: 953888 ko)
COQC LiftLetsMap/_3_Fast > LOG
File "./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_3_Fast.v", line 3, characters 11-21:
Error: Stack overflow.

Command exited with non-zero status 1
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_3_Fast.log (real: 690.28, user: 688.23, sys: 1.41, mem: 1466492 ko)
/home/jgross/Documents/repos/rewriter/src/Rewriter/Rewriter/Examples/PerfTesting/Makefile.generated-files:23: recipe for target 'src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_3_Fast.log' failed
make: *** [src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_3_Fast.log] Error 1
COQDEP VFILES
COQC src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap.v
Building index_of_base...
Building base_type_list...
Building eta_base_cps_gen...
Building eta_base_cps...
Building base_interp...
Building all_base...
Building all_base_and_interp...
Building index_of_ident...
Building ident_interp...
Building base_eq_dec...
Building base_beq_and_reflect...
Building base_beq...
Building reflect_base_beq...
Building baseHasNatAndCorrect...
Building baseHasNat...
Building baseHasNatCorrect...
Building base_interp_beq...
Building reflect_base_interp_beq...
Building try_make_base_transport_cps...
Building try_make_base_transport_cps_correct...
Building all_idents...
Building all_ident_and_interp...
Building buildEagerIdentAndInterpCorrect...
Building buildEagerIdent...
Building buildInterpEagerIdentCorrect...
Building toRestrictedIdentAndCorrect...
Building toRestrictedIdent...
Building toFromRestrictedIdent...
Building buildIdentAndInterpCorrect...
Building buildIdent...
Building buildInterpIdentCorrect...
Building ident_is_var_like...
Building eqv_Reflexive_Proper...
Building ident_interp_Proper...
Building invertIdent...
Building buildInvertIdentCorrect...
Building base_default...
Building package...
Building all_base...
Building all_idents...
Building ident_index...
Building eta_ident_cps_gen...
Building eta_ident_cps_gen_expand_literal...
Building eta_ident_cps...
Building simple_idents...
Building all_raw_idents...
Building raw_ident_index...
Building raw_ident_index_idempotent...
Building eta_raw_ident_cps_gen...
Building raw_ident_to_ident...
Building raw_ident_infos_of...
Building split_raw_ident_gen...
Building invert_bind_args...
Building invert_bind_args_unknown...
Building all_pattern_idents...
Building eta_pattern_ident_cps_gen...
Building eta_pattern_ident_cps_gen_expand_literal...
Building split_types...
Building add_types_from_raw_sig...
Building to_type_split_types_subst_default_eq...
Building projT1_add_types_from_raw_sig_eq...
Building arg_types_unfolded...
Building type_of_list_arg_types_beq_unfolded...
Building to_typed_unfolded...
Building of_typed_ident_unfolded...
Building arg_types_of_typed_ident_unfolded...
Building unify...
Building unify_unknown...
Building final ident package...
Proving is_simple_correct0...
Tactic call ran for 0.304 secs (0.304u,0.s) (success)
Proving invert_bind_args_raw_to_typed...
Tactic call ran for 0.204 secs (0.196u,0.007s) (success)
Proving fold_invert_bind_args...
Tactic call ran for 0.012 secs (0.012u,0.s) (success)
Proving split_ident_to_ident...
Tactic call ran for 0.073 secs (0.073u,0.s) (success)
Proving eq_indep_types_of_eq_types...
Tactic call ran for 0.74 secs (0.739u,0.s) (success)
Proving fold_eta_ident_cps...
Tactic call ran for 0.001 secs (0.001u,0.s) (success)
Proving fold_unify...
Tactic call ran for 0.001 secs (0.001u,0.s) (success)
Proving to_typed_of_typed_ident...
Tactic call ran for 1.188 secs (1.184u,0.003s) (success)
Proving eq_invert_bind_args_unknown...
Tactic call ran for 0.001 secs (0.001u,0.s) (success)
Proving eq_unify_unknown...
Tactic call ran for 0.001 secs (0.001u,0.s) (success)
Reifying...
Compiling decision tree...
Splitting rewrite rules...
Assembling rewrite_head...
Reducing rewrite_head...
Tactic call ran for 0.195 secs (0.195u,0.s) (success)
Tactic call ran for 0.085 secs (0.085u,0.s) (success)
Tactic call ran for 0.137 secs (0.137u,0.s) (success)
Assembling rewrite_head_no_dtree...
Reducing rewrite_head_no_dtree...
Proving Rewriter_Wf...
Tactic call ran for 0.064 secs (0.064u,0.s) (success)
Tactic call ran for 1.047 secs (1.047u,0.s) (success)
Proving Rewriter_Interp...
Tactic call ran for 0.914 secs (0.914u,0.s) (success)
Tactic call ran for 0.545 secs (0.545u,0.s) (success)
Assembling verified rewriter...
Refining with verified rewriter...
Finished transaction in 19.428 secs (19.38u,0.048s) (successful)
File "./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap.v", line 234, characters 0-31:
Warning: There is no option NativeCompute Timing. [unknown-option,option]
Profiling to file ./native_compute_profile_2dc3a6.data
Finished transaction in 31.639 secs (28.012u,0.112s) (successful)
Profiling to file ./native_compute_profile_ea1e68.data
Finished transaction in 7.697 secs (7.249u,0.171s) (successful)
File "./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap.v", line 427, characters 0-32:
Warning: There is no option NativeCompute Timing. [unknown-option,option]
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap.vo (real: 60.66, user: 59.77, sys: 0.79, mem: 956064 ko)
COQC Plus0Tree/_4_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_4_Fast.log (real: 34.75, user: 34.44, sys: 0.31, mem: 846408 ko)
COQC Plus0Tree/_5_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_5_Fast.log (real: 22.42, user: 22.09, sys: 0.32, mem: 846288 ko)
COQC Plus0Tree/_1_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_1_Fast.log (real: 1318.11, user: 1317.66, sys: 0.43, mem: 1232860 ko)
COQC SieveOfEratosthenes/_0_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_0_Fast.log (real: 326.19, user: 325.83, sys: 0.31, mem: 823492 ko)
COQC Plus0Tree/_2_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_2_Fast.log (real: 2474.31, user: 2473.90, sys: 0.39, mem: 1109348 ko)
COQC SieveOfEratosthenes/_1_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_1_Fast.log (real: 1066.91, user: 601.02, sys: 460.69, mem: 1345208 ko)
COQC Plus0Tree/_0_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_0_Fast.log (real: 4252.64, user: 4244.72, sys: 5.53, mem: 2727920 ko)
COQC Plus0Tree/_3_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_3_Fast.log (real: 4320.54, user: 4318.66, sys: 1.32, mem: 1517588 ko)
COQC SieveOfEratosthenes/_4_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_4_Fast.log (real: 107.45, user: 107.24, sys: 0.20, mem: 606808 ko)
COQC SieveOfEratosthenes/_5_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_5_Fast.log (real: 114.01, user: 113.71, sys: 0.30, mem: 823420 ko)
COQC UnderLetsPlus0/_0_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_0_Fast.log (real: 30.64, user: 30.43, sys: 0.20, mem: 608752 ko)
COQC UnderLetsPlus0/_1_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_1_Fast.log (real: 30.95, user: 30.73, sys: 0.21, mem: 610828 ko)
COQC UnderLetsPlus0/_2_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_2_Fast.log (real: 542.49, user: 542.15, sys: 0.32, mem: 880684 ko)
COQC SieveOfEratosthenes/_2_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_2_Fast.log (real: 5784.55, user: 5781.71, sys: 1.35, mem: 896740 ko)
COQC LiftLetsMap/_0_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_0_Medium.log (real: 130.30, user: 130.03, sys: 0.25, mem: 817756 ko)
COQC LiftLetsMap/_1_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_1_Medium.log (real: 129.42, user: 129.15, sys: 0.26, mem: 817468 ko)
COQC LiftLetsMap/_10_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_10_Medium.log (real: 1.63, user: 1.41, sys: 0.21, mem: 588520 ko)
COQC LiftLetsMap/_2_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_2_Medium.log (real: 284.53, user: 284.18, sys: 0.33, mem: 971020 ko)
COQC LiftLetsMap/_3_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_3_Medium.log (real: 1.52, user: 1.39, sys: 0.13, mem: 588268 ko)
COQC LiftLetsMap/_4_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Medium.log (real: 85.52, user: 51.81, sys: 33.62, mem: 1202384 ko)
COQC LiftLetsMap/_5_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_5_Medium.log (real: 1.63, user: 1.46, sys: 0.17, mem: 588592 ko)
COQC LiftLetsMap/_6_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_6_Medium.log (real: 12.32, user: 11.96, sys: 0.36, mem: 1072892 ko)
COQC LiftLetsMap/_7_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_7_Medium.log (real: 243.57, user: 243.10, sys: 0.45, mem: 1181836 ko)
COQC LiftLetsMap/_8_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_8_Medium.log (real: 302.77, user: 301.61, sys: 1.14, mem: 3424476 ko)
COQC SieveOfEratosthenes/_3_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_3_Fast.log (real: 8573.66, user: 8567.19, sys: 6.26, mem: 2087164 ko)
COQC Plus0Tree/_0_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_0_Medium.log (real: 514.40, user: 513.68, sys: 0.71, mem: 2400392 ko)
COQC Plus0Tree/_1_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_1_Medium.log (real: 79.68, user: 79.30, sys: 0.37, mem: 922736 ko)
COQC Plus0Tree/_2_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_2_Medium.log (real: 343.83, user: 343.02, sys: 0.81, mem: 2399456 ko)
COQC Plus0Tree/_3_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_3_Medium.log (real: 1369.48, user: 1367.57, sys: 1.88, mem: 3231624 ko)
COQC Plus0Tree/_4_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_4_Medium.log (real: 121.92, user: 121.34, sys: 0.57, mem: 1926008 ko)
COQC Plus0Tree/_5_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_5_Medium.log (real: 103.08, user: 102.50, sys: 0.57, mem: 1810252 ko)
COQC Plus0Tree/_6_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_6_Fast.log (real: 15026.54, user: 15011.27, sys: 8.72, mem: 1581244 ko)
COQC SieveOfEratosthenes/_0_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_0_Medium.log (real: 1.46, user: 1.29, sys: 0.17, mem: 566612 ko)
COQC SieveOfEratosthenes/_1_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_1_Medium.log (real: 1.35, user: 1.14, sys: 0.20, mem: 566324 ko)
COQC SieveOfEratosthenes/_2_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_2_Medium.log (real: 1.36, user: 1.17, sys: 0.18, mem: 565988 ko)
COQC Plus0Tree/_6_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_6_Medium.log (real: 1482.32, user: 1479.93, sys: 1.51, mem: 2398896 ko)
COQC SieveOfEratosthenes/_4_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_4_Medium.log (real: 1169.59, user: 1169.28, sys: 0.29, mem: 822948 ko)
COQC SieveOfEratosthenes/_5_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_5_Medium.log (real: 1233.26, user: 1232.99, sys: 0.24, mem: 823048 ko)
COQC SieveOfEratosthenes/_6_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_6_Medium.log (real: 1.40, user: 1.24, sys: 0.15, mem: 566408 ko)
COQC UnderLetsPlus0/_0_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_0_Medium.log (real: 173.84, user: 173.54, sys: 0.26, mem: 720728 ko)
COQC UnderLetsPlus0/_1_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_1_Medium.log (real: 170.02, user: 169.80, sys: 0.21, mem: 729672 ko)
COQC SieveOfEratosthenes/_3_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_3_Medium.log (real: 8128.30, user: 8039.41, sys: 84.11, mem: 2422044 ko)
COQC UnderLetsPlus0/_3_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_3_Medium.log (real: 1.31, user: 1.13, sys: 0.17, mem: 555180 ko)
COQC LiftLetsMap/_0_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_0_Slow.log (real: 145.34, user: 145.00, sys: 0.32, mem: 888844 ko)
COQC UnderLetsPlus0/_2_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_2_Medium.log (real: 5508.81, user: 5508.38, sys: 0.33, mem: 1055544 ko)
COQC LiftLetsMap/_1_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_1_Slow.log (real: 173.15, user: 172.86, sys: 0.28, mem: 888892 ko)
COQC LiftLetsMap/_10_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_10_Slow.log (real: 43.68, user: 43.29, sys: 0.37, mem: 889740 ko)
COQC LiftLetsMap/_3_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_3_Slow.log (real: 29.57, user: 29.22, sys: 0.34, mem: 977436 ko)
COQC LiftLetsMap/_4_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Slow.log (real: 1.62, user: 1.46, sys: 0.16, mem: 588796 ko)
COQC LiftLetsMap/_5_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_5_Slow.log (real: 1.68, user: 1.50, sys: 0.17, mem: 588628 ko)
COQC LiftLetsMap/_6_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_6_Slow.log (real: 1.70, user: 1.51, sys: 0.18, mem: 588880 ko)
COQC LiftLetsMap/_2_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_2_Slow.log (real: 656.52, user: 656.09, sys: 0.41, mem: 1305316 ko)
COQC LiftLetsMap/_7_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_7_Slow.log (real: 1270.77, user: 1270.27, sys: 0.47, mem: 1613988 ko)
COQC LiftLetsMap/_9_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_9_Slow.log (real: 47.74, user: 47.43, sys: 0.30, mem: 889128 ko)
COQC Plus0Tree/_0_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_0_Slow.log (real: 549.58, user: 548.74, sys: 0.82, mem: 3057804 ko)
COQC Plus0Tree/_1_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_1_Slow.log (real: 39.79, user: 39.52, sys: 0.26, mem: 921672 ko)
COQC LiftLetsMap/_8_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_8_Slow.log (real: 1569.10, user: 1567.79, sys: 1.27, mem: 4824652 ko)
COQC Plus0Tree/_3_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_3_Slow.log (real: 157.32, user: 156.96, sys: 0.34, mem: 1232240 ko)
COQC Plus0Tree/_2_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_2_Slow.log (real: 676.07, user: 675.50, sys: 0.54, mem: 1691896 ko)
COQC Plus0Tree/_4_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_4_Slow.log (real: 864.61, user: 864.12, sys: 0.43, mem: 1365992 ko)
COQC Plus0Tree/_5_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_5_Slow.log (real: 681.15, user: 680.73, sys: 0.40, mem: 1364948 ko)
COQC UnderLetsPlus0/_3_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_3_Fast.log (real: 23588.18, user: 23495.17, sys: 87.32, mem: 4610100 ko)
COQC SieveOfEratosthenes/_0_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_0_Slow.log (real: 2139.89, user: 2139.53, sys: 0.31, mem: 824904 ko)
COQC SieveOfEratosthenes/_6_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_6_Fast.log (real: 26451.78, user: 26436.88, sys: 8.03, mem: 991088 ko)
COQC SieveOfEratosthenes/_2_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_2_Slow.log (real: 1808.51, user: 1808.21, sys: 0.28, mem: 898892 ko)
COQC SieveOfEratosthenes/_4_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_4_Slow.log (real: 707.14, user: 705.44, sys: 0.79, mem: 823332 ko)
COQC SieveOfEratosthenes/_5_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_5_Slow.log (real: 632.76, user: 631.23, sys: 0.70, mem: 823216 ko)
COQC SieveOfEratosthenes/_1_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_1_Slow.log (real: 4026.16, user: 3948.46, sys: 75.96, mem: 1490444 ko)
COQC SieveOfEratosthenes/_3_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_3_Slow.log (real: 1958.34, user: 1935.10, sys: 23.19, mem: 5575816 ko)
COQC UnderLetsPlus0/_0_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_0_Slow.log (real: 1176.62, user: 1176.36, sys: 0.26, mem: 810220 ko)
COQC UnderLetsPlus0/_2_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_2_Slow.log (real: 1.34, user: 1.12, sys: 0.21, mem: 555168 ko)
COQC UnderLetsPlus0/_1_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_1_Slow.log (real: 1160.41, user: 1159.62, sys: 0.77, mem: 810032 ko)
COQC LiftLetsMap/_0_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_0_VerySlow.log (real: 1.34, user: 1.10, sys: 0.23, mem: 588228 ko)
COQC LiftLetsMap/_1_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_1_VerySlow.log (real: 44.64, user: 44.31, sys: 0.32, mem: 758008 ko)
COQC SieveOfEratosthenes/_6_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_6_Slow.log (real: 1936.91, user: 1932.39, sys: 2.13, mem: 984792 ko)
COQC LiftLetsMap/_10_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_10_VerySlow.log (real: 172.87, user: 172.31, sys: 0.55, mem: 971352 ko)
COQC LiftLetsMap/_3_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_3_VerySlow.log (real: 4.58, user: 4.38, sys: 0.19, mem: 588608 ko)
COQC LiftLetsMap/_4_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_VerySlow.log (real: 1.82, user: 1.66, sys: 0.15, mem: 588548 ko)
COQC LiftLetsMap/_5_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_5_VerySlow.log (real: 1.99, user: 1.76, sys: 0.23, mem: 588388 ko)
COQC LiftLetsMap/_6_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_6_VerySlow.log (real: 1.90, user: 1.69, sys: 0.21, mem: 588672 ko)
COQC LiftLetsMap/_2_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_2_VerySlow.log (real: 306.34, user: 305.19, sys: 0.72, mem: 1305080 ko)
COQC Plus0Tree/_6_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_6_Slow.log (real: 7867.80, user: 7866.03, sys: 1.49, mem: 2565128 ko)
COQC LiftLetsMap/_9_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_9_VerySlow.log (real: 161.20, user: 160.32, sys: 0.63, mem: 971324 ko)
COQC UnderLetsPlus0/_3_Slow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_3_Slow.log (real: 1514.44, user: 1496.20, sys: 18.22, mem: 14149824 ko)
COQC Plus0Tree/_1_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_1_VerySlow.log (real: 486.59, user: 486.20, sys: 0.37, mem: 1232648 ko)
COQC Plus0Tree/_0_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_0_VerySlow.log (real: 6198.30, user: 6169.24, sys: 25.43, mem: 8423640 ko)
COQC LiftLetsMap/_7_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_7_VerySlow.log (real: 9508.46, user: 9500.47, sys: 3.50, mem: 1803200 ko)
COQC Plus0Tree/_2_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_2_VerySlow.log (real: 8557.37, user: 8549.39, sys: 7.95, mem: 2872640 ko)
COQC Plus0Tree/_3_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_3_VerySlow.log (real: 3894.69, user: 3891.65, sys: 2.95, mem: 2778040 ko)
COQC LiftLetsMap/_8_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_8_VerySlow.log (real: 11024.34, user: 11013.83, sys: 9.91, mem: 5455608 ko)
COQC Plus0Tree/_6_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_6_VerySlow.log (real: 908.56, user: 907.88, sys: 0.48, mem: 1336280 ko)
COQC Plus0Tree/_5_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_5_VerySlow.log (real: 5571.40, user: 5557.80, sys: 7.39, mem: 2940116 ko)
COQC LiftLetsMap/_9_Medium > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_9_Medium.log (real: 40918.07, user: 40900.75, sys: 8.93, mem: 1455256 ko)
COQC Plus0Tree/_4_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/Plus0Tree/_4_VerySlow.log (real: 8510.30, user: 8507.15, sys: 2.85, mem: 3656656 ko)
COQC SieveOfEratosthenes/_4_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_4_VerySlow.log (real: 443.29, user: 443.01, sys: 0.27, mem: 760040 ko)
COQC SieveOfEratosthenes/_5_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_5_VerySlow.log (real: 451.52, user: 451.27, sys: 0.24, mem: 823356 ko)
COQC SieveOfEratosthenes/_0_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_0_VerySlow.log (real: 14539.14, user: 14538.40, sys: 0.50, mem: 824696 ko)
COQC UnderLetsPlus0/_0_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_0_VerySlow.log (real: 813.77, user: 813.47, sys: 0.29, mem: 810044 ko)
COQC UnderLetsPlus0/_1_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_1_VerySlow.log (real: 835.98, user: 835.70, sys: 0.27, mem: 810088 ko)
COQC UnderLetsPlus0/_2_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_2_VerySlow.log (real: 1.44, user: 1.25, sys: 0.18, mem: 555112 ko)
COQC SieveOfEratosthenes/_2_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_2_VerySlow.log (real: 13420.69, user: 13404.45, sys: 7.34, mem: 898796 ko)
COQC LiftLetsMap/_0_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_0_Sanity.log (real: 1.49, user: 1.30, sys: 0.18, mem: 588628 ko)
COQC LiftLetsMap/_1_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_1_Sanity.log (real: 1.49, user: 1.31, sys: 0.18, mem: 588636 ko)
COQC LiftLetsMap/_10_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_10_Sanity.log (real: 2.39, user: 2.21, sys: 0.18, mem: 588372 ko)
COQC LiftLetsMap/_2_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_2_Sanity.log (real: 1.83, user: 1.65, sys: 0.17, mem: 588816 ko)
COQC LiftLetsMap/_3_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_3_Sanity.log (real: 1.42, user: 1.21, sys: 0.20, mem: 588980 ko)
COQC LiftLetsMap/_4_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.log (real: 2.37, user: 1.79, sys: 0.57, mem: 588860 ko)
COQC LiftLetsMap/_5_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_5_Sanity.log (real: 1.39, user: 1.18, sys: 0.21, mem: 588500 ko)
COQC LiftLetsMap/_6_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_6_Sanity.log (real: 1.39, user: 1.20, sys: 0.18, mem: 588812 ko)
COQC LiftLetsMap/_7_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_7_Sanity.log (real: 1.39, user: 1.20, sys: 0.18, mem: 588304 ko)
COQC LiftLetsMap/_8_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_8_Sanity.log (real: 1.42, user: 1.25, sys: 0.17, mem: 588712 ko)
COQC LiftLetsMap/_9_Sanity > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_9_Sanity.log (real: 2.45, user: 2.21, sys: 0.23, mem: 588480 ko)
COQC LiftLetsMap/_0_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_0_SuperFast.log (real: 6.06, user: 5.84, sys: 0.22, mem: 602544 ko)
COQC LiftLetsMap/_1_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_1_SuperFast.log (real: 6.05, user: 5.83, sys: 0.21, mem: 601296 ko)
COQC LiftLetsMap/_10_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_10_SuperFast.log (real: 743.61, user: 742.62, sys: 0.96, mem: 971520 ko)
COQC LiftLetsMap/_2_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_2_SuperFast.log (real: 8.80, user: 8.57, sys: 0.22, mem: 604920 ko)
COQC LiftLetsMap/_3_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_3_SuperFast.log (real: 12.19, user: 11.82, sys: 0.36, mem: 696564 ko)
COQC LiftLetsMap/_4_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_SuperFast.log (real: 12.98, user: 8.25, sys: 4.71, mem: 666272 ko)
COQC LiftLetsMap/_5_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_5_SuperFast.log (real: 8.81, user: 8.46, sys: 0.33, mem: 895956 ko)
COQC LiftLetsMap/_6_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_6_SuperFast.log (real: 9.65, user: 9.27, sys: 0.35, mem: 978424 ko)
COQC LiftLetsMap/_7_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_7_SuperFast.log (real: 5.21, user: 5.00, sys: 0.20, mem: 593360 ko)
COQC LiftLetsMap/_8_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_8_SuperFast.log (real: 5.51, user: 5.27, sys: 0.22, mem: 591188 ko)
COQC LiftLetsMap/_9_SuperFast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_9_SuperFast.log (real: 14.49, user: 14.22, sys: 0.25, mem: 655308 ko)
COQC LiftLetsMap/_0_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_0_Fast.log (real: 24.14, user: 23.86, sys: 0.24, mem: 658232 ko)
COQC LiftLetsMap/_1_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_1_Fast.log (real: 24.28, user: 24.04, sys: 0.20, mem: 659016 ko)
COQC SieveOfEratosthenes/_3_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_3_VerySlow.log (real: 15603.40, user: 15407.58, sys: 195.49, mem: 5984924 ko)
COQC LiftLetsMap/_2_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_2_Fast.log (real: 23.68, user: 23.43, sys: 0.22, mem: 666712 ko)
COQC LiftLetsMap/_3_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_3_Fast.log (real: 220.73, user: 219.61, sys: 0.77, mem: 1190468 ko)
COQC LiftLetsMap/_4_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Fast.log (real: 100.73, user: 59.35, sys: 41.19, mem: 1207824 ko)
COQC LiftLetsMap/_5_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_5_Fast.log (real: 31.50, user: 31.18, sys: 0.31, mem: 977840 ko)
COQC LiftLetsMap/_6_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_6_Fast.log (real: 45.25, user: 44.93, sys: 0.31, mem: 978264 ko)
COQC LiftLetsMap/_7_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_7_Fast.log (real: 54.12, user: 53.86, sys: 0.25, mem: 755528 ko)
COQC LiftLetsMap/_8_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_8_Fast.log (real: 56.57, user: 56.18, sys: 0.38, mem: 1222864 ko)
COQC SieveOfEratosthenes/_6_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_6_VerySlow.log (real: 15838.83, user: 15831.06, sys: 4.76, mem: 984800 ko)
COQC SieveOfEratosthenes/_1_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_1_VerySlow.log (real: 26803.25, user: 26544.98, sys: 247.86, mem: 3382480 ko)
COQC UnderLetsPlus0/_3_VerySlow > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/UnderLetsPlus0/_3_VerySlow.log (real: 15929.22, user: 15776.68, sys: 144.68, mem: 14999516 ko)
COQC LiftLetsMap/_9_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_9_Fast.log (real: 14064.63, user: 14054.01, sys: 7.06, mem: 1312048 ko)
COQC LiftLetsMap/_10_Fast > LOG
src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_10_Fast.log (real: 38270.43, user: 38255.64, sys: 9.60, mem: 2083600 ko)