iters=5 new-facts=1 prior-facts=1 | | mean | 321.041 | | σ | 0.059 | | min | 320.937 | | max | 321.080 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 0.426 | | σ | 0.006 | | min | 0.421 | | max | 0.433 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1981.621 | | σ | 0.010 | | min | 1981.610 | | max | 1981.632 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 2.594 | | σ | 0.091 | | min | 2.487 | | max | 2.703 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4805.140 | | σ | 7.844 | | min | 4801.105 | | max | 4819.161 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 8.954 | | σ | 0.239 | | min | 8.632 | | max | 9.134 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4992.746 | | σ | 0.143 | | min | 4992.493 | | max | 4992.851 |
| | mean | 3073.400 | | σ | 239.370 | | min | 2850.000 | | max | 3427.000 |
| | mean | 8.655 | | σ | 0.267 | | min | 8.419 | | max | 9.090 |
|