iters=5 new-facts=1 prior-facts=1 | | mean | 297.290 | | σ | 0.013 | | min | 297.275 | | max | 297.307 |
| | mean | 1624.000 | | σ | 0.000 | | min | 1624.000 | | max | 1624.000 |
| | mean | 0.389 | | σ | 0.007 | | min | 0.381 | | max | 0.397 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1298.541 | | σ | 0.134 | | min | 1298.475 | | max | 1298.780 |
| | mean | 1624.000 | | σ | 0.000 | | min | 1624.000 | | max | 1624.000 |
| | mean | 1.936 | | σ | 0.064 | | min | 1.859 | | max | 2.003 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1820.759 | | σ | 7.032 | | min | 1817.366 | | max | 1833.323 |
| | mean | 1624.000 | | σ | 0.000 | | min | 1624.000 | | max | 1624.000 |
| | mean | 4.104 | | σ | 0.177 | | min | 3.840 | | max | 4.259 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2083.378 | | σ | 0.007 | | min | 2083.366 | | max | 2083.384 |
| | mean | 1849.600 | | σ | 200.131 | | min | 1624.000 | | max | 2080.000 |
| | mean | 4.605 | | σ | 0.160 | | min | 4.477 | | max | 4.859 |
|