iters=5 new-facts=1 prior-facts=1 | | mean | 303.785 | | σ | 0.061 | | min | 303.688 | | max | 303.848 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 0.393 | | σ | 0.002 | | min | 0.391 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.340 | | σ | 0.111 | | min | 1326.207 | | max | 1326.471 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 1.889 | | σ | 0.066 | | min | 1.831 | | max | 1.975 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.374 | | σ | 6.917 | | min | 1561.024 | | max | 1576.741 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 2.217 | | σ | 0.194 | | min | 2.084 | | max | 2.554 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.266 | | σ | 0.069 | | min | 1894.151 | | max | 1894.316 |
| | mean | 1755.000 | | σ | 192.952 | | min | 1516.000 | | max | 1945.000 |
| | mean | 3.002 | | σ | 0.136 | | min | 2.868 | | max | 3.213 |
|