iters=5 new-facts=1 prior-facts=1 | | mean | 324.722-324.709=0.013 | | σ | 0.019-0.042=-0.023 | | min | 324.692-324.635=0.058 | | max | 324.739-324.730=0.009 |
| | mean | 2772.000-2813.000=-41.000 | | σ | 0.000 | | min | 2772.000-2813.000=-41.000 | | max | 2772.000-2813.000=-41.000 |
| | mean | 0.424-0.425=-0.001 | | σ | 0.002-0.001=0.001 | | min | 0.421-0.424=-0.003 | | max | 0.426-0.426=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.258-1985.251=0.007 | | σ | 0.016-0.016=0.000 | | min | 1985.232-1985.231=0.001 | | max | 1985.272-1985.265=0.007 |
| | mean | 2772.000-2813.000=-41.000 | | σ | 0.000 | | min | 2772.000-2813.000=-41.000 | | max | 2772.000-2813.000=-41.000 |
| | mean | 2.632-2.605=0.027 | | σ | 0.103-0.086=0.017 | | min | 2.549-2.530=0.019 | | max | 2.767-2.750=0.018 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.774-4808.865=-0.091 | | σ | 7.747-7.692=0.055 | | min | 4804.816-4805.406=-0.590 | | max | 4822.622-4822.625=-0.003 |
| | mean | 2772.000-2813.000=-41.000 | | σ | 0.000 | | min | 2772.000-2813.000=-41.000 | | max | 2772.000-2813.000=-41.000 |
| | mean | 8.725-8.935=-0.210 | | σ | 0.401-0.126=0.275 | | min | 8.029-8.796=-0.768 | | max | 9.050-9.061=-0.011 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.461-4996.394=0.067 | | σ | 0.017-0.152=-0.135 | | min | 4996.443-4996.122=0.321 | | max | 4996.480-4996.478=0.002 |
| | mean | 3034.600-3033.600=1.000 | | σ | 232.878-215.324=17.555 | | min | 2772.000-2813.000=-41.000 | | max | 3372.000-3354.000=18.000 |
| | mean | 8.779-8.743=0.036 | | σ | 0.154-0.171=-0.017 | | min | 8.568-8.491=0.078 | | max | 8.939-8.930=0.008 |
|