iters=5 new-facts=1 prior-facts=1 | | mean | 326.645 | | σ | 0.030 | | min | 326.591 | | max | 326.666 |
| | mean | 2613.000 | | σ | 0.000 | | min | 2613.000 | | max | 2613.000 |
| | mean | 0.424 | | σ | 0.005 | | min | 0.421 | | max | 0.432 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.806 | | σ | 0.007 | | min | 1988.794 | | max | 1988.812 |
| | mean | 2613.000 | | σ | 0.000 | | min | 2613.000 | | max | 2613.000 |
| | mean | 2.702 | | σ | 0.073 | | min | 2.646 | | max | 2.827 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.713 | | σ | 7.711 | | min | 4810.104 | | max | 4827.507 |
| | mean | 2613.000 | | σ | 0.000 | | min | 2613.000 | | max | 2613.000 |
| | mean | 8.230 | | σ | 0.656 | | min | 7.762 | | max | 9.317 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.199 | | σ | 0.024 | | min | 5001.173 | | max | 5001.223 |
| | mean | 2932.800 | | σ | 355.045 | | min | 2613.000 | | max | 3446.000 |
| | mean | 9.609 | | σ | 0.247 | | min | 9.308 | | max | 9.823 |
|