ui.out (6518B)
1 === prop_i0ResultElementsAreInBoth from ui.hs:64 === 2 +++ OK, passed 1000 tests. 3 4 === prop_i1ResultElementsAreInBoth from ui.hs:68 === 5 +++ OK, passed 1000 tests. 6 7 === prop_i2ResultElementsAreInBoth from ui.hs:72 === 8 +++ OK, passed 1000 tests. 9 10 === prop_u0ResultElementsInAtLeastOne from ui.hs:77 === 11 +++ OK, passed 1000 tests. 12 13 === prop_u1ResultElementsInAtLeastOne from ui.hs:81 === 14 +++ OK, passed 1000 tests. 15 16 === prop_u2ResultElementsInAtLeastOne from ui.hs:85 === 17 +++ OK, passed 1000 tests. 18 19 warming up 20 estimating clock resolution... 21 mean is 1.653605 us (320001 iterations) 22 found 2070 outliers among 319999 samples (0.6%) 23 1657 (0.5%) high severe 24 estimating cost of a clock call... 25 mean is 65.59666 ns (17 iterations) 26 found 2 outliers among 17 samples (11.8%) 27 2 (11.8%) high severe 28 29 benchmarking intersection - i0 /i0s 30 mean: 241.8527 us, lb 240.9886 us, ub 243.1653 us, ci 0.950 31 std dev: 5.370071 us, lb 3.981611 us, ub 8.452537 us, ci 0.950 32 found 7 outliers among 100 samples (7.0%) 33 4 (4.0%) high mild 34 3 (3.0%) high severe 35 variance introduced by outliers: 15.189% 36 variance is moderately inflated by outliers 37 38 benchmarking intersection - i0 /i0m 39 mean: 1.349664 ms, lb 1.343737 ms, ub 1.356489 ms, ci 0.950 40 std dev: 32.54633 us, lb 27.51927 us, ub 39.69676 us, ci 0.950 41 found 4 outliers among 100 samples (4.0%) 42 4 (4.0%) high mild 43 variance introduced by outliers: 18.030% 44 variance is moderately inflated by outliers 45 46 benchmarking intersection - i0 /i0l 47 mean: 10.43376 ms, lb 10.26692 ms, ub 10.68256 ms, ci 0.950 48 std dev: 1.030502 ms, lb 766.8110 us, ub 1.357862 ms, ci 0.950 49 found 11 outliers among 100 samples (11.0%) 50 10 (10.0%) high severe 51 variance introduced by outliers: 78.975% 52 variance is severely inflated by outliers 53 54 benchmarking intersection - i1 /i1s 55 mean: 37.62627 us, lb 36.20585 us, ub 39.56645 us, ci 0.950 56 std dev: 8.452334 us, lb 6.684560 us, ub 12.01732 us, ci 0.950 57 found 3 outliers among 100 samples (3.0%) 58 2 (2.0%) high mild 59 1 (1.0%) high severe 60 variance introduced by outliers: 95.715% 61 variance is severely inflated by outliers 62 63 benchmarking intersection - i1 /i1m 64 mean: 60.59575 us, lb 60.08477 us, ub 61.36355 us, ci 0.950 65 std dev: 3.184276 us, lb 2.424147 us, ub 4.954732 us, ci 0.950 66 found 9 outliers among 100 samples (9.0%) 67 7 (7.0%) high mild 68 2 (2.0%) high severe 69 variance introduced by outliers: 50.470% 70 variance is severely inflated by outliers 71 72 benchmarking intersection - i1 /i1l 73 mean: 149.5444 us, lb 148.7898 us, ub 150.9952 us, ci 0.950 74 std dev: 5.176023 us, lb 3.219088 us, ub 9.524480 us, ci 0.950 75 found 5 outliers among 100 samples (5.0%) 76 4 (4.0%) high severe 77 variance introduced by outliers: 30.664% 78 variance is moderately inflated by outliers 79 80 benchmarking intersection - i2 /i2s 81 mean: 9.463958 us, lb 9.407915 us, ub 9.542428 us, ci 0.950 82 std dev: 336.3714 ns, lb 257.5346 ns, ub 423.1264 ns, ci 0.950 83 found 10 outliers among 100 samples (10.0%) 84 3 (3.0%) high mild 85 7 (7.0%) high severe 86 variance introduced by outliers: 31.653% 87 variance is moderately inflated by outliers 88 89 benchmarking intersection - i2 /i2m 90 mean: 15.80304 us, lb 15.75625 us, ub 15.86975 us, ci 0.950 91 std dev: 283.1245 ns, lb 217.4457 ns, ub 380.9612 ns, ci 0.950 92 found 5 outliers among 100 samples (5.0%) 93 3 (3.0%) high mild 94 2 (2.0%) high severe 95 variance introduced by outliers: 10.411% 96 variance is moderately inflated by outliers 97 98 benchmarking intersection - i2 /i2l 99 mean: 30.04472 us, lb 29.94999 us, ub 30.17653 us, ci 0.950 100 std dev: 569.5918 ns, lb 435.6022 ns, ub 743.6671 ns, ci 0.950 101 found 6 outliers among 100 samples (6.0%) 102 3 (3.0%) high mild 103 3 (3.0%) high severe 104 variance introduced by outliers: 11.374% 105 variance is moderately inflated by outliers 106 107 benchmarking union - u0 /u0s 108 mean: 237.2854 us, lb 231.8887 us, ub 243.8647 us, ci 0.950 109 std dev: 30.44916 us, lb 24.46645 us, ub 42.27376 us, ci 0.950 110 found 2 outliers among 100 samples (2.0%) 111 1 (1.0%) high severe 112 variance introduced by outliers: 86.282% 113 variance is severely inflated by outliers 114 115 benchmarking union - u0 /u0m 116 mean: 424.4515 us, lb 415.2468 us, ub 440.1109 us, ci 0.950 117 std dev: 60.34614 us, lb 41.67318 us, ub 109.6783 us, ci 0.950 118 found 1 outliers among 100 samples (1.0%) 119 1 (1.0%) high severe 120 variance introduced by outliers: 88.388% 121 variance is severely inflated by outliers 122 123 benchmarking union - u0 /u0l 124 mean: 845.0848 us, lb 827.2701 us, ub 865.6639 us, ci 0.950 125 std dev: 97.83496 us, lb 86.25617 us, ub 112.0636 us, ci 0.950 126 found 1 outliers among 100 samples (1.0%) 127 variance introduced by outliers: 84.158% 128 variance is severely inflated by outliers 129 130 benchmarking union - u1 /u1s 131 mean: 32.13088 us, lb 31.85796 us, ub 32.63588 us, ci 0.950 132 std dev: 1.838367 us, lb 1.202909 us, ub 3.379434 us, ci 0.950 133 found 12 outliers among 100 samples (12.0%) 134 11 (11.0%) high mild 135 1 (1.0%) high severe 136 variance introduced by outliers: 55.449% 137 variance is severely inflated by outliers 138 139 benchmarking union - u1 /u1m 140 mean: 65.00069 us, lb 64.02871 us, ub 66.24941 us, ci 0.950 141 std dev: 5.635944 us, lb 4.652454 us, ub 7.169802 us, ci 0.950 142 found 5 outliers among 100 samples (5.0%) 143 4 (4.0%) high mild 144 1 (1.0%) high severe 145 variance introduced by outliers: 73.831% 146 variance is severely inflated by outliers 147 148 benchmarking union - u1 /u1l 149 mean: 159.6619 us, lb 157.4585 us, ub 163.0561 us, ci 0.950 150 std dev: 13.78931 us, lb 10.02459 us, ub 21.04754 us, ci 0.950 151 found 8 outliers among 100 samples (8.0%) 152 5 (5.0%) high mild 153 3 (3.0%) high severe 154 variance introduced by outliers: 73.822% 155 variance is severely inflated by outliers 156 157 benchmarking union - u2 /u2s 158 mean: 10.83968 us, lb 10.78467 us, ub 10.92027 us, ci 0.950 159 std dev: 336.8579 ns, lb 251.8153 ns, ub 441.4622 ns, ci 0.950 160 found 9 outliers among 100 samples (9.0%) 161 3 (3.0%) high mild 162 6 (6.0%) high severe 163 variance introduced by outliers: 25.821% 164 variance is moderately inflated by outliers 165 166 benchmarking union - u2 /u2m 167 mean: 17.35428 us, lb 17.27169 us, ub 17.47427 us, ci 0.950 168 std dev: 503.9214 ns, lb 373.6216 ns, ub 660.5846 ns, ci 0.950 169 found 7 outliers among 100 samples (7.0%) 170 6 (6.0%) high severe 171 variance introduced by outliers: 23.842% 172 variance is moderately inflated by outliers 173 174 benchmarking union - u2 /u2l 175 mean: 31.64824 us, lb 31.48891 us, ub 31.94573 us, ci 0.950 176 std dev: 1.078435 us, lb 668.9161 ns, ub 1.644798 us, ci 0.950 177 found 4 outliers among 100 samples (4.0%) 178 4 (4.0%) high severe 179 variance introduced by outliers: 29.707% 180 variance is moderately inflated by outliers