iters=5 new-facts=1 prior-facts=1 | | mean | 326.508 | | σ | 0.050 | | min | 326.418 | | max | 326.536 |
| | mean | 2829.000 | | σ | 0.000 | | min | 2829.000 | | max | 2829.000 |
| | mean | 0.430 | | σ | 0.009 | | min | 0.424 | | max | 0.446 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.674 | | σ | 0.004 | | min | 1988.669 | | max | 1988.678 |
| | mean | 2829.000 | | σ | 0.000 | | min | 2829.000 | | max | 2829.000 |
| | mean | 2.726 | | σ | 0.164 | | min | 2.592 | | max | 3.012 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.531 | | σ | 7.775 | | min | 4810.010 | | max | 4827.440 |
| | mean | 2829.000 | | σ | 0.000 | | min | 2829.000 | | max | 2829.000 |
| | mean | 8.898 | | σ | 0.406 | | min | 8.331 | | max | 9.388 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.010 | | σ | 0.166 | | min | 5000.720 | | max | 5001.145 |
| | mean | 3056.200 | | σ | 192.289 | | min | 2829.000 | | max | 3323.000 |
| | mean | 9.913 | | σ | 0.348 | | min | 9.496 | | max | 10.442 |
|