iters=5 new-facts=1 prior-facts=1 | | mean | 271.623-271.619=0.004 | | σ | 0.008-0.008=0.001 | | min | 271.616-271.609=0.008 | | max | 271.636-271.628=0.009 |
| | mean | 2850.000-2776.000=74.000 | | σ | 0.000 | | min | 2850.000-2776.000=74.000 | | max | 2850.000-2776.000=74.000 |
| | mean | 0.388-0.372=0.015 | | σ | 0.007-0.006=0.002 | | min | 0.380-0.369=0.011 | | max | 0.396-0.382=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.040-1932.049=-0.009 | | σ | 0.007-0.013=-0.006 | | min | 1932.032-1932.039=-0.006 | | max | 1932.049-1932.069=-0.020 |
| | mean | 2850.000-2776.000=74.000 | | σ | 0.000 | | min | 2850.000-2776.000=74.000 | | max | 2850.000-2776.000=74.000 |
| | mean | 3.114-2.917=0.197 | | σ | 0.167-0.267=-0.100 | | min | 2.937-2.455=0.483 | | max | 3.358-3.113=0.245 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.705-4752.541=0.164 | | σ | 0.873-0.663=0.209 | | min | 4751.944-4751.941=0.003 | | max | 4754.212-4753.677=0.535 |
| | mean | 2850.000-2776.000=74.000 | | σ | 0.000 | | min | 2850.000-2776.000=74.000 | | max | 2850.000-2776.000=74.000 |
| | mean | 8.041-8.429=-0.388 | | σ | 0.427-0.543=-0.117 | | min | 7.699-7.563=0.136 | | max | 8.701-8.957=-0.255 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.159-4943.168=-0.009 | | σ | 0.161-0.149=0.012 | | min | 4942.873-4942.902=-0.029 | | max | 4943.263-4943.256=0.008 |
| | mean | 3053.200-3007.800=45.400 | | σ | 260.175-229.352=30.824 | | min | 2850.000-2776.000=74.000 | | max | 3446.000-3339.000=107.000 |
| | mean | 8.444-8.556=-0.112 | | σ | 0.112-0.256=-0.144 | | min | 8.322-8.389=-0.067 | | max | 8.621-9.002=-0.381 |
|