iters=5 new-facts=1 prior-facts=1 | | mean | 324.690 | | σ | 0.051 | | min | 324.599 | | max | 324.720 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 0.424 | | σ | 0.003 | | min | 0.421 | | max | 0.429 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.257 | | σ | 0.005 | | min | 1985.251 | | max | 1985.263 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 2.581 | | σ | 0.074 | | min | 2.494 | | max | 2.671 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.873 | | σ | 7.625 | | min | 4805.391 | | max | 4822.513 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 9.066 | | σ | 0.348 | | min | 8.518 | | max | 9.473 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.398 | | σ | 0.140 | | min | 4996.150 | | max | 4996.477 |
| | mean | 3051.600 | | σ | 191.680 | | min | 2843.000 | | max | 3330.000 |
| | mean | 8.661 | | σ | 0.192 | | min | 8.472 | | max | 8.889 |
|