iters=5 new-facts=1 prior-facts=1 | | mean | 273.610-273.593=0.017 | | σ | 0.009-0.017=-0.009 | | min | 273.598-273.575=0.023 | | max | 273.622-273.619=0.003 |
| | mean | 2838.000-2853.000=-15.000 | | σ | 0.000 | | min | 2838.000-2853.000=-15.000 | | max | 2838.000-2853.000=-15.000 |
| | mean | 0.389-0.390=-0.000 | | σ | 0.016-0.006=0.010 | | min | 0.381-0.384=-0.003 | | max | 0.419-0.399=0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.997-1933.993=0.004 | | σ | 0.008-0.006=0.002 | | min | 1933.983-1933.986=-0.003 | | max | 1934.003-1934.004=-0.000 |
| | mean | 2838.000-2853.000=-15.000 | | σ | 0.000 | | min | 2838.000-2853.000=-15.000 | | max | 2838.000-2853.000=-15.000 |
| | mean | 3.054-3.050=0.004 | | σ | 0.106-0.198=-0.092 | | min | 2.960-2.763=0.197 | | max | 3.178-3.234=-0.056 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.759-4614.225=140.534 | | σ | 0.853-314.655=-313.802 | | min | 4754.205-4051.356=702.850 | | max | 4756.272-4756.350=-0.077 |
| | mean | 2838.000-2853.000=-15.000 | | σ | 0.000 | | min | 2838.000-2853.000=-15.000 | | max | 2838.000-2853.000=-15.000 |
| | mean | 8.538-8.313=0.225 | | σ | 0.517-0.628=-0.111 | | min | 7.855-7.680=0.176 | | max | 9.308-9.225=0.083 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.218-4945.235=-0.017 | | σ | 0.027-0.020=0.007 | | min | 4945.187-4945.213=-0.026 | | max | 4945.247-4945.264=-0.017 |
| | mean | 3057.600-3087.400=-29.800 | | σ | 230.565-298.900=-68.335 | | min | 2838.000-2853.000=-15.000 | | max | 3390.000-3544.000=-154.000 |
| | mean | 8.537-8.703=-0.166 | | σ | 0.160-0.233=-0.073 | | min | 8.365-8.541=-0.176 | | max | 8.790-9.108=-0.318 |
|