iters=5 new-facts=1 prior-facts=1 | | mean | 278.697-278.696=0.001 | | σ | 0.010-0.013=-0.003 | | min | 278.683-278.679=0.003 | | max | 278.710-278.710=-0.001 |
| | mean | 2666.000-2670.000=-4.000 | | σ | 0.000 | | min | 2666.000-2670.000=-4.000 | | max | 2666.000-2670.000=-4.000 |
| | mean | 0.421-0.422=-0.001 | | σ | 0.001-0.002=-0.000 | | min | 0.419-0.420=-0.001 | | max | 0.422-0.424=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.830-2268.839=-0.010 | | σ | 0.010-0.018=-0.008 | | min | 2268.815-2268.807=0.007 | | max | 2268.839-2268.854=-0.015 |
| | mean | 2666.000-2670.000=-4.000 | | σ | 0.000 | | min | 2666.000-2670.000=-4.000 | | max | 2666.000-2670.000=-4.000 |
| | mean | 3.543-3.555=-0.012 | | σ | 0.143-0.149=-0.006 | | min | 3.348-3.395=-0.047 | | max | 3.748-3.758=-0.011 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.794-4955.827=-0.033 | | σ | 1.011-1.091=-0.080 | | min | 4954.940-4954.487=0.452 | | max | 4957.477-4957.532=-0.055 |
| | mean | 2666.000-2670.000=-4.000 | | σ | 0.000 | | min | 2666.000-2670.000=-4.000 | | max | 2666.000-2670.000=-4.000 |
| | mean | 7.984-7.918=0.066 | | σ | 0.305-0.263=0.042 | | min | 7.548-7.678=-0.130 | | max | 8.387-8.300=0.087 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.767-5170.773=-0.007 | | σ | 0.084-0.087=-0.003 | | min | 5170.671-5170.679=-0.008 | | max | 5170.831-5170.856=-0.025 |
| | mean | 3447.600-3392.800=54.800 | | σ | 454.227-399.421=54.806 | | min | 2874.000-3002.000=-128.000 | | max | 4098.000-3800.000=298.000 |
| | mean | 9.285-9.247=0.037 | | σ | 0.304-0.257=0.047 | | min | 8.962-8.903=0.059 | | max | 9.758-9.493=0.266 |
|