iters=5 new-facts=1 prior-facts=1 | | mean | 303.792 | | σ | 0.047 | | min | 303.725 | | max | 303.842 |
| | mean | 1509.000 | | σ | 0.000 | | min | 1509.000 | | max | 1509.000 |
| | mean | 0.391 | | σ | 0.001 | | min | 0.389 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.338 | | σ | 0.114 | | min | 1326.195 | | max | 1326.484 |
| | mean | 1509.000 | | σ | 0.000 | | min | 1509.000 | | max | 1509.000 |
| | mean | 1.932 | | σ | 0.094 | | min | 1.831 | | max | 2.016 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.413 | | σ | 6.865 | | min | 1561.114 | | max | 1576.688 |
| | mean | 1509.000 | | σ | 0.000 | | min | 1509.000 | | max | 1509.000 |
| | mean | 2.380 | | σ | 0.200 | | min | 2.066 | | max | 2.580 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.290 | | σ | 0.072 | | min | 1894.165 | | max | 1894.342 |
| | mean | 1755.600 | | σ | 213.652 | | min | 1509.000 | | max | 2031.000 |
| | mean | 3.053 | | σ | 0.157 | | min | 2.816 | | max | 3.210 |
|