iters=5 new-facts=1 prior-facts=1 | | mean | 279.508-279.510=-0.002 | | σ | 0.007-0.007=-0.000 | | min | 279.500-279.502=-0.002 | | max | 279.518-279.516=0.002 |
| | mean | 2685.000-2749.000=-64.000 | | σ | 0.000 | | min | 2685.000-2749.000=-64.000 | | max | 2685.000-2749.000=-64.000 |
| | mean | 0.415-0.409=0.006 | | σ | 0.010-0.008=0.002 | | min | 0.406-0.403=0.004 | | max | 0.431-0.423=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2173.700-2173.703=-0.003 | | σ | 0.015-0.025=-0.010 | | min | 2173.685-2173.663=0.022 | | max | 2173.720-2173.729=-0.010 |
| | mean | 2685.000-2749.000=-64.000 | | σ | 0.000 | | min | 2685.000-2749.000=-64.000 | | max | 2685.000-2749.000=-64.000 |
| | mean | 2.979-2.943=0.036 | | σ | 0.151-0.299=-0.148 | | min | 2.758-2.662=0.096 | | max | 3.106-3.390=-0.284 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5053.105-5053.219=-0.114 | | σ | 0.444-1.108=-0.664 | | min | 5052.809-5052.138=0.671 | | max | 5053.889-5055.089=-1.200 |
| | mean | 2685.000-2749.000=-64.000 | | σ | 0.000 | | min | 2685.000-2749.000=-64.000 | | max | 2685.000-2749.000=-64.000 |
| | mean | 9.199-9.128=0.071 | | σ | 0.200-0.607=-0.407 | | min | 8.868-8.101=0.767 | | max | 9.388-9.628=-0.240 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.991-5185.968=0.023 | | σ | 0.088-0.113=-0.026 | | min | 5185.922-5185.835=0.087 | | max | 5186.089-5186.088=0.001 |
| | mean | 3279.200-3212.800=66.400 | | σ | 419.380-354.307=65.073 | | min | 2685.000-2840.000=-155.000 | | max | 3664.000-3754.000=-90.000 |
| | mean | 9.042-8.825=0.217 | | σ | 0.453-0.159=0.294 | | min | 8.681-8.601=0.080 | | max | 9.823-8.984=0.838 |
|