iters=5 new-facts=1 prior-facts=1 | | mean | 285.436-285.393=0.043 | | σ | 0.013-0.010=0.003 | | min | 285.415-285.382=0.033 | | max | 285.448-285.404=0.044 |
| | mean | 1524.000-1636.000=-112.000 | | σ | 0.000 | | min | 1524.000-1636.000=-112.000 | | max | 1524.000-1636.000=-112.000 |
| | mean | 0.378-0.383=-0.005 | | σ | 0.007-0.009=-0.002 | | min | 0.374-0.376=-0.002 | | max | 0.390-0.396=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.501-1285.352=0.149 | | σ | 0.087-0.133=-0.046 | | min | 1285.353-1285.287=0.066 | | max | 1285.568-1285.589=-0.021 |
| | mean | 1524.000-1636.000=-112.000 | | σ | 0.000 | | min | 1524.000-1636.000=-112.000 | | max | 1524.000-1636.000=-112.000 |
| | mean | 1.888-1.917=-0.029 | | σ | 0.066-0.132=-0.066 | | min | 1.801-1.781=0.020 | | max | 1.978-2.103=-0.125 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1705.829-1807.688=-101.860 | | σ | 6.858-7.019=-0.162 | | min | 1702.652-1804.323=-101.671 | | max | 1718.093-1820.229=-102.136 |
| | mean | 1524.000-1636.000=-112.000 | | σ | 0.000 | | min | 1524.000-1636.000=-112.000 | | max | 1524.000-1636.000=-112.000 |
| | mean | 2.963-4.145=-1.182 | | σ | 0.224-0.233=-0.009 | | min | 2.802-3.798=-0.996 | | max | 3.309-4.454=-1.145 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1968.411-2070.177=-101.766 | | σ | 0.034-0.015=0.019 | | min | 1968.355-2070.161=-101.806 | | max | 1968.444-2070.200=-101.756 |
| | mean | 1787.200-1838.600=-51.400 | | σ | 196.233-171.774=24.459 | | min | 1530.000-1636.000=-106.000 | | max | 2030.000-2077.000=-47.000 |
| | mean | 3.216-4.484=-1.268 | | σ | 0.336-0.050=0.286 | | min | 3.014-4.430=-1.416 | | max | 3.814-4.560=-0.745 |
|