iters=5 new-facts=1 prior-facts=1 | | mean | 270.609 | | σ | 0.005 | | min | 270.602 | | max | 270.613 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 0.380 | | σ | 0.006 | | min | 0.376 | | max | 0.390 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.053 | | σ | 0.021 | | min | 1931.030 | | max | 1931.083 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 2.876 | | σ | 0.336 | | min | 2.462 | | max | 3.200 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.723 | | σ | 0.900 | | min | 4751.300 | | max | 4753.333 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 8.763 | | σ | 0.168 | | min | 8.524 | | max | 8.930 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.157 | | σ | 0.167 | | min | 4941.861 | | max | 4942.256 |
| | mean | 3042.800 | | σ | 257.083 | | min | 2774.000 | | max | 3405.000 |
| | mean | 8.593 | | σ | 0.203 | | min | 8.400 | | max | 8.896 |
|