iters=5 new-facts=1 prior-facts=1 | | mean | 271.615-271.621=-0.006 | | σ | 0.005-0.006=-0.001 | | min | 271.609-271.615=-0.006 | | max | 271.622-271.628=-0.006 |
| | mean | 2767.000-2807.000=-40.000 | | σ | 0.000 | | min | 2767.000-2807.000=-40.000 | | max | 2767.000-2807.000=-40.000 |
| | mean | 0.380-0.385=-0.005 | | σ | 0.001-0.008=-0.007 | | min | 0.379-0.381=-0.002 | | max | 0.381-0.399=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.043-1932.039=0.004 | | σ | 0.012-0.008=0.004 | | min | 1932.028-1932.026=0.002 | | max | 1932.062-1932.047=0.015 |
| | mean | 2767.000-2807.000=-40.000 | | σ | 0.000 | | min | 2767.000-2807.000=-40.000 | | max | 2767.000-2807.000=-40.000 |
| | mean | 3.084-3.074=0.010 | | σ | 0.166-0.183=-0.017 | | min | 2.965-2.963=0.002 | | max | 3.365-3.386=-0.021 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.851-4752.672=0.179 | | σ | 0.799-0.669=0.130 | | min | 4752.418-4752.250=0.168 | | max | 4754.279-4753.853=0.426 |
| | mean | 2767.000-2807.000=-40.000 | | σ | 0.000 | | min | 2767.000-2807.000=-40.000 | | max | 2767.000-2807.000=-40.000 |
| | mean | 7.970-8.565=-0.595 | | σ | 0.335-0.690=-0.355 | | min | 7.686-7.513=0.173 | | max | 8.514-9.248=-0.734 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.230-4943.165=0.065 | | σ | 0.012-0.158=-0.146 | | min | 4943.213-4942.883=0.329 | | max | 4943.246-4943.248=-0.001 |
| | mean | 3019.200-3082.200=-63.000 | | σ | 296.862-275.000=21.862 | | min | 2767.000-2807.000=-40.000 | | max | 3455.000-3357.000=98.000 |
| | mean | 8.425-8.676=-0.251 | | σ | 0.115-0.274=-0.159 | | min | 8.349-8.379=-0.030 | | max | 8.626-9.006=-0.380 |
|