iters=5 new-facts=1 prior-facts=1 | | mean | 326.522 | | σ | 0.013 | | min | 326.502 | | max | 326.534 |
| | mean | 2613.000 | | σ | 0.000 | | min | 2613.000 | | max | 2613.000 |
| | mean | 0.421 | | σ | 0.001 | | min | 0.419 | | max | 0.423 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.681 | | σ | 0.013 | | min | 1988.668 | | max | 1988.697 |
| | mean | 2613.000 | | σ | 0.000 | | min | 2613.000 | | max | 2613.000 |
| | mean | 2.673 | | σ | 0.084 | | min | 2.560 | | max | 2.773 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.415 | | σ | 7.817 | | min | 4809.489 | | max | 4827.391 |
| | mean | 2613.000 | | σ | 0.000 | | min | 2613.000 | | max | 2613.000 |
| | mean | 8.875 | | σ | 0.511 | | min | 8.409 | | max | 9.623 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.073 | | σ | 0.027 | | min | 5001.043 | | max | 5001.106 |
| | mean | 3018.800 | | σ | 291.726 | | min | 2613.000 | | max | 3394.000 |
| | mean | 9.660 | | σ | 0.287 | | min | 9.198 | | max | 9.924 |
|