iters=5 new-facts=1 prior-facts=1 | | mean | 273.607-273.610=-0.004 | | σ | 0.010-0.006=0.004 | | min | 273.598-273.602=-0.004 | | max | 273.623-273.616=0.007 |
| | mean | 2785.000-2855.000=-70.000 | | σ | 0.000 | | min | 2785.000-2855.000=-70.000 | | max | 2785.000-2855.000=-70.000 |
| | mean | 0.383-0.383=0.000 | | σ | 0.004-0.004=0.000 | | min | 0.380-0.381=-0.001 | | max | 0.390-0.390=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.997-1934.001=-0.004 | | σ | 0.002-0.006=-0.003 | | min | 1933.993-1933.993=-0.000 | | max | 1933.999-1934.006=-0.007 |
| | mean | 2785.000-2855.000=-70.000 | | σ | 0.000 | | min | 2785.000-2855.000=-70.000 | | max | 2785.000-2855.000=-70.000 |
| | mean | 3.054-2.943=0.111 | | σ | 0.116-0.184=-0.068 | | min | 2.915-2.692=0.222 | | max | 3.216-3.129=0.088 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.760-4754.649=0.111 | | σ | 0.837-0.899=-0.062 | | min | 4754.306-4753.956=0.350 | | max | 4756.250-4756.224=0.025 |
| | mean | 2785.000-2855.000=-70.000 | | σ | 0.000 | | min | 2785.000-2855.000=-70.000 | | max | 2785.000-2855.000=-70.000 |
| | mean | 8.464-8.554=-0.090 | | σ | 0.521-0.540=-0.019 | | min | 7.617-7.661=-0.043 | | max | 8.948-8.933=0.016 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.153-4945.221=-0.068 | | σ | 0.143-0.019=0.123 | | min | 4944.898-4945.197=-0.298 | | max | 4945.232-4945.243=-0.011 |
| | mean | 3034.800-3066.000=-31.200 | | σ | 255.453-222.741=32.712 | | min | 2785.000-2855.000=-70.000 | | max | 3398.000-3298.000=100.000 |
| | mean | 8.696-8.697=-0.001 | | σ | 0.300-0.269=0.031 | | min | 8.419-8.366=0.053 | | max | 9.118-9.070=0.048 |
|