Aesop stats for Mathlib as of 2024-02-16

stats.txt

Statistics for 5278 Aesop calls in current and imported modules
Displaying totals and [averages] in milliseconds
Total time:            1250446.5ms [236.9ms]
Config parsing:        20106.7ms [3.8ms]
Rule set construction: 9188.2ms [1.7ms]
Rule selection:        39436.8ms [7.4ms]
Search:                1220103.7ms [231.1ms]
Rules:
  <norm simp>:
    total:      11330 in 913756.8ms [80.6ms]
    successful: 11330 in 913756.8ms [80.6ms]
    failed:     0 in 0.0ms [0.0ms]
  <norm unfold>:
    total:      11451 in 44625.6ms [3.8ms]
    successful: 11451 in 44625.6ms [3.8ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|tactic|global|Std.Tactic.Ext.extCore':
    total:      1037 in 34383.6ms [33.1ms]
    successful: 980 in 34350.5ms [35.0ms]
    failed:     57 in 33.0ms [0.5ms]
  safe|apply|global|Eq.refl:
    total:      2824 in 18727.3ms [6.6ms]
    successful: 1474 in 11429.2ms [7.7ms]
    failed:     1350 in 7298.1ms [5.4ms]
  safe|apply|global|Subsingleton.elim:
    total:      1259 in 10460.6ms [8.3ms]
    successful: 140 in 1273.5ms [9.0ms]
    failed:     1119 in 9187.0ms [8.2ms]
  safe|apply|global|continuous_add_right:
    total:      473 in 8424.3ms [17.8ms]
    successful: 1 in 1.3ms [1.3ms]
    failed:     472 in 8423.0ms [17.8ms]
  safe|tactic|global|Aesop.BuiltinRule.preprocess:
    total:      5278 in 7953.0ms [1.5ms]
    successful: 5278 in 7953.0ms [1.5ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|tactic|global|Aesop.BuiltinRules.assumption:
    total:      4310 in 6918.9ms [1.6ms]
    successful: 90 in 196.3ms [2.1ms]
    failed:     4220 in 6722.6ms [1.5ms]
  safe|apply|global|Continuous.nsmul:
    total:      482 in 5845.8ms [12.1ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     482 in 5845.8ms [12.1ms]
  safe|tactic|global|Mathlib.Tactic.rflTac:
    total:      1053 in 5660.1ms [5.3ms]
    successful: 11 in 9.1ms [0.8ms]
    failed:     1042 in 5650.9ms [5.4ms]
  safe|apply|global|Continuous.star:
    total:      25 in 4353.4ms [174.1ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     25 in 4353.4ms [174.1ms]
  norm|tactic|global|Aesop.BuiltinRules.intros:
    total:      15099 in 4216.1ms [0.2ms]
    successful: 3337 in 1821.2ms [0.5ms]
    failed:     11762 in 2394.8ms [0.2ms]
  safe|apply|global|Finset.measurable_range_sup'':
    total:      32 in 3220.2ms [100.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     32 in 3220.2ms [100.6ms]
  safe|apply|global|Continuous.add:
    total:      253 in 3016.4ms [11.9ms]
    successful: 49 in 785.6ms [16.0ms]
    failed:     204 in 2230.8ms [10.9ms]
  safe|apply|global|continuous_of_discreteTopology:
    total:      443 in 2830.3ms [6.3ms]
    successful: 2 in 3.6ms [1.8ms]
    failed:     441 in 2826.7ms [6.4ms]
  safe|apply|global|Continuous.neg:
    total:      49 in 2776.9ms [56.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     49 in 2776.9ms [56.6ms]
  safe|apply|global|Continuous.pow:
    total:      482 in 2681.1ms [5.5ms]
    successful: 12 in 88.3ms [7.3ms]
    failed:     470 in 2592.7ms [5.5ms]
  safe|apply|global|continuous_sub_right:
    total:      261 in 2680.9ms [10.2ms]
    successful: 2 in 8.7ms [4.3ms]
    failed:     259 in 2672.2ms [10.3ms]
  safe|apply|global|continuous_mul_right:
    total:      292 in 2672.8ms [9.1ms]
    successful: 5 in 23.9ms [4.7ms]
    failed:     287 in 2648.8ms [9.2ms]
  safe|apply|global|continuous_div_right':
    total:      383 in 2497.7ms [6.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     383 in 2497.7ms [6.5ms]
  safe|apply|global|continuous_pow:
    total:      283 in 2219.3ms [7.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     283 in 2219.3ms [7.8ms]
  safe|apply|global|measurable_discrete:
    total:      51 in 1916.8ms [37.5ms]
    successful: 2 in 4.2ms [2.1ms]
    failed:     49 in 1912.6ms [39.0ms]
  safe|apply|global|continuous_bot:
    total:      702 in 1610.2ms [2.2ms]
    successful: 3 in 11.3ms [3.7ms]
    failed:     699 in 1598.8ms [2.2ms]
  safe|apply|global|Continuous.mul:
    total:      74 in 1580.3ms [21.3ms]
    successful: 25 in 121.5ms [4.8ms]
    failed:     49 in 1458.7ms [29.7ms]
  safe|forward|global|Eq.trans_le:
    total:      32 in 1480.7ms [46.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     32 in 1480.7ms [46.2ms]
  safe|apply|global|Continuous.smul:
    total:      49 in 1444.6ms [29.4ms]
    successful: 24 in 1392.9ms [58.0ms]
    failed:     25 in 51.7ms [2.0ms]
  safe|apply|global|continuous_add:
    total:      122 in 1427.8ms [11.7ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     122 in 1427.8ms [11.7ms]
  safe|apply|global|Measurable.add_const:
    total:      32 in 1142.0ms [35.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     32 in 1142.0ms [35.6ms]
  safe|apply|global|Subsingleton.measurable:
    total:      21 in 1041.9ms [49.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     21 in 1041.9ms [49.6ms]
  safe|apply|global|continuous_zpow:
    total:      259 in 1038.7ms [4.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     259 in 1038.7ms [4.0ms]
  norm|tactic|global|Aesop.BuiltinRules.destructProducts:
    total:      138 in 884.8ms [6.4ms]
    successful: 138 in 884.8ms [6.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Measurable.neg:
    total:      16 in 820.5ms [51.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     16 in 820.5ms [51.2ms]
  safe|apply|global|Measurable.const_mul:
    total:      22 in 758.1ms [34.4ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     22 in 758.1ms [34.4ms]
  unsafe|tactic|global|Aesop.BuiltinRules.applyHyps:
    total:      337 in 740.4ms [2.1ms]
    successful: 154 in 500.7ms [3.2ms]
    failed:     183 in 239.7ms [1.3ms]
  safe|apply|global|Measurable.const_div:
    total:      22 in 712.9ms [32.4ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     22 in 712.9ms [32.4ms]
  safe|apply|global|Continuous.sub:
    total:      25 in 712.5ms [28.5ms]
    successful: 10 in 56.1ms [5.6ms]
    failed:     15 in 656.4ms [43.7ms]
  safe|apply|global|measurable_liminf:
    total:      32 in 712.0ms [22.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     32 in 712.0ms [22.2ms]
  safe|apply|global|Continuous.div_const:
    total:      77 in 696.0ms [9.0ms]
    successful: 5 in 51.0ms [10.2ms]
    failed:     72 in 645.0ms [8.9ms]
  safe|apply|global|Continuous.max:
    total:      73 in 694.6ms [9.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     73 in 694.6ms [9.5ms]
  safe|apply|global|continuous_list_prod:
    total:      292 in 685.6ms [2.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     292 in 685.6ms [2.3ms]
  safe|apply|global|Continuous.inv:
    total:      73 in 674.4ms [9.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     73 in 674.4ms [9.2ms]
  safe|apply|global|List.measurable_prod:
    total:      32 in 673.2ms [21.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     32 in 673.2ms [21.0ms]
  safe|apply|global|le_refl:
    total:      38 in 672.0ms [17.6ms]
    successful: 4 in 5.5ms [1.3ms]
    failed:     34 in 666.5ms [19.6ms]
  safe|apply|global|measurable_iSup:
    total:      32 in 669.2ms [20.9ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     32 in 669.2ms [20.9ms]
  safe|apply|global|List.measurable_sum:
    total:      32 in 669.0ms [20.9ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     32 in 669.0ms [20.9ms]
  safe|apply|global|continuous_list_sum:
    total:      292 in 663.5ms [2.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     292 in 663.5ms [2.2ms]
  safe|tactic|global|Aesop.BuiltinRules.splitTarget:
    total:      543 in 653.3ms [1.2ms]
    successful: 46 in 571.4ms [12.4ms]
    failed:     497 in 81.8ms [0.1ms]
  safe|apply|global|Continuous.div':
    total:      78 in 645.9ms [8.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     78 in 645.9ms [8.2ms]
  safe|apply|global|measurable_iInf:
    total:      32 in 638.8ms [19.9ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     32 in 638.8ms [19.9ms]
  safe|apply|global|measurable_limsup:
    total:      32 in 638.0ms [19.9ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     32 in 638.0ms [19.9ms]
  safe|apply|global|Measurable.div_const:
    total:      22 in 632.6ms [28.7ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     22 in 632.6ms [28.7ms]
  safe|apply|global|Measurable.const_sub:
    total:      22 in 629.5ms [28.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     22 in 629.5ms [28.6ms]
  norm|tactic|global|Aesop.BuiltinRules.subst:
    total:      1130 in 626.5ms [0.5ms]
    successful: 347 in 391.1ms [1.1ms]
    failed:     783 in 235.3ms [0.3ms]
  safe|apply|global|continuous_top:
    total:      396 in 604.7ms [1.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     396 in 604.7ms [1.5ms]
  safe|apply|global|aemeasurable_iSup:
    total:      9 in 594.2ms [66.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     9 in 594.2ms [66.0ms]
  safe|apply|global|Measurable.const_add:
    total:      24 in 574.5ms [23.9ms]
    successful: 2 in 2.8ms [1.4ms]
    failed:     22 in 571.7ms [25.9ms]
  safe|apply|global|continuous_finset_prod:
    total:      383 in 571.0ms [1.4ms]
    successful: 2 in 17.2ms [8.6ms]
    failed:     381 in 553.8ms [1.4ms]
  safe|apply|global|measurable_infDist:
    total:      12 in 565.5ms [47.1ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     12 in 565.5ms [47.1ms]
  safe|apply|global|continuous_finset_sum:
    total:      381 in 550.5ms [1.4ms]
    successful: 4 in 88.8ms [22.2ms]
    failed:     377 in 461.6ms [1.2ms]
  safe|apply|global|aemeasurable_iInf:
    total:      9 in 535.4ms [59.4ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     9 in 535.4ms [59.4ms]
  safe|apply|global|AEMeasurable.add_const:
    total:      9 in 529.4ms [58.8ms]
    successful: 1 in 10.5ms [10.5ms]
    failed:     8 in 518.8ms [64.8ms]
  safe|apply|global|Measurable.const_inf:
    total:      22 in 510.3ms [23.1ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     22 in 510.3ms [23.1ms]
  safe|apply|global|Measurable.const_sup:
    total:      22 in 489.0ms [22.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     22 in 489.0ms [22.2ms]
  safe|apply|global|AEMeasurable.div_const:
    total:      5 in 484.7ms [96.9ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 484.7ms [96.9ms]
  safe|apply|global|AEMeasurable.const_div:
    total:      5 in 467.7ms [93.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 467.7ms [93.5ms]
  safe|apply|global|Finset.measurable_prod:
    total:      32 in 461.1ms [14.4ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     32 in 461.1ms [14.4ms]
  safe|apply|global|Finset.measurable_sum:
    total:      32 in 458.2ms [14.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     32 in 458.2ms [14.3ms]
  safe|apply|global|Measurable.max:
    total:      16 in 409.5ms [25.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     16 in 409.5ms [25.5ms]
  safe|apply|global|ContinuousMapClass.map_continuous:
    total:      53 in 407.0ms [7.6ms]
    successful: 49 in 171.7ms [3.5ms]
    failed:     4 in 235.3ms [58.8ms]
  safe|apply|global|Measurable.const_smul':
    total:      22 in 403.3ms [18.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     22 in 403.3ms [18.3ms]
  safe|apply|global|AEMeasurable.const_add:
    total:      7 in 403.0ms [57.5ms]
    successful: 2 in 23.2ms [11.6ms]
    failed:     5 in 379.8ms [75.9ms]
  safe|apply|global|continuous_induced_dom:
    total:      545 in 389.9ms [0.7ms]
    successful: 50 in 46.0ms [0.9ms]
    failed:     495 in 343.9ms [0.6ms]
  safe|apply|global|Measurable.const_pow:
    total:      22 in 386.0ms [17.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     22 in 386.0ms [17.5ms]
  safe|apply|global|Measurable.const_vadd':
    total:      22 in 383.9ms [17.4ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     22 in 383.9ms [17.4ms]
  safe|apply|global|continuous_multiset_prod:
    total:      286 in 356.2ms [1.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     286 in 356.2ms [1.2ms]
  safe|apply|global|AEMeasurable.const_sub:
    total:      5 in 350.3ms [70.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 350.3ms [70.0ms]
  safe|apply|global|Continuous.comp':
    total:      225 in 346.7ms [1.5ms]
    successful: 132 in 266.8ms [2.0ms]
    failed:     93 in 79.9ms [0.8ms]
  safe|apply|global|continuous_multiset_sum:
    total:      286 in 345.4ms [1.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     286 in 345.4ms [1.2ms]
  safe|apply|global|AEMeasurable.mul_const:
    total:      5 in 337.8ms [67.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 337.8ms [67.5ms]
  safe|apply|global|Continuous.matrix_det:
    total:      16 in 330.1ms [20.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     16 in 330.1ms [20.6ms]
  safe|apply|global|AEMeasurable.const_mul:
    total:      5 in 321.3ms [64.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 321.3ms [64.2ms]
  safe|apply|global|AEMeasurable.neg:
    total:      5 in 311.0ms [62.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 311.0ms [62.2ms]
  safe|apply|global|Measurable.iInf_Prop:
    total:      16 in 311.0ms [19.4ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     16 in 311.0ms [19.4ms]
  safe|apply|global|Measurable.iSup_Prop:
    total:      16 in 309.2ms [19.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     16 in 309.2ms [19.3ms]
  safe|apply|global|Measurable.inv:
    total:      16 in 305.3ms [19.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     16 in 305.3ms [19.0ms]
  safe|apply|global|measurable_of_subsingleton_codomain:
    total:      47 in 301.9ms [6.4ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     47 in 301.9ms [6.4ms]
  safe|apply|global|AEMeasurable.max:
    total:      5 in 289.6ms [57.9ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 289.6ms [57.9ms]
  safe|apply|global|Measurable.min:
    total:      16 in 288.4ms [18.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     16 in 288.4ms [18.0ms]
  safe|apply|global|le_sup_left:
    total:      19 in 270.0ms [14.2ms]
    successful: 9 in 115.9ms [12.8ms]
    failed:     10 in 154.0ms [15.4ms]
  safe|apply|global|continuous_const:
    total:      516 in 260.2ms [0.5ms]
    successful: 83 in 65.3ms [0.7ms]
    failed:     433 in 194.8ms [0.4ms]
  safe|apply|global|Measurable.mul_const:
    total:      16 in 257.4ms [16.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     16 in 257.4ms [16.0ms]
  safe|apply|global|AEMeasurable.min:
    total:      5 in 254.0ms [50.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 254.0ms [50.8ms]
  safe|apply|global|Continuous.inf:
    total:      30 in 253.9ms [8.4ms]
    successful: 1 in 8.1ms [8.1ms]
    failed:     29 in 245.8ms [8.4ms]
  safe|constructors|global|And:
    total:      98 in 251.0ms [2.5ms]
    successful: 98 in 251.0ms [2.5ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|cases|global|Or:
    total:      61 in 246.3ms [4.0ms]
    successful: 61 in 246.3ms [4.0ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|measurable_from_top:
    total:      49 in 246.3ms [5.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     49 in 246.3ms [5.0ms]
  safe|apply|global|AEMeasurable.const_smul':
    total:      5 in 243.1ms [48.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 243.1ms [48.6ms]
  safe|apply|global|measurable_infNndist:
    total:      8 in 227.4ms [28.4ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     8 in 227.4ms [28.4ms]
  safe|apply|global|Measurable.pow_const:
    total:      16 in 226.3ms [14.1ms]
    successful: 3 in 4.6ms [1.5ms]
    failed:     13 in 221.6ms [17.0ms]
  safe|apply|global|AEMeasurable.apply_continuousLinearMap:
    total:      5 in 225.3ms [45.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 225.3ms [45.0ms]
  safe|apply|global|AEMeasurable.const_pow:
    total:      5 in 222.8ms [44.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 222.8ms [44.5ms]
  safe|apply|global|AEMeasurable.const_sup:
    total:      5 in 219.4ms [43.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 219.4ms [43.8ms]
  safe|apply|global|AEMeasurable.const_vadd':
    total:      5 in 219.3ms [43.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 219.3ms [43.8ms]
  safe|apply|global|Measurable.inf:
    total:      16 in 218.9ms [13.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     16 in 218.9ms [13.6ms]
  safe|apply|global|Measurable.inf_const:
    total:      16 in 215.8ms [13.4ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     16 in 215.8ms [13.4ms]
  safe|apply|global|AEMeasurable.inf:
    total:      5 in 207.5ms [41.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 207.5ms [41.5ms]
  safe|apply|global|AEMeasurable.const_inf:
    total:      5 in 207.3ms [41.4ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 207.3ms [41.4ms]
  safe|apply|global|AEMeasurable.inf_const:
    total:      5 in 204.8ms [40.9ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 204.8ms [40.9ms]
  safe|tactic|global|CategoryTheory.Limits.WidePullbackShape.evalCasesBash:
    total:      5 in 203.4ms [40.6ms]
    successful: 5 in 203.4ms [40.6ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Continuous.clm_apply:
    total:      85 in 201.6ms [2.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     85 in 201.6ms [2.3ms]
  safe|apply|global|Continuous.inv₀:
    total:      72 in 193.1ms [2.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     72 in 193.1ms [2.6ms]
  safe|apply|global|AEMeasurable.inv:
    total:      5 in 189.6ms [37.9ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 189.6ms [37.9ms]
  safe|tactic|global|Aesop.BuiltinRules.splitHypotheses:
    total:      399 in 189.1ms [0.4ms]
    successful: 6 in 89.9ms [14.9ms]
    failed:     393 in 99.2ms [0.2ms]
  safe|apply|global|Measurable.sup_const:
    total:      8 in 176.6ms [22.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     8 in 176.6ms [22.0ms]
  safe|cases|global|CategoryTheory.Discrete:
    total:      78 in 172.9ms [2.2ms]
    successful: 78 in 172.9ms [2.2ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|AEMeasurable.ennreal_toNNReal:
    total:      2 in 168.8ms [84.4ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 168.8ms [84.4ms]
  safe|apply|global|Measurable.sup:
    total:      8 in 168.0ms [21.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     8 in 168.0ms [21.0ms]
  safe|apply|global|Measurable.carg:
    total:      12 in 166.1ms [13.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     12 in 166.1ms [13.8ms]
  safe|apply|global|continuous_id':
    total:      399 in 166.1ms [0.4ms]
    successful: 32 in 19.3ms [0.6ms]
    failed:     367 in 146.7ms [0.3ms]
  safe|apply|global|continuous_mul_left:
    total:      32 in 164.6ms [5.1ms]
    successful: 32 in 164.6ms [5.1ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|continuous_algebraMap:
    total:      8 in 147.9ms [18.4ms]
    successful: 8 in 147.9ms [18.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|measurable_const:
    total:      32 in 145.1ms [4.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     32 in 145.1ms [4.5ms]
  safe|apply|global|AEMeasurable.ennreal_toReal:
    total:      3 in 144.1ms [48.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     3 in 144.1ms [48.0ms]
  safe|apply|global|Measurable.cos:
    total:      4 in 141.3ms [35.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     4 in 141.3ms [35.3ms]
  safe|apply|global|Continuous.const_smul:
    total:      82 in 136.6ms [1.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     82 in 136.6ms [1.6ms]
  safe|apply|global|Measurable.cosh:
    total:      4 in 136.3ms [34.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     4 in 136.3ms [34.0ms]
  safe|apply|global|Measurable.infDist:
    total:      4 in 132.1ms [33.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     4 in 132.1ms [33.0ms]
  safe|apply|global|Continuous.const_vadd:
    total:      82 in 128.2ms [1.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     82 in 128.2ms [1.5ms]
  unsafe|constructors|global|Exists:
    total:      103 in 125.8ms [1.2ms]
    successful: 103 in 125.8ms [1.2ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|List.aestronglyMeasurable_sum:
    total:      2 in 124.6ms [62.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 124.6ms [62.3ms]
  safe|apply|global|List.aestronglyMeasurable_prod:
    total:      2 in 124.0ms [62.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 124.0ms [62.0ms]
  safe|apply|global|Measurable.apply_continuousLinearMap:
    total:      5 in 123.5ms [24.7ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 123.5ms [24.7ms]
  safe|apply|global|Measurable.sub_const:
    total:      8 in 121.3ms [15.1ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     8 in 121.3ms [15.1ms]
  safe|apply|global|measurable_fderiv_apply_const:
    total:      5 in 119.1ms [23.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 119.1ms [23.8ms]
  safe|apply|global|Measurable.smul_const:
    total:      8 in 115.7ms [14.4ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     8 in 115.7ms [14.4ms]
  unsafe|tactic|global|Aesop.BuiltinRules.ext:
    total:      48 in 113.2ms [2.3ms]
    successful: 15 in 93.3ms [6.2ms]
    failed:     33 in 19.9ms [0.6ms]
  safe|tactic|global|CategoryTheory.Pairwise.pairwiseCases:
    total:      3 in 111.4ms [37.1ms]
    successful: 3 in 111.4ms [37.1ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Measurable.vadd_const:
    total:      8 in 109.4ms [13.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     8 in 109.4ms [13.6ms]
  safe|apply|global|measurable_ennnorm:
    total:      3 in 107.6ms [35.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     3 in 107.6ms [35.8ms]
  safe|apply|global|Continuous.min:
    total:      73 in 92.6ms [1.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     73 in 92.6ms [1.2ms]
  safe|apply|global|Measurable.ennreal_toReal:
    total:      4 in 91.6ms [22.9ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     4 in 91.6ms [22.9ms]
  safe|apply|global|AEMeasurable.norm:
    total:      3 in 91.4ms [30.4ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     3 in 91.4ms [30.4ms]
  safe|apply|global|Measurable.find:
    total:      16 in 88.9ms [5.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     16 in 88.9ms [5.5ms]
  safe|apply|global|Multiset.measurable_prod:
    total:      8 in 88.1ms [11.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     8 in 88.1ms [11.0ms]
  safe|apply|global|continuous_mul:
    total:      90 in 88.1ms [0.9ms]
    successful: 1 in 12.0ms [12.0ms]
    failed:     89 in 76.1ms [0.8ms]
  norm|forward|global|Aesop.BuiltinRules.pEmpty_false:
    total:      58 in 87.8ms [1.5ms]
    successful: 58 in 87.8ms [1.5ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Multiset.measurable_sum:
    total:      8 in 87.5ms [10.9ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     8 in 87.5ms [10.9ms]
  safe|apply|global|AEMeasurable.nnnorm:
    total:      2 in 87.4ms [43.7ms]
    successful: 1 in 4.7ms [4.7ms]
    failed:     1 in 82.6ms [82.6ms]
  safe|apply|global|AEMeasurable.ereal_toReal:
    total:      3 in 85.2ms [28.4ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     3 in 85.2ms [28.4ms]
  unsafe|apply|global|SetLike.mem_of_subset:
    total:      51 in 83.4ms [1.6ms]
    successful: 1 in 3.8ms [3.8ms]
    failed:     50 in 79.5ms [1.5ms]
  safe|apply|global|AEMeasurable.coe_nnreal_real:
    total:      5 in 81.9ms [16.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     5 in 81.9ms [16.3ms]
  safe|apply|global|Measurable.exp:
    total:      4 in 81.4ms [20.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     4 in 81.4ms [20.3ms]
  safe|apply|global|AlgebraicGeometry.Scheme.basicOpen_le:
    total:      13 in 78.4ms [6.0ms]
    successful: 11 in 40.8ms [3.7ms]
    failed:     2 in 37.6ms [18.8ms]
  safe|apply|global|aemeasurable_of_subsingleton_codomain:
    total:      15 in 75.3ms [5.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     15 in 75.3ms [5.0ms]
  safe|apply|global|MeasureTheory.AEStronglyMeasurable.apply_continuousLinearMap:
    total:      2 in 74.5ms [37.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 74.5ms [37.2ms]
  safe|apply|global|Finset.aestronglyMeasurable_prod:
    total:      2 in 74.3ms [37.1ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 74.3ms [37.1ms]
  safe|apply|global|Measurable.sin:
    total:      1 in 72.9ms [72.9ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 72.9ms [72.9ms]
  safe|apply|global|Finset.aestronglyMeasurable_sum:
    total:      2 in 72.5ms [36.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 72.5ms [36.2ms]
  safe|apply|global|continuous_fst:
    total:      119 in 71.9ms [0.6ms]
    successful: 26 in 28.4ms [1.0ms]
    failed:     93 in 43.5ms [0.4ms]
  safe|apply|global|aemeasurable_const:
    total:      9 in 71.1ms [7.9ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     9 in 71.1ms [7.9ms]
  safe|apply|global|Measurable.sinh:
    total:      1 in 70.2ms [70.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 70.2ms [70.2ms]
  safe|apply|global|Measurable.log:
    total:      4 in 69.9ms [17.4ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     4 in 69.9ms [17.4ms]
  safe|apply|global|continuous_inf:
    total:      69 in 69.2ms [1.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     69 in 69.2ms [1.0ms]
  safe|apply|global|Measurable.dist:
    total:      4 in 68.7ms [17.1ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     4 in 68.7ms [17.1ms]
  safe|tactic|global|CategoryTheory.Discrete.discreteCases:
    total:      11 in 68.7ms [6.2ms]
    successful: 7 in 53.6ms [7.6ms]
    failed:     4 in 15.0ms [3.7ms]
  safe|apply|global|Measurable.smul:
    total:      6 in 67.4ms [11.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     6 in 67.4ms [11.2ms]
  safe|constructors|global|Iff:
    total:      67 in 66.5ms [0.9ms]
    successful: 67 in 66.5ms [0.9ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Measurable.norm:
    total:      4 in 66.4ms [16.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     4 in 66.4ms [16.6ms]
  safe|apply|global|Continuous.path_eval:
    total:      39 in 64.9ms [1.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     39 in 64.9ms [1.6ms]
  safe|apply|global|Measurable.vadd:
    total:      6 in 63.5ms [10.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     6 in 63.5ms [10.5ms]
  safe|apply|global|bot_le:
    total:      2 in 63.3ms [31.6ms]
    successful: 2 in 63.3ms [31.6ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Multiset.aestronglyMeasurable_sum:
    total:      2 in 62.2ms [31.1ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 62.2ms [31.1ms]
  safe|apply|global|Measurable.pow:
    total:      6 in 61.8ms [10.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     6 in 61.8ms [10.3ms]
  safe|apply|global|Multiset.aestronglyMeasurable_prod:
    total:      2 in 61.6ms [30.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 61.6ms [30.8ms]
  safe|cases|global|Sum:
    total:      14 in 59.8ms [4.2ms]
    successful: 14 in 59.8ms [4.2ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Measurable.coe_nnreal_real:
    total:      12 in 58.5ms [4.8ms]
    successful: 6 in 6.3ms [1.0ms]
    failed:     6 in 52.2ms [8.7ms]
  safe|apply|global|Measurable.ereal_toReal:
    total:      4 in 58.1ms [14.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     4 in 58.1ms [14.5ms]
  safe|apply|global|Measurable.infNndist:
    total:      2 in 58.1ms [29.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 58.1ms [29.0ms]
  safe|apply|global|measurable_id':
    total:      32 in 55.6ms [1.7ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     32 in 55.6ms [1.7ms]
  safe|apply|global|MeasureTheory.AEStronglyMeasurable.smul:
    total:      2 in 55.0ms [27.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 55.0ms [27.5ms]
  safe|apply|global|continuous_snd:
    total:      91 in 54.7ms [0.6ms]
    successful: 25 in 25.8ms [1.0ms]
    failed:     66 in 28.8ms [0.4ms]
  safe|apply|global|Continuous.subtype_mk:
    total:      21 in 54.4ms [2.5ms]
    successful: 21 in 54.4ms [2.5ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|MeasureTheory.AEStronglyMeasurable.const_smul':
    total:      2 in 53.6ms [26.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 53.6ms [26.8ms]
  safe|tactic|global|CategoryTheory.Limits.WidePushoutShape.evalCasesBash':
    total:      3 in 53.5ms [17.8ms]
    successful: 3 in 53.5ms [17.8ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|MeasureTheory.AEStronglyMeasurable.add_const:
    total:      2 in 53.3ms [26.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 53.3ms [26.6ms]
  safe|apply|global|MeasureTheory.AEStronglyMeasurable.smul_const:
    total:      2 in 53.2ms [26.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 53.2ms [26.6ms]
  safe|apply|global|MeasureTheory.AEStronglyMeasurable.const_add:
    total:      2 in 52.5ms [26.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 52.5ms [26.2ms]
  safe|apply|global|Measurable.add:
    total:      8 in 52.5ms [6.5ms]
    successful: 2 in 15.0ms [7.5ms]
    failed:     6 in 37.4ms [6.2ms]
  safe|apply|global|MeasureTheory.AEStronglyMeasurable.vadd:
    total:      2 in 52.0ms [26.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 52.0ms [26.0ms]
  safe|apply|global|MeasureTheory.AEStronglyMeasurable.vadd_const:
    total:      2 in 51.6ms [25.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 51.6ms [25.8ms]
  safe|apply|global|MeasureTheory.AEStronglyMeasurable.const_mul:
    total:      2 in 51.6ms [25.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 51.6ms [25.8ms]
  safe|apply|global|MeasureTheory.AEStronglyMeasurable.const_vadd':
    total:      2 in 51.2ms [25.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 51.2ms [25.6ms]
  safe|apply|global|MeasureTheory.AEStronglyMeasurable.mul_const:
    total:      2 in 51.2ms [25.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 51.2ms [25.6ms]
  safe|apply|global|MeasureTheory.AEStronglyMeasurable.norm:
    total:      2 in 50.6ms [25.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 50.6ms [25.3ms]
  safe|apply|global|continuous_dist:
    total:      38 in 50.5ms [1.3ms]
    successful: 2 in 2.8ms [1.4ms]
    failed:     36 in 47.7ms [1.3ms]
  safe|apply|global|Measurable.nnnorm:
    total:      2 in 50.2ms [25.1ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 50.2ms [25.1ms]
  safe|apply|global|MeasureTheory.AEStronglyMeasurable.dist:
    total:      2 in 49.9ms [24.9ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 49.9ms [24.9ms]
  safe|apply|global|ContinuousNeg.continuous_neg:
    total:      11 in 49.3ms [4.4ms]
    successful: 11 in 49.3ms [4.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Measurable.subtype_coe:
    total:      8 in 49.3ms [6.1ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     8 in 49.3ms [6.1ms]
  safe|apply|global|le_sup_right:
    total:      13 in 47.9ms [3.6ms]
    successful: 9 in 25.4ms [2.8ms]
    failed:     4 in 22.5ms [5.6ms]
  unsafe|apply|global|le_trans:
    total:      10 in 47.2ms [4.7ms]
    successful: 10 in 47.2ms [4.7ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Continuous.inner:
    total:      23 in 47.0ms [2.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     23 in 47.0ms [2.0ms]
  safe|apply|global|Measurable.ennreal_toNNReal:
    total:      8 in 46.9ms [5.8ms]
    successful: 6 in 6.2ms [1.0ms]
    failed:     2 in 40.7ms [20.3ms]
  safe|apply|global|AEMeasurable.nnreal_tsum:
    total:      1 in 46.3ms [46.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 46.3ms [46.3ms]
  safe|cases|global|CategoryTheory.WithTerminal:
    total:      7 in 45.0ms [6.4ms]
    successful: 7 in 45.0ms [6.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|measurable_edist_left:
    total:      3 in 45.0ms [15.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     3 in 45.0ms [15.0ms]
  safe|cases|global|CategoryTheory.WithInitial:
    total:      6 in 42.9ms [7.1ms]
    successful: 6 in 42.9ms [7.1ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|ofNat_mem:
    total:      6 in 40.7ms [6.7ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     6 in 40.7ms [6.7ms]
  safe|apply|global|Continuous.matrix_dotProduct:
    total:      16 in 40.5ms [2.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     16 in 40.5ms [2.5ms]
  unsafe|apply|global|MeasureTheory.AEFinStronglyMeasurable.aemeasurable:
    total:      6 in 40.0ms [6.6ms]
    successful: 6 in 40.0ms [6.6ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Measurable.nndist:
    total:      2 in 37.7ms [18.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 37.7ms [18.8ms]
  safe|apply|global|continuous_sub_left:
    total:      4 in 36.9ms [9.2ms]
    successful: 4 in 36.9ms [9.2ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Continuous.matrix_trace:
    total:      16 in 36.7ms [2.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     16 in 36.7ms [2.2ms]
  safe|apply|global|Subsingleton.aemeasurable:
    total:      6 in 36.4ms [6.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     6 in 36.4ms [6.0ms]
  safe|apply|global|measurable_infEdist:
    total:      3 in 36.1ms [12.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     3 in 36.1ms [12.0ms]
  safe|apply|global|Measurable.sub:
    total:      6 in 35.8ms [5.9ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     6 in 35.8ms [5.9ms]
  safe|apply|global|Measurable.mul:
    total:      6 in 35.6ms [5.9ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     6 in 35.6ms [5.9ms]
  safe|apply|global|continuous_sup:
    total:      51 in 35.5ms [0.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     51 in 35.5ms [0.6ms]
  safe|apply|global|Aesop.BuiltinRules.not_intro:
    total:      47 in 35.2ms [0.7ms]
    successful: 47 in 35.2ms [0.7ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Measurable.div:
    total:      6 in 35.2ms [5.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     6 in 35.2ms [5.8ms]
  safe|forward|global|CategoryTheory.WithInitial.false_of_to_star:
    total:      7 in 33.6ms [4.8ms]
    successful: 7 in 33.6ms [4.8ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Measurable.edist:
    total:      1 in 33.4ms [33.4ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 33.4ms [33.4ms]
  safe|forward|global|CategoryTheory.WithTerminal.false_of_from_star:
    total:      7 in 33.4ms [4.7ms]
    successful: 7 in 33.4ms [4.7ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|AEMeasurable.pow_const:
    total:      4 in 32.9ms [8.2ms]
    successful: 4 in 32.9ms [8.2ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|MeasureTheory.aestronglyMeasurable_const:
    total:      2 in 32.0ms [16.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 32.0ms [16.0ms]
  safe|apply|global|SMulMemClass.smul_mem:
    total:      2 in 32.0ms [16.0ms]
    successful: 2 in 32.0ms [16.0ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|measurableSet_discrete:
    total:      4 in 30.3ms [7.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     4 in 30.3ms [7.5ms]
  safe|apply|global|le_top:
    total:      2 in 28.9ms [14.4ms]
    successful: 2 in 28.9ms [14.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|NegMemClass.neg_mem:
    total:      1 in 25.2ms [25.2ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 25.2ms [25.2ms]
  safe|cases|global|Sym2.Rel:
    total:      3 in 25.1ms [8.3ms]
    successful: 3 in 25.1ms [8.3ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Measurable.sqrt:
    total:      1 in 25.0ms [25.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 25.0ms [25.0ms]
  safe|apply|global|continuous_apply:
    total:      28 in 24.4ms [0.8ms]
    successful: 9 in 13.4ms [1.4ms]
    failed:     19 in 11.0ms [0.5ms]
  safe|apply|global|Set.add_mem_add:
    total:      2 in 24.0ms [12.0ms]
    successful: 2 in 24.0ms [12.0ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|AddMemClass.add_mem:
    total:      4 in 23.3ms [5.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     4 in 23.3ms [5.8ms]
  safe|apply|global|Measurable.infEdist:
    total:      1 in 23.3ms [23.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 23.3ms [23.3ms]
  safe|apply|global|Measurable.comp':
    total:      6 in 23.1ms [3.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     6 in 23.1ms [3.8ms]
  safe|apply|global|inf_le_left:
    total:      2 in 22.6ms [11.3ms]
    successful: 2 in 22.6ms [11.3ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|MulMemClass.mul_mem:
    total:      2 in 22.6ms [11.3ms]
    successful: 1 in 20.9ms [20.9ms]
    failed:     1 in 1.6ms [1.6ms]
  safe|apply|global|continuous_norm:
    total:      12 in 22.2ms [1.8ms]
    successful: 12 in 22.2ms [1.8ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|AkraBazziRecurrence.differentiableAt_smoothingFn:
    total:      6 in 20.7ms [3.4ms]
    successful: 6 in 20.7ms [3.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Measurable.ennreal_tsum:
    total:      1 in 20.1ms [20.1ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 20.1ms [20.1ms]
  safe|apply|global|Measurable.nnreal_tsum:
    total:      2 in 19.5ms [9.7ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 19.5ms [9.7ms]
  safe|apply|global|continuous_subtype_val:
    total:      38 in 19.1ms [0.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     38 in 19.1ms [0.5ms]
  safe|apply|global|ZeroMemClass.zero_mem:
    total:      2 in 19.1ms [9.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 19.1ms [9.5ms]
  safe|apply|global|CategoryTheory.IsIso.inv_eq_of_hom_inv_id:
    total:      7 in 18.9ms [2.7ms]
    successful: 4 in 12.4ms [3.1ms]
    failed:     3 in 6.4ms [2.1ms]
  safe|apply|global|Measurable.coe_nnreal_ennreal:
    total:      3 in 18.0ms [6.0ms]
    successful: 2 in 2.2ms [1.1ms]
    failed:     1 in 15.8ms [15.8ms]
  safe|apply|global|Measurable.ennnorm:
    total:      1 in 17.4ms [17.4ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 17.4ms [17.4ms]
  safe|apply|global|Continuous.dist:
    total:      13 in 16.9ms [1.3ms]
    successful: 3 in 7.4ms [2.4ms]
    failed:     10 in 9.5ms [0.9ms]
  safe|apply|global|Subsemigroup.subset_closure:
    total:      1 in 16.8ms [16.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 16.8ms [16.8ms]
  safe|apply|global|nsmul_mem:
    total:      2 in 16.7ms [8.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 16.7ms [8.3ms]
  safe|apply|global|Measurable.ennreal_ofReal:
    total:      1 in 16.5ms [16.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 16.5ms [16.5ms]
  safe|apply|global|Subsingleton.measurableSet:
    total:      2 in 16.3ms [8.1ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 16.3ms [8.1ms]
  safe|apply|global|AddSubmonoid.subset_closure:
    total:      1 in 15.8ms [15.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 15.8ms [15.8ms]
  safe|apply|global|AddSubsemigroup.subset_closure:
    total:      1 in 15.1ms [15.1ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 15.1ms [15.1ms]
  norm|forward|global|CategoryTheory.hom_inr_inl_false:
    total:      4 in 14.0ms [3.5ms]
    successful: 2 in 7.9ms [3.9ms]
    failed:     2 in 6.1ms [3.0ms]
  safe|apply|global|Submonoid.subset_closure:
    total:      1 in 13.9ms [13.9ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 13.9ms [13.9ms]
  safe|apply|global|continuous_pi:
    total:      7 in 13.8ms [1.9ms]
    successful: 7 in 13.8ms [1.9ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Submodule.mem_set_smul_of_mem_mem:
    total:      3 in 13.5ms [4.5ms]
    successful: 3 in 13.5ms [4.5ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|AlgebraicGeometry.Scheme.basicOpen_restrict:
    total:      2 in 13.3ms [6.6ms]
    successful: 2 in 13.3ms [6.6ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|OneMemClass.one_mem:
    total:      2 in 13.2ms [6.6ms]
    successful: 1 in 11.6ms [11.6ms]
    failed:     1 in 1.6ms [1.6ms]
  safe|cases|global|Eq:
    total:      4 in 12.8ms [3.2ms]
    successful: 4 in 12.8ms [3.2ms]
    failed:     0 in 0.0ms [0.0ms]
  unsafe|apply|global|Matroid.Basis.left_subset_ground:
    total:      10 in 12.2ms [1.2ms]
    successful: 10 in 12.2ms [1.2ms]
    failed:     0 in 0.0ms [0.0ms]
  norm|forward|global|CategoryTheory.hom_inl_inr_false:
    total:      4 in 12.1ms [3.0ms]
    successful: 2 in 6.2ms [3.1ms]
    failed:     2 in 5.8ms [2.9ms]
  unsafe|apply|global|Matroid.Basis.subset_ground:
    total:      10 in 11.5ms [1.1ms]
    successful: 10 in 11.5ms [1.1ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|pow_mem:
    total:      2 in 10.9ms [5.4ms]
    successful: 1 in 9.2ms [9.2ms]
    failed:     1 in 1.7ms [1.7ms]
  unsafe|apply|global|Matroid.Indep.subset_ground:
    total:      10 in 10.7ms [1.0ms]
    successful: 10 in 10.7ms [1.0ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|measurable_pi_apply:
    total:      6 in 9.8ms [1.6ms]
    successful: 6 in 9.8ms [1.6ms]
    failed:     0 in 0.0ms [0.0ms]
  unsafe|apply|global|AEMeasurable.aestronglyMeasurable:
    total:      2 in 9.4ms [4.7ms]
    successful: 2 in 9.4ms [4.7ms]
    failed:     0 in 0.0ms [0.0ms]
  unsafe|apply|global|Matroid.Dep.subset_ground:
    total:      10 in 9.3ms [0.9ms]
    successful: 10 in 9.3ms [0.9ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Continuous.sup:
    total:      2 in 9.2ms [4.6ms]
    successful: 1 in 1.8ms [1.8ms]
    failed:     1 in 7.3ms [7.3ms]
  safe|apply|global|MeasureTheory.Measure.measurable_rnDeriv:
    total:      10 in 9.0ms [0.9ms]
    successful: 10 in 9.0ms [0.9ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|continuous_projIcc:
    total:      4 in 8.5ms [2.1ms]
    successful: 4 in 8.5ms [2.1ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Continuous.zsmul:
    total:      1 in 7.7ms [7.7ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 7.7ms [7.7ms]
  safe|apply|global|aemeasurable_id':
    total:      9 in 6.6ms [0.7ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     9 in 6.6ms [0.7ms]
  safe|apply|global|MeasurableSpace.measurableSet_top:
    total:      2 in 6.6ms [3.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 6.6ms [3.3ms]
  safe|apply|global|continuous_apply_apply:
    total:      19 in 6.5ms [0.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     19 in 6.5ms [0.3ms]
  unsafe|apply|global|MeasureTheory.AEStronglyMeasurable.aemeasurable:
    total:      6 in 6.4ms [1.0ms]
    successful: 6 in 6.4ms [1.0ms]
    failed:     0 in 0.0ms [0.0ms]
  norm|constructors|global|Sym2.Rel:
    total:      11 in 6.2ms [0.5ms]
    successful: 8 in 4.1ms [0.5ms]
    failed:     3 in 2.0ms [0.6ms]
  safe|apply|global|InvMemClass.inv_mem:
    total:      1 in 6.1ms [6.1ms]
    successful: 1 in 6.1ms [6.1ms]
    failed:     0 in 0.0ms [0.0ms]
  unsafe|apply|global|MeasureTheory.StronglyMeasurable.aemeasurable:
    total:      6 in 6.1ms [1.0ms]
    successful: 6 in 6.1ms [1.0ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Measurable.prod:
    total:      3 in 6.0ms [2.0ms]
    successful: 3 in 6.0ms [2.0ms]
    failed:     0 in 0.0ms [0.0ms]
  unsafe|apply|global|Measurable.aemeasurable:
    total:      6 in 6.0ms [1.0ms]
    successful: 6 in 6.0ms [1.0ms]
    failed:     0 in 0.0ms [0.0ms]
  unsafe|apply|global|_private.Mathlib.Data.Matroid.Basic.0.Matroid.subset_ground_of_subset:
    total:      4 in 5.9ms [1.4ms]
    successful: 4 in 5.9ms [1.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Complex.continuous_exp:
    total:      15 in 5.9ms [0.3ms]
    successful: 15 in 5.9ms [0.3ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|UniformSpace.Completion.continuous_extension:
    total:      4 in 5.7ms [1.4ms]
    successful: 4 in 5.7ms [1.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|AkraBazziRecurrence.max_bi_le:
    total:      4 in 5.5ms [1.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     4 in 5.5ms [1.3ms]
  safe|apply|global|sub_mem:
    total:      1 in 5.3ms [5.3ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 5.3ms [5.3ms]
  safe|apply|global|continuous_abs:
    total:      1 in 5.2ms [5.2ms]
    successful: 1 in 5.2ms [5.2ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|AkraBazziRecurrence.min_bi_le:
    total:      4 in 5.1ms [1.2ms]
    successful: 2 in 1.9ms [0.9ms]
    failed:     2 in 3.1ms [1.5ms]
  safe|apply|global|CategoryTheory.Iso.inv_ext:
    total:      3 in 4.8ms [1.6ms]
    successful: 3 in 4.8ms [1.6ms]
    failed:     0 in 0.0ms [0.0ms]
  unsafe|apply|global|_private.Mathlib.Data.Matroid.Basic.0.Matroid.ground_diff_subset_ground:
    total:      5 in 4.8ms [0.9ms]
    successful: 5 in 4.8ms [0.9ms]
    failed:     0 in 0.0ms [0.0ms]
  norm|forward|global|ULift.down:
    total:      4 in 4.7ms [1.1ms]
    successful: 2 in 3.4ms [1.7ms]
    failed:     2 in 1.3ms [0.6ms]
  safe|apply|global|AlgebraicGeometry.Scheme.Hom.continuous:
    total:      2 in 4.6ms [2.3ms]
    successful: 2 in 4.6ms [2.3ms]
    failed:     0 in 0.0ms [0.0ms]
  unsafe|constructors|global|Or:
    total:      4 in 4.6ms [1.1ms]
    successful: 4 in 4.6ms [1.1ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|div_nonneg:
    total:      1 in 4.5ms [4.5ms]
    successful: 1 in 4.5ms [4.5ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|continuous_id:
    total:      4 in 4.4ms [1.1ms]
    successful: 4 in 4.4ms [1.1ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|inf_le_right:
    total:      2 in 4.1ms [2.0ms]
    successful: 2 in 4.1ms [2.0ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|continuous_sigmaMk:
    total:      3 in 3.7ms [1.2ms]
    successful: 3 in 3.7ms [1.2ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Complex.continuous_ofReal:
    total:      9 in 3.7ms [0.4ms]
    successful: 9 in 3.7ms [0.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Continuous.prod_mk:
    total:      2 in 3.6ms [1.8ms]
    successful: 2 in 3.6ms [1.8ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|div_mem:
    total:      1 in 3.4ms [3.4ms]
    successful: 1 in 3.4ms [3.4ms]
    failed:     0 in 0.0ms [0.0ms]
  unsafe|apply|global|Matroid.Base.subset_ground:
    total:      4 in 3.4ms [0.8ms]
    successful: 4 in 3.4ms [0.8ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|AkraBazziRecurrence.T_nonneg:
    total:      2 in 3.4ms [1.7ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     2 in 3.4ms [1.7ms]
  safe|apply|global|measurable_norm:
    total:      2 in 3.3ms [1.6ms]
    successful: 2 in 3.3ms [1.6ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Flow.continuous_toFun:
    total:      2 in 2.9ms [1.4ms]
    successful: 2 in 2.9ms [1.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Continuous.zpow₀:
    total:      1 in 2.8ms [2.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 2.8ms [2.8ms]
  safe|apply|global|continuous_add_left:
    total:      2 in 2.8ms [1.4ms]
    successful: 2 in 2.8ms [1.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|forward|global|Real.log_pos:
    total:      2 in 2.8ms [1.4ms]
    successful: 1 in 1.9ms [1.9ms]
    failed:     1 in 0.9ms [0.9ms]
  safe|apply|global|MeasurableSet.iUnion:
    total:      2 in 2.8ms [1.4ms]
    successful: 2 in 2.8ms [1.4ms]
    failed:     0 in 0.0ms [0.0ms]
  unsafe|apply|global|Measurable.aestronglyMeasurable:
    total:      2 in 2.7ms [1.3ms]
    successful: 2 in 2.7ms [1.3ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|continuous_inr:
    total:      1 in 2.4ms [2.4ms]
    successful: 1 in 2.4ms [2.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Continuous.Prod.mk:
    total:      2 in 2.4ms [1.2ms]
    successful: 2 in 2.4ms [1.2ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|MeasureTheory.SimpleFunc.measurable:
    total:      3 in 2.4ms [0.8ms]
    successful: 3 in 2.4ms [0.8ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|continuous_inl:
    total:      1 in 2.4ms [2.4ms]
    successful: 1 in 2.4ms [2.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Finset.sum_nonneg:
    total:      1 in 2.4ms [2.4ms]
    successful: 1 in 2.4ms [2.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|MeasurableEquiv.measurable:
    total:      2 in 2.1ms [1.0ms]
    successful: 2 in 2.1ms [1.0ms]
    failed:     0 in 0.0ms [0.0ms]
  unsafe|apply|global|lt_trans:
    total:      1 in 2.1ms [2.1ms]
    successful: 1 in 2.1ms [2.1ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Homeomorph.continuous:
    total:      2 in 2.1ms [1.0ms]
    successful: 2 in 2.1ms [1.0ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Measurable.real_toNNReal:
    total:      2 in 2.0ms [1.0ms]
    successful: 2 in 2.0ms [1.0ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|forward|global|Nat.not_prime_zero:
    total:      1 in 1.9ms [1.9ms]
    successful: 1 in 1.9ms [1.9ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|forward|global|Nat.not_prime_one:
    total:      1 in 1.8ms [1.8ms]
    successful: 1 in 1.8ms [1.8ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Submodule.subset_span:
    total:      1 in 1.7ms [1.7ms]
    successful: 1 in 1.7ms [1.7ms]
    failed:     0 in 0.0ms [0.0ms]
  unsafe|apply|global|MeasureTheory.StronglyMeasurable.aestronglyMeasurable:
    total:      2 in 1.7ms [0.8ms]
    successful: 2 in 1.7ms [0.8ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|AEMeasurable.coe_nnreal_ennreal:
    total:      1 in 1.5ms [1.5ms]
    successful: 1 in 1.5ms [1.5ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Complex.continuous_re:
    total:      4 in 1.5ms [0.3ms]
    successful: 4 in 1.5ms [0.3ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Complex.continuous_im:
    total:      6 in 1.4ms [0.2ms]
    successful: 2 in 0.7ms [0.3ms]
    failed:     4 in 0.6ms [0.1ms]
  norm|forward|global|Aesop.BuiltinRules.empty_false:
    total:      1 in 1.4ms [1.4ms]
    successful: 1 in 1.4ms [1.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|BoundedContinuousFunction.continuous_eval_const:
    total:      1 in 1.4ms [1.4ms]
    successful: 1 in 1.4ms [1.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Path.continuous_extend:
    total:      2 in 1.3ms [0.6ms]
    successful: 2 in 1.3ms [0.6ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|unitInterval.continuous_symm:
    total:      3 in 1.2ms [0.4ms]
    successful: 3 in 1.2ms [0.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Real.continuous_cos:
    total:      2 in 1.2ms [0.6ms]
    successful: 2 in 1.2ms [0.6ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Real.continuous_sqrt:
    total:      3 in 1.0ms [0.3ms]
    successful: 3 in 1.0ms [0.3ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Real.rpow_nonneg:
    total:      1 in 1.0ms [1.0ms]
    successful: 1 in 1.0ms [1.0ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Polynomial.continuous:
    total:      1 in 1.0ms [1.0ms]
    successful: 1 in 1.0ms [1.0ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Path.Homotopy.continuous_transReflReparamAux:
    total:      2 in 1.0ms [0.5ms]
    successful: 2 in 1.0ms [0.5ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Path.Homotopy.continuous_transAssocReparamAux:
    total:      2 in 1.0ms [0.5ms]
    successful: 2 in 1.0ms [0.5ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Continuous.vadd:
    total:      1 in 1.0ms [1.0ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 1.0ms [1.0ms]
  safe|apply|global|SimplexCategory.continuous_toTopMap:
    total:      1 in 0.9ms [0.9ms]
    successful: 1 in 0.9ms [0.9ms]
    failed:     0 in 0.0ms [0.0ms]
  unsafe|apply|global|_private.Mathlib.Data.Matroid.Basic.0.Matroid.inter_left_subset_ground:
    total:      1 in 0.9ms [0.9ms]
    successful: 1 in 0.9ms [0.9ms]
    failed:     0 in 0.0ms [0.0ms]
  unsafe|apply|global|_private.Mathlib.Data.Matroid.Basic.0.Matroid.inter_right_subset_ground:
    total:      1 in 0.9ms [0.9ms]
    successful: 1 in 0.9ms [0.9ms]
    failed:     0 in 0.0ms [0.0ms]
  unsafe|apply|global|le_of_lt:
    total:      1 in 0.9ms [0.9ms]
    successful: 1 in 0.9ms [0.9ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Asymptotics.isBigO_refl:
    total:      1 in 0.8ms [0.8ms]
    successful: 1 in 0.8ms [0.8ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|zpow_mem:
    total:      1 in 0.8ms [0.8ms]
    successful: 1 in 0.8ms [0.8ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Continuous.zpow:
    total:      1 in 0.8ms [0.8ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 0.8ms [0.8ms]
  safe|apply|global|continuous_uLift_up:
    total:      1 in 0.8ms [0.8ms]
    successful: 1 in 0.8ms [0.8ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Real.rpow_pos_of_pos:
    total:      1 in 0.8ms [0.8ms]
    successful: 1 in 0.8ms [0.8ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|AkraBazziRecurrence.T_pos:
    total:      1 in 0.7ms [0.7ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 0.7ms [0.7ms]
  safe|apply|global|zsmul_mem:
    total:      1 in 0.6ms [0.6ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 0.6ms [0.6ms]
  safe|apply|global|_private.Mathlib.Data.Matroid.Basic.0.Matroid.insert_subset_ground:
    total:      1 in 0.5ms [0.5ms]
    successful: 1 in 0.5ms [0.5ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Set.union_subset:
    total:      1 in 0.5ms [0.5ms]
    successful: 1 in 0.5ms [0.5ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Path.Homotopy.continuous_reflTransSymmAux:
    total:      1 in 0.5ms [0.5ms]
    successful: 1 in 0.5ms [0.5ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Set.empty_subset:
    total:      1 in 0.5ms [0.5ms]
    successful: 1 in 0.5ms [0.5ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Set.iUnion_subset:
    total:      1 in 0.5ms [0.5ms]
    successful: 1 in 0.5ms [0.5ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|continuous_circleMap:
    total:      1 in 0.5ms [0.5ms]
    successful: 1 in 0.5ms [0.5ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|PUnit.unit:
    total:      1 in 0.5ms [0.5ms]
    successful: 1 in 0.5ms [0.5ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|constructors|global|Sym2.Rel:
    total:      1 in 0.5ms [0.5ms]
    successful: 0 in 0.0ms [0.0ms]
    failed:     1 in 0.5ms [0.5ms]
  safe|apply|global|_private.Mathlib.Data.Matroid.Basic.0.Matroid.ground_subset_ground:
    total:      1 in 0.4ms [0.4ms]
    successful: 1 in 0.4ms [0.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Real.continuous_sin:
    total:      1 in 0.4ms [0.4ms]
    successful: 1 in 0.4ms [0.4ms]
    failed:     0 in 0.0ms [0.0ms]
  safe|apply|global|Real.continuous_exp:
    total:      1 in 0.3ms [0.3ms]
    successful: 1 in 0.3ms [0.3ms]
    failed:     0 in 0.0ms [0.0ms]