iters=5 new-facts=1 prior-facts=1 | | mean | 278.843 | | σ | 0.008 | | min | 278.830 | | max | 278.850 |
| | mean | 2690.000 | | σ | 0.000 | | min | 2690.000 | | max | 2690.000 |
| | mean | 0.415 | | σ | 0.008 | | min | 0.409 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.905 | | σ | 0.009 | | min | 2268.896 | | max | 2268.918 |
| | mean | 2690.000 | | σ | 0.000 | | min | 2690.000 | | max | 2690.000 |
| | mean | 2.972 | | σ | 0.160 | | min | 2.780 | | max | 3.176 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.258 | | σ | 0.884 | | min | 4953.783 | | max | 4955.837 |
| | mean | 2690.000 | | σ | 0.000 | | min | 2690.000 | | max | 2690.000 |
| | mean | 8.127 | | σ | 0.363 | | min | 7.742 | | max | 8.702 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.746 | | σ | 0.210 | | min | 5168.399 | | max | 5168.935 |
| | mean | 3506.200 | | σ | 494.156 | | min | 2858.000 | | max | 4187.000 |
| | mean | 9.585 | | σ | 0.305 | | min | 9.309 | | max | 10.084 |
|