iters=5 new-facts=1 prior-facts=1 | | mean | 278.819 | | σ | 0.007 | | min | 278.810 | | max | 278.828 |
| | mean | 2690.000 | | σ | 0.000 | | min | 2690.000 | | max | 2690.000 |
| | mean | 0.409 | | σ | 0.003 | | min | 0.407 | | max | 0.415 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.878 | | σ | 0.018 | | min | 2268.856 | | max | 2268.903 |
| | mean | 2690.000 | | σ | 0.000 | | min | 2690.000 | | max | 2690.000 |
| | mean | 3.040 | | σ | 0.152 | | min | 2.856 | | max | 3.248 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.265 | | σ | 0.811 | | min | 4953.826 | | max | 4955.709 |
| | mean | 2690.000 | | σ | 0.000 | | min | 2690.000 | | max | 2690.000 |
| | mean | 7.890 | | σ | 0.294 | | min | 7.592 | | max | 8.343 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.790 | | σ | 0.078 | | min | 5168.726 | | max | 5168.878 |
| | mean | 3377.000 | | σ | 524.520 | | min | 2908.000 | | max | 4130.000 |
| | mean | 9.293 | | σ | 0.319 | | min | 8.769 | | max | 9.637 |
|