iters=5 new-facts=1 prior-facts=1 | | mean | 303.512 | | σ | 0.050 | | min | 303.435 | | max | 303.564 |
| | mean | 1627.000 | | σ | 0.000 | | min | 1627.000 | | max | 1627.000 |
| | mean | 0.390 | | σ | 0.001 | | min | 0.389 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.058 | | σ | 0.108 | | min | 1325.922 | | max | 1326.193 |
| | mean | 1627.000 | | σ | 0.000 | | min | 1627.000 | | max | 1627.000 |
| | mean | 1.933 | | σ | 0.097 | | min | 1.830 | | max | 2.047 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.101 | | σ | 6.892 | | min | 1560.788 | | max | 1576.424 |
| | mean | 1627.000 | | σ | 0.000 | | min | 1627.000 | | max | 1627.000 |
| | mean | 2.247 | | σ | 0.181 | | min | 2.062 | | max | 2.487 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.006 | | σ | 0.078 | | min | 1893.870 | | max | 1894.063 |
| | mean | 1792.000 | | σ | 185.104 | | min | 1627.000 | | max | 2050.000 |
| | mean | 3.073 | | σ | 0.128 | | min | 2.887 | | max | 3.221 |
|