iters=5 new-facts=1 prior-facts=1 | | mean | 303.787 | | σ | 0.051 | | min | 303.720 | | max | 303.845 |
| | mean | 1518.000 | | σ | 0.000 | | min | 1518.000 | | max | 1518.000 |
| | mean | 0.391 | | σ | 0.001 | | min | 0.390 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.323 | | σ | 0.099 | | min | 1326.193 | | max | 1326.451 |
| | mean | 1518.000 | | σ | 0.000 | | min | 1518.000 | | max | 1518.000 |
| | mean | 1.929 | | σ | 0.078 | | min | 1.851 | | max | 2.034 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.435 | | σ | 6.871 | | min | 1561.187 | | max | 1576.722 |
| | mean | 1518.000 | | σ | 0.000 | | min | 1518.000 | | max | 1518.000 |
| | mean | 2.381 | | σ | 0.219 | | min | 2.085 | | max | 2.613 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.280 | | σ | 0.069 | | min | 1894.158 | | max | 1894.321 |
| | mean | 1753.800 | | σ | 191.900 | | min | 1518.000 | | max | 1943.000 |
| | mean | 3.053 | | σ | 0.122 | | min | 2.890 | | max | 3.219 |
|