iters=5 new-facts=1 prior-facts=1 | | mean | 271.599 | | σ | 0.005 | | min | 271.592 | | max | 271.605 |
| | mean | 2476.000 | | σ | 0.000 | | min | 2476.000 | | max | 2476.000 |
| | mean | 0.386 | | σ | 0.008 | | min | 0.380 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.989 | | σ | 0.018 | | min | 1931.968 | | max | 1932.006 |
| | mean | 2476.000 | | σ | 0.000 | | min | 2476.000 | | max | 2476.000 |
| | mean | 2.617 | | σ | 0.277 | | min | 2.456 | | max | 3.112 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.649 | | σ | 0.639 | | min | 4752.214 | | max | 4753.769 |
| | mean | 2476.000 | | σ | 0.000 | | min | 2476.000 | | max | 2476.000 |
| | mean | 8.366 | | σ | 0.570 | | min | 7.608 | | max | 8.951 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.200 | | σ | 0.020 | | min | 4943.175 | | max | 4943.222 |
| | mean | 2966.600 | | σ | 267.716 | | min | 2621.000 | | max | 3320.000 |
| | mean | 8.538 | | σ | 0.100 | | min | 8.461 | | max | 8.705 |
|