iters=5 new-facts=1 prior-facts=1 | | mean | 270.126 | | σ | 0.005 | | min | 270.120 | | max | 270.132 |
| | mean | 2800.000 | | σ | 0.000 | | min | 2800.000 | | max | 2800.000 |
| | mean | 0.372 | | σ | 0.001 | | min | 0.371 | | max | 0.373 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.588 | | σ | 0.007 | | min | 1930.581 | | max | 1930.596 |
| | mean | 2800.000 | | σ | 0.000 | | min | 2800.000 | | max | 2800.000 |
| | mean | 2.519 | | σ | 0.088 | | min | 2.438 | | max | 2.651 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.972 | | σ | 0.985 | | min | 4750.345 | | max | 4752.722 |
| | mean | 2800.000 | | σ | 0.000 | | min | 2800.000 | | max | 2800.000 |
| | mean | 8.501 | | σ | 0.615 | | min | 7.602 | | max | 9.099 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.492 | | σ | 0.212 | | min | 4941.130 | | max | 4941.634 |
| | mean | 3024.600 | | σ | 221.344 | | min | 2800.000 | | max | 3319.000 |
| | mean | 8.529 | | σ | 0.218 | | min | 8.335 | | max | 8.804 |
|