iters=5 new-facts=1 prior-facts=1 | | mean | 326.565 | | σ | 0.059 | | min | 326.460 | | max | 326.594 |
| | mean | 2592.000 | | σ | 0.000 | | min | 2592.000 | | max | 2592.000 |
| | mean | 0.424 | | σ | 0.001 | | min | 0.423 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.743 | | σ | 0.007 | | min | 1988.736 | | max | 1988.753 |
| | mean | 2592.000 | | σ | 0.000 | | min | 2592.000 | | max | 2592.000 |
| | mean | 2.678 | | σ | 0.127 | | min | 2.524 | | max | 2.816 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.458 | | σ | 7.798 | | min | 4809.502 | | max | 4827.398 |
| | mean | 2592.000 | | σ | 0.000 | | min | 2592.000 | | max | 2592.000 |
| | mean | 8.853 | | σ | 0.242 | | min | 8.586 | | max | 9.167 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.997 | | σ | 0.190 | | min | 5000.786 | | max | 5001.175 |
| | mean | 3009.800 | | σ | 316.708 | | min | 2592.000 | | max | 3418.000 |
| | mean | 9.683 | | σ | 0.270 | | min | 9.383 | | max | 9.985 |
|