iters=5 new-facts=1 prior-facts=1 | | mean | 326.443 | | σ | 0.055 | | min | 326.346 | | max | 326.473 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 0.428 | | σ | 0.006 | | min | 0.423 | | max | 0.437 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.613 | | σ | 0.012 | | min | 1988.593 | | max | 1988.624 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 2.707 | | σ | 0.139 | | min | 2.597 | | max | 2.947 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.457 | | σ | 7.740 | | min | 4809.944 | | max | 4827.302 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 8.887 | | σ | 0.328 | | min | 8.414 | | max | 9.174 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.873 | | σ | 0.190 | | min | 5000.636 | | max | 5001.022 |
| | mean | 3054.000 | | σ | 192.395 | | min | 2828.000 | | max | 3322.000 |
| | mean | 9.743 | | σ | 0.248 | | min | 9.318 | | max | 9.962 |
|