iters=5 new-facts=1 prior-facts=1 | | mean | 303.793 | | σ | 0.049 | | min | 303.722 | | max | 303.846 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 0.395 | | σ | 0.007 | | min | 0.391 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.332 | | σ | 0.112 | | min | 1326.196 | | max | 1326.474 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 1.914 | | σ | 0.093 | | min | 1.846 | | max | 2.065 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.380 | | σ | 6.930 | | min | 1561.044 | | max | 1576.772 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 2.262 | | σ | 0.259 | | min | 2.105 | | max | 2.718 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.287 | | σ | 0.070 | | min | 1894.163 | | max | 1894.323 |
| | mean | 1762.600 | | σ | 172.503 | | min | 1631.000 | | max | 2033.000 |
| | mean | 2.944 | | σ | 0.198 | | min | 2.713 | | max | 3.234 |
|