iters=5 new-facts=1 prior-facts=1 | | mean | 324.722-324.689=0.033 | | σ | 0.019-0.051=-0.033 | | min | 324.692-324.598=0.094 | | max | 324.739-324.725=0.014 |
| | mean | 2772.000-2845.000=-73.000 | | σ | 0.000 | | min | 2772.000-2845.000=-73.000 | | max | 2772.000-2845.000=-73.000 |
| | mean | 0.424-0.427=-0.004 | | σ | 0.002-0.008=-0.006 | | min | 0.421-0.423=-0.002 | | max | 0.426-0.441=-0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.258-1985.267=-0.009 | | σ | 0.016-0.014=0.002 | | min | 1985.232-1985.248=-0.017 | | max | 1985.272-1985.282=-0.010 |
| | mean | 2772.000-2845.000=-73.000 | | σ | 0.000 | | min | 2772.000-2845.000=-73.000 | | max | 2772.000-2845.000=-73.000 |
| | mean | 2.632-2.648=-0.016 | | σ | 0.103-0.127=-0.025 | | min | 2.549-2.568=-0.019 | | max | 2.767-2.868=-0.101 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.774-4808.521=0.253 | | σ | 7.747-7.236=0.512 | | min | 4804.816-4804.818=-0.001 | | max | 4822.622-4821.455=1.167 |
| | mean | 2772.000-2845.000=-73.000 | | σ | 0.000 | | min | 2772.000-2845.000=-73.000 | | max | 2772.000-2845.000=-73.000 |
| | mean | 8.725-8.711=0.014 | | σ | 0.401-0.375=0.026 | | min | 8.029-8.065=-0.037 | | max | 9.050-8.992=0.058 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.461-4996.467=-0.006 | | σ | 0.017-0.026=-0.009 | | min | 4996.443-4996.426=0.017 | | max | 4996.480-4996.496=-0.016 |
| | mean | 3034.600-3048.200=-13.600 | | σ | 232.878-277.677=-44.799 | | min | 2772.000-2845.000=-73.000 | | max | 3372.000-3487.000=-115.000 |
| | mean | 8.779-8.576=0.203 | | σ | 0.154-0.154=0.000 | | min | 8.568-8.427=0.141 | | max | 8.939-8.797=0.142 |
|