iters=5 new-facts=1 prior-facts=1 | | mean | 272.754 | | σ | 0.005 | | min | 272.748 | | max | 272.759 |
| | mean | 2439.000 | | σ | 0.000 | | min | 2439.000 | | max | 2439.000 |
| | mean | 0.379 | | σ | 0.001 | | min | 0.379 | | max | 0.380 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.167 | | σ | 0.022 | | min | 1933.131 | | max | 1933.186 |
| | mean | 2439.000 | | σ | 0.000 | | min | 2439.000 | | max | 2439.000 |
| | mean | 2.988 | | σ | 0.162 | | min | 2.804 | | max | 3.147 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.919 | | σ | 7.581 | | min | 4753.470 | | max | 4770.480 |
| | mean | 2439.000 | | σ | 0.000 | | min | 2439.000 | | max | 2439.000 |
| | mean | 8.577 | | σ | 0.258 | | min | 8.317 | | max | 8.958 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.322 | | σ | 0.165 | | min | 4944.028 | | max | 4944.410 |
| | mean | 2906.800 | | σ | 389.707 | | min | 2439.000 | | max | 3432.000 |
| | mean | 8.394 | | σ | 0.040 | | min | 8.354 | | max | 8.452 |
|