iters=5 new-facts=1 prior-facts=1 | | mean | 326.516-326.501=0.015 | | σ | 0.038-0.065=-0.027 | | min | 326.450-326.386=0.064 | | max | 326.540-326.541=-0.001 |
| | mean | 2821.000-2612.000=209.000 | | σ | 0.000 | | min | 2821.000-2612.000=209.000 | | max | 2821.000-2612.000=209.000 |
| | mean | 0.424-0.424=0.000 | | σ | 0.003-0.000=0.003 | | min | 0.422-0.424=-0.002 | | max | 0.430-0.425=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.669-1988.671=-0.001 | | σ | 0.015-0.012=0.002 | | min | 1988.649-1988.652=-0.002 | | max | 1988.683-1988.683=0.000 |
| | mean | 2821.000-2612.000=209.000 | | σ | 0.000 | | min | 2821.000-2612.000=209.000 | | max | 2821.000-2612.000=209.000 |
| | mean | 2.807-2.684=0.123 | | σ | 0.171-0.088=0.083 | | min | 2.650-2.616=0.034 | | max | 3.016-2.837=0.179 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.527-4813.567=-0.040 | | σ | 7.688-7.680=0.008 | | min | 4810.034-4810.004=0.031 | | max | 4827.279-4827.304=-0.025 |
| | mean | 2821.000-2612.000=209.000 | | σ | 0.000 | | min | 2821.000-2612.000=209.000 | | max | 2821.000-2612.000=209.000 |
| | mean | 8.451-8.325=0.126 | | σ | 0.506-0.462=0.045 | | min | 7.806-7.714=0.093 | | max | 8.933-8.923=0.010 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.068-5000.865=0.203 | | σ | 0.021-0.184=-0.163 | | min | 5001.037-5000.702=0.335 | | max | 5001.095-5001.081=0.014 |
| | mean | 3029.000-2976.800=52.200 | | σ | 260.182-275.295=-15.113 | | min | 2821.000-2612.000=209.000 | | max | 3416.000-3308.000=108.000 |
| | mean | 9.659-9.829=-0.169 | | σ | 0.136-0.140=-0.004 | | min | 9.510-9.632=-0.122 | | max | 9.780-9.983=-0.203 |
|