iters=5 new-facts=1 prior-facts=1 | | mean | 324.588-324.571=0.018 | | σ | 0.032-0.037=-0.005 | | min | 324.532-324.509=0.023 | | max | 324.605-324.598=0.007 |
| | mean | 2726.000-2838.000=-112.000 | | σ | 0.000 | | min | 2726.000-2838.000=-112.000 | | max | 2726.000-2838.000=-112.000 |
| | mean | 0.426-0.431=-0.006 | | σ | 0.009-0.006=0.003 | | min | 0.420-0.422=-0.003 | | max | 0.441-0.439=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.151-1985.139=0.012 | | σ | 0.008-0.014=-0.007 | | min | 1985.140-1985.114=0.026 | | max | 1985.161-1985.150=0.011 |
| | mean | 2726.000-2838.000=-112.000 | | σ | 0.000 | | min | 2726.000-2838.000=-112.000 | | max | 2726.000-2838.000=-112.000 |
| | mean | 2.556-2.638=-0.082 | | σ | 0.036-0.089=-0.053 | | min | 2.529-2.572=-0.043 | | max | 2.617-2.741=-0.124 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.649-4808.787=-0.139 | | σ | 7.682-7.625=0.057 | | min | 4804.820-4805.233=-0.413 | | max | 4822.384-4822.425=-0.042 |
| | mean | 2726.000-2838.000=-112.000 | | σ | 0.000 | | min | 2726.000-2838.000=-112.000 | | max | 2726.000-2838.000=-112.000 |
| | mean | 8.463-8.720=-0.256 | | σ | 0.435-0.591=-0.156 | | min | 8.039-7.748=0.291 | | max | 9.024-9.178=-0.154 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.346-4996.343=0.004 | | σ | 0.021-0.016=0.006 | | min | 4996.324-4996.324=0.001 | | max | 4996.375-4996.361=0.013 |
| | mean | 3019.400-3061.400=-42.000 | | σ | 218.833-297.721=-78.888 | | min | 2726.000-2838.000=-112.000 | | max | 3306.000-3524.000=-218.000 |
| | mean | 8.685-8.518=0.167 | | σ | 0.146-0.145=0.001 | | min | 8.543-8.416=0.127 | | max | 8.886-8.772=0.114 |
|