iters=5 new-facts=1 prior-facts=1 | | mean | 274.369-273.610=0.758 | | σ | 0.008-0.006=0.002 | | min | 274.361-273.602=0.760 | | max | 274.381-273.616=0.765 |
| | mean | 2422.000-2855.000=-433.000 | | σ | 0.000 | | min | 2422.000-2855.000=-433.000 | | max | 2422.000-2855.000=-433.000 |
| | mean | 0.384-0.383=0.001 | | σ | 0.004-0.004=0.001 | | min | 0.382-0.381=0.001 | | max | 0.392-0.390=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.752-1934.001=0.751 | | σ | 0.012-0.006=0.007 | | min | 1934.736-1933.993=0.742 | | max | 1934.768-1934.006=0.762 |
| | mean | 2422.000-2855.000=-433.000 | | σ | 0.000 | | min | 2422.000-2855.000=-433.000 | | max | 2422.000-2855.000=-433.000 |
| | mean | 3.032-2.943=0.089 | | σ | 0.057-0.184=-0.128 | | min | 2.994-2.692=0.302 | | max | 3.131-3.129=0.003 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4755.474-4754.649=0.825 | | σ | 0.904-0.899=0.005 | | min | 4755.000-4753.956=1.044 | | max | 4757.084-4756.224=0.860 |
| | mean | 2422.000-2855.000=-433.000 | | σ | 0.000 | | min | 2422.000-2855.000=-433.000 | | max | 2422.000-2855.000=-433.000 |
| | mean | 8.768-8.554=0.214 | | σ | 0.329-0.540=-0.211 | | min | 8.299-7.661=0.638 | | max | 9.045-8.933=0.112 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.912-4945.221=0.691 | | σ | 0.174-0.019=0.154 | | min | 4945.604-4945.197=0.407 | | max | 4946.012-4945.243=0.769 |
| | mean | 2955.000-3066.000=-111.000 | | σ | 269.805-222.741=47.065 | | min | 2588.000-2855.000=-267.000 | | max | 3303.000-3298.000=5.000 |
| | mean | 8.452-8.697=-0.245 | | σ | 0.041-0.269=-0.228 | | min | 8.387-8.366=0.021 | | max | 8.490-9.070=-0.580 |
|