iters=5 new-facts=1 prior-facts=1 | | mean | 273.506-273.504=0.002 | | σ | 0.006-0.005=0.001 | | min | 273.501-273.497=0.004 | | max | 273.517-273.512=0.005 |
| | mean | 2858.000-2837.000=21.000 | | σ | 0.000 | | min | 2858.000-2837.000=21.000 | | max | 2858.000-2837.000=21.000 |
| | mean | 0.384-0.381=0.003 | | σ | 0.004-0.008=-0.004 | | min | 0.381-0.375=0.006 | | max | 0.391-0.394=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.891-1933.891=-0.000 | | σ | 0.010-0.006=0.004 | | min | 1933.876-1933.887=-0.010 | | max | 1933.903-1933.901=0.002 |
| | mean | 2858.000-2837.000=21.000 | | σ | 0.000 | | min | 2858.000-2837.000=21.000 | | max | 2858.000-2837.000=21.000 |
| | mean | 2.929-2.958=-0.029 | | σ | 0.088-0.068=0.020 | | min | 2.877-2.858=0.020 | | max | 3.085-3.035=0.050 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.521-4754.515=0.007 | | σ | 0.649-0.701=-0.051 | | min | 4754.142-4754.141=0.002 | | max | 4755.675-4755.763=-0.088 |
| | mean | 2858.000-2837.000=21.000 | | σ | 0.000 | | min | 2858.000-2837.000=21.000 | | max | 2858.000-2837.000=21.000 |
| | mean | 8.779-8.857=-0.078 | | σ | 0.262-0.423=-0.161 | | min | 8.451-8.343=0.108 | | max | 9.079-9.459=-0.379 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.119-4944.978=0.140 | | σ | 0.017-0.325=-0.308 | | min | 4945.102-4944.397=0.705 | | max | 4945.139-4945.145=-0.006 |
| | mean | 3022.600-3050.200=-27.600 | | σ | 187.324-207.323=-19.999 | | min | 2858.000-2837.000=21.000 | | max | 3315.000-3309.000=6.000 |
| | mean | 8.527-8.693=-0.166 | | σ | 0.110-0.231=-0.121 | | min | 8.433-8.374=0.060 | | max | 8.685-8.912=-0.227 |
|