iters=5 new-facts=1 prior-facts=1 | | mean | 324.704-324.715=-0.011 | | σ | 0.029-0.035=-0.005 | | min | 324.653-324.654=-0.001 | | max | 324.726-324.736=-0.010 |
| | mean | 2824.000-2845.000=-21.000 | | σ | 0.000 | | min | 2824.000-2845.000=-21.000 | | max | 2824.000-2845.000=-21.000 |
| | mean | 0.423-0.425=-0.002 | | σ | 0.001-0.002=-0.000 | | min | 0.421-0.423=-0.002 | | max | 0.425-0.427=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.246-1985.264=-0.017 | | σ | 0.014-0.014=0.000 | | min | 1985.227-1985.247=-0.020 | | max | 1985.258-1985.277=-0.019 |
| | mean | 2824.000-2845.000=-21.000 | | σ | 0.000 | | min | 2824.000-2845.000=-21.000 | | max | 2824.000-2845.000=-21.000 |
| | mean | 2.657-2.600=0.057 | | σ | 0.097-0.080=0.017 | | min | 2.548-2.533=0.015 | | max | 2.785-2.737=0.048 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.865-4808.763=0.101 | | σ | 7.688-7.786=-0.098 | | min | 4805.341-4804.829=0.511 | | max | 4822.617-4822.683=-0.066 |
| | mean | 2824.000-2845.000=-21.000 | | σ | 0.000 | | min | 2824.000-2845.000=-21.000 | | max | 2824.000-2845.000=-21.000 |
| | mean | 8.880-8.671=0.209 | | σ | 0.245-0.571=-0.326 | | min | 8.467-7.801=0.666 | | max | 9.116-9.223=-0.106 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.392-4996.460=-0.069 | | σ | 0.138-0.017=0.121 | | min | 4996.145-4996.442=-0.297 | | max | 4996.464-4996.484=-0.021 |
| | mean | 3055.600-3067.000=-11.400 | | σ | 302.639-296.500=6.139 | | min | 2824.000-2845.000=-21.000 | | max | 3523.000-3525.000=-2.000 |
| | mean | 8.446-8.568=-0.122 | | σ | 0.158-0.138=0.020 | | min | 8.277-8.454=-0.177 | | max | 8.694-8.754=-0.060 |
|