iters=5 new-facts=1 prior-facts=1 | | mean | 273.403 | | σ | 0.008 | | min | 273.395 | | max | 273.414 |
| | mean | 2513.000 | | σ | 0.000 | | min | 2513.000 | | max | 2513.000 |
| | mean | 0.387 | | σ | 0.007 | | min | 0.379 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.839 | | σ | 0.006 | | min | 1933.831 | | max | 1933.845 |
| | mean | 2513.000 | | σ | 0.000 | | min | 2513.000 | | max | 2513.000 |
| | mean | 3.083 | | σ | 0.159 | | min | 2.892 | | max | 3.297 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.232 | | σ | 0.623 | | min | 4753.767 | | max | 4755.328 |
| | mean | 2513.000 | | σ | 0.000 | | min | 2513.000 | | max | 2513.000 |
| | mean | 8.560 | | σ | 0.503 | | min | 7.786 | | max | 9.020 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.798 | | σ | 0.082 | | min | 4944.729 | | max | 4944.899 |
| | mean | 2968.200 | | σ | 339.393 | | min | 2528.000 | | max | 3293.000 |
| | mean | 8.729 | | σ | 0.218 | | min | 8.526 | | max | 9.045 |
|