iters=5 new-facts=1 prior-facts=1 | | mean | 286.791 | | σ | 0.002 | | min | 286.789 | | max | 286.794 |
| | mean | 1619.000 | | σ | 0.000 | | min | 1619.000 | | max | 1619.000 |
| | mean | 0.367 | | σ | 0.001 | | min | 0.366 | | max | 0.368 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1286.879 | | σ | 0.017 | | min | 1286.857 | | max | 1286.899 |
| | mean | 1619.000 | | σ | 0.000 | | min | 1619.000 | | max | 1619.000 |
| | mean | 1.884 | | σ | 0.109 | | min | 1.818 | | max | 2.076 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4110.247 | | σ | 7.415 | | min | 4106.917 | | max | 4123.511 |
| | mean | 1619.000 | | σ | 0.000 | | min | 1619.000 | | max | 1619.000 |
| | mean | 7.293 | | σ | 0.351 | | min | 6.842 | | max | 7.707 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4100.135 | | σ | 0.033 | | min | 4100.110 | | max | 4100.193 |
| | mean | 1806.200 | | σ | 161.838 | | min | 1619.000 | | max | 2034.000 |
| | mean | 7.789 | | σ | 0.350 | | min | 7.290 | | max | 8.224 |
|