iters=5 new-facts=1 prior-facts=1 | | mean | 272.769-273.602=-0.833 | | σ | 0.004-0.010=-0.006 | | min | 272.764-273.589=-0.825 | | max | 272.773-273.612=-0.839 |
| | mean | 2420.000-2838.000=-418.000 | | σ | 0.000 | | min | 2420.000-2838.000=-418.000 | | max | 2420.000-2838.000=-418.000 |
| | mean | 0.384-0.384=-0.001 | | σ | 0.004-0.005=-0.000 | | min | 0.380-0.380=-0.000 | | max | 0.389-0.391=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.151-1933.998=-0.848 | | σ | 0.020-0.008=0.012 | | min | 1933.123-1933.988=-0.865 | | max | 1933.174-1934.009=-0.835 |
| | mean | 2420.000-2838.000=-418.000 | | σ | 0.000 | | min | 2420.000-2838.000=-418.000 | | max | 2420.000-2838.000=-418.000 |
| | mean | 3.080-3.003=0.077 | | σ | 0.174-0.062=0.112 | | min | 2.954-2.936=0.019 | | max | 3.388-3.090=0.298 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.824-4754.843=-1.020 | | σ | 0.929-0.784=0.145 | | min | 4752.889-4754.442=-1.553 | | max | 4755.385-4756.244=-0.859 |
| | mean | 2420.000-2838.000=-418.000 | | σ | 0.000 | | min | 2420.000-2838.000=-418.000 | | max | 2420.000-2838.000=-418.000 |
| | mean | 8.410-7.911=0.500 | | σ | 0.293-0.286=0.006 | | min | 8.105-7.697=0.408 | | max | 8.846-8.410=0.436 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.381-4945.217=-0.836 | | σ | 0.023-0.015=0.008 | | min | 4944.354-4945.197=-0.842 | | max | 4944.406-4945.232=-0.826 |
| | mean | 2898.600-3038.200=-139.600 | | σ | 392.243-272.930=119.313 | | min | 2420.000-2838.000=-418.000 | | max | 3424.000-3469.000=-45.000 |
| | mean | 8.404-8.483=-0.079 | | σ | 0.046-0.116=-0.070 | | min | 8.355-8.369=-0.014 | | max | 8.461-8.664=-0.203 |
|