iters=5 new-facts=1 prior-facts=1 | | mean | 272.759-272.756=0.003 | | σ | 0.006-0.006=0.001 | | min | 272.752-272.751=0.002 | | max | 272.768-272.762=0.006 |
| | mean | 2508.000-2795.000=-287.000 | | σ | 0.000 | | min | 2508.000-2795.000=-287.000 | | max | 2508.000-2795.000=-287.000 |
| | mean | 0.387-0.384=0.002 | | σ | 0.009-0.009=-0.000 | | min | 0.380-0.379=0.001 | | max | 0.401-0.400=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.170-1933.161=0.009 | | σ | 0.025-0.012=0.013 | | min | 1933.135-1933.145=-0.011 | | max | 1933.194-1933.174=0.020 |
| | mean | 2508.000-2795.000=-287.000 | | σ | 0.000 | | min | 2508.000-2795.000=-287.000 | | max | 2508.000-2795.000=-287.000 |
| | mean | 2.995-3.065=-0.070 | | σ | 0.301-0.074=0.227 | | min | 2.498-2.997=-0.499 | | max | 3.311-3.156=0.156 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.991-4756.907=0.083 | | σ | 7.556-7.659=-0.103 | | min | 4753.508-4753.400=0.108 | | max | 4770.508-4770.608=-0.100 |
| | mean | 2508.000-2795.000=-287.000 | | σ | 0.000 | | min | 2508.000-2795.000=-287.000 | | max | 2508.000-2795.000=-287.000 |
| | mean | 8.111-8.620=-0.509 | | σ | 0.425-0.520=-0.095 | | min | 7.695-7.759=-0.064 | | max | 8.653-9.102=-0.448 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.394-4944.394=0.000 | | σ | 0.021-0.019=0.001 | | min | 4944.369-4944.368=0.002 | | max | 4944.412-4944.411=0.001 |
| | mean | 2964.600-3004.200=-39.600 | | σ | 432.543-272.549=159.993 | | min | 2508.000-2795.000=-287.000 | | max | 3553.000-3419.000=134.000 |
| | mean | 8.409-8.369=0.040 | | σ | 0.078-0.050=0.028 | | min | 8.325-8.322=0.003 | | max | 8.513-8.452=0.061 |
|