iters=5 new-facts=1 prior-facts=1 | | mean | 325.314-324.763=0.550 | | σ | 0.052-0.054=-0.002 | | min | 325.221-324.667=0.554 | | max | 325.341-324.794=0.547 |
| | mean | 2690.000-2726.000=-36.000 | | σ | 0.000 | | min | 2690.000-2726.000=-36.000 | | max | 2690.000-2726.000=-36.000 |
| | mean | 0.427-0.428=-0.001 | | σ | 0.001-0.009=-0.007 | | min | 0.426-0.423=0.003 | | max | 0.429-0.443=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.878-1985.313=0.565 | | σ | 0.013-0.018=-0.005 | | min | 1985.854-1985.292=0.562 | | max | 1985.885-1985.332=0.553 |
| | mean | 2690.000-2726.000=-36.000 | | σ | 0.000 | | min | 2690.000-2726.000=-36.000 | | max | 2690.000-2726.000=-36.000 |
| | mean | 2.721-2.673=0.048 | | σ | 0.096-0.096=-0.000 | | min | 2.602-2.554=0.048 | | max | 2.848-2.750=0.098 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.634-4808.938=0.696 | | σ | 7.713-7.824=-0.111 | | min | 4806.170-4805.000=1.169 | | max | 4823.431-4822.917=0.514 |
| | mean | 2690.000-2726.000=-36.000 | | σ | 0.000 | | min | 2690.000-2726.000=-36.000 | | max | 2690.000-2726.000=-36.000 |
| | mean | 8.951-8.751=0.200 | | σ | 0.164-0.790=-0.626 | | min | 8.677-7.774=0.903 | | max | 9.088-9.361=-0.274 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.115-4996.628=0.487 | | σ | 0.172-0.024=0.148 | | min | 4996.810-4996.601=0.209 | | max | 4997.213-4996.656=0.557 |
| | mean | 2964.800-3020.800=-56.000 | | σ | 323.851-346.327=-22.476 | | min | 2690.000-2726.000=-36.000 | | max | 3443.000-3533.000=-90.000 |
| | mean | 8.525-8.528=-0.003 | | σ | 0.073-0.094=-0.022 | | min | 8.443-8.422=0.021 | | max | 8.625-8.668=-0.044 |
|