iters=5 new-facts=1 prior-facts=1 | | mean | 271.592-271.599=-0.006 | | σ | 0.006-0.006=0.001 | | min | 271.585-271.589=-0.004 | | max | 271.603-271.604=-0.001 |
| | mean | 2433.000-2664.000=-231.000 | | σ | 0.000 | | min | 2433.000-2664.000=-231.000 | | max | 2433.000-2664.000=-231.000 |
| | mean | 0.381-0.380=0.001 | | σ | 0.005-0.002=0.002 | | min | 0.378-0.378=0.000 | | max | 0.389-0.383=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.000-1931.999=0.001 | | σ | 0.008-0.009=-0.001 | | min | 1931.994-1931.984=0.010 | | max | 1932.011-1932.009=0.002 |
| | mean | 2433.000-2664.000=-231.000 | | σ | 0.000 | | min | 2433.000-2664.000=-231.000 | | max | 2433.000-2664.000=-231.000 |
| | mean | 2.509-2.535=-0.026 | | σ | 0.111-0.086=0.025 | | min | 2.386-2.472=-0.087 | | max | 2.685-2.669=0.015 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.672-4752.691=-0.019 | | σ | 0.916-0.938=-0.022 | | min | 4751.917-4752.194=-0.277 | | max | 4754.265-4754.366=-0.100 |
| | mean | 2433.000-2664.000=-231.000 | | σ | 0.000 | | min | 2433.000-2664.000=-231.000 | | max | 2433.000-2664.000=-231.000 |
| | mean | 8.296-8.746=-0.450 | | σ | 0.249-0.318=-0.068 | | min | 7.904-8.271=-0.367 | | max | 8.478-9.072=-0.594 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.136-4943.140=-0.004 | | σ | 0.158-0.155=0.003 | | min | 4942.855-4942.864=-0.010 | | max | 4943.217-4943.234=-0.017 |
| | mean | 2991.800-3000.400=-8.600 | | σ | 299.331-267.684=31.647 | | min | 2585.000-2664.000=-79.000 | | max | 3360.000-3343.000=17.000 |
| | mean | 8.540-8.708=-0.168 | | σ | 0.085-0.218=-0.133 | | min | 8.448-8.447=0.001 | | max | 8.679-8.993=-0.314 |
|