iters=5 new-facts=1 prior-facts=1 | | mean | 272.017-272.018=-0.002 | | σ | 0.008-0.005=0.004 | | min | 272.009-272.013=-0.004 | | max | 272.030-272.025=0.004 |
| | mean | 2876.000-2908.000=-32.000 | | σ | 0.000 | | min | 2876.000-2908.000=-32.000 | | max | 2876.000-2908.000=-32.000 |
| | mean | 0.391-0.388=0.004 | | σ | 0.009-0.010=-0.000 | | min | 0.379-0.378=0.001 | | max | 0.402-0.400=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.439-1932.437=0.003 | | σ | 0.011-0.010=0.001 | | min | 1932.421-1932.421=0.001 | | max | 1932.450-1932.446=0.004 |
| | mean | 2876.000-2908.000=-32.000 | | σ | 0.000 | | min | 2876.000-2908.000=-32.000 | | max | 2876.000-2908.000=-32.000 |
| | mean | 2.944-3.000=-0.056 | | σ | 0.140-0.078=0.061 | | min | 2.796-2.938=-0.141 | | max | 3.121-3.135=-0.014 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.192-4753.054=0.138 | | σ | 0.804-0.955=-0.151 | | min | 4752.749-4752.087=0.662 | | max | 4754.626-4754.653=-0.027 |
| | mean | 2876.000-2908.000=-32.000 | | σ | 0.000 | | min | 2876.000-2908.000=-32.000 | | max | 2876.000-2908.000=-32.000 |
| | mean | 8.375-8.499=-0.124 | | σ | 0.412-0.587=-0.176 | | min | 7.716-7.607=0.109 | | max | 8.728-9.121=-0.393 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.565-4943.417=0.148 | | σ | 0.167-0.309=-0.142 | | min | 4943.267-4942.938=0.329 | | max | 4943.659-4943.662=-0.004 |
| | mean | 3055.000-3099.600=-44.600 | | σ | 188.258-212.359=-24.101 | | min | 2876.000-2908.000=-32.000 | | max | 3327.000-3424.000=-97.000 |
| | mean | 8.791-8.617=0.174 | | σ | 0.382-0.223=0.159 | | min | 8.452-8.394=0.058 | | max | 9.367-8.951=0.417 |
|