iters=5 new-facts=1 prior-facts=1 | | mean | 273.610-273.607=0.002 | | σ | 0.002-0.007=-0.005 | | min | 273.608-273.596=0.012 | | max | 273.612-273.614=-0.002 |
| | mean | 2836.000-2775.000=61.000 | | σ | 0.000 | | min | 2836.000-2775.000=61.000 | | max | 2836.000-2775.000=61.000 |
| | mean | 0.383-0.389=-0.006 | | σ | 0.002-0.010=-0.008 | | min | 0.380-0.382=-0.001 | | max | 0.385-0.403=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.007-1934.007=0.000 | | σ | 0.014-0.006=0.008 | | min | 1934.000-1933.999=0.001 | | max | 1934.032-1934.014=0.017 |
| | mean | 2836.000-2775.000=61.000 | | σ | 0.000 | | min | 2836.000-2775.000=61.000 | | max | 2836.000-2775.000=61.000 |
| | mean | 3.057-2.995=0.063 | | σ | 0.184-0.369=-0.186 | | min | 2.843-2.379=0.464 | | max | 3.312-3.299=0.014 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.779-4754.672=0.107 | | σ | 0.827-0.937=-0.110 | | min | 4754.209-4753.723=0.486 | | max | 4756.234-4756.247=-0.013 |
| | mean | 2836.000-2775.000=61.000 | | σ | 0.000 | | min | 2836.000-2775.000=61.000 | | max | 2836.000-2775.000=61.000 |
| | mean | 8.544-8.492=0.052 | | σ | 0.691-0.466=0.225 | | min | 7.620-7.758=-0.138 | | max | 9.494-8.930=0.564 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.156-4945.228=-0.072 | | σ | 0.144-0.016=0.129 | | min | 4944.900-4945.208=-0.308 | | max | 4945.249-4945.250=-0.000 |
| | mean | 3073.400-3081.000=-7.600 | | σ | 240.070-274.881=-34.810 | | min | 2836.000-2775.000=61.000 | | max | 3316.000-3357.000=-41.000 |
| | mean | 8.787-9.114=-0.327 | | σ | 0.194-0.583=-0.388 | | min | 8.512-8.397=0.115 | | max | 8.980-9.731=-0.751 |
|