iters=5 new-facts=1 prior-facts=1 | | mean | 321.041 | | σ | 0.057 | | min | 320.939 | | max | 321.070 |
| | mean | 2425.000 | | σ | 0.000 | | min | 2425.000 | | max | 2425.000 |
| | mean | 0.426 | | σ | 0.006 | | min | 0.420 | | max | 0.432 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1981.620 | | σ | 0.011 | | min | 1981.603 | | max | 1981.632 |
| | mean | 2425.000 | | σ | 0.000 | | min | 2425.000 | | max | 2425.000 |
| | mean | 2.582 | | σ | 0.082 | | min | 2.488 | | max | 2.666 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4805.277 | | σ | 7.842 | | min | 4801.719 | | max | 4819.306 |
| | mean | 2425.000 | | σ | 0.000 | | min | 2425.000 | | max | 2425.000 |
| | mean | 9.090 | | σ | 0.416 | | min | 8.739 | | max | 9.789 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4992.752 | | σ | 0.155 | | min | 4992.478 | | max | 4992.851 |
| | mean | 2999.400 | | σ | 281.552 | | min | 2614.000 | | max | 3317.000 |
| | mean | 8.613 | | σ | 0.126 | | min | 8.489 | | max | 8.773 |
|