iters=5 new-facts=1 prior-facts=1 | | mean | 303.010 | | σ | 0.019 | | min | 302.977 | | max | 303.028 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 0.402 | | σ | 0.009 | | min | 0.391 | | max | 0.413 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1304.296 | | σ | 0.102 | | min | 1304.118 | | max | 1304.365 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 2.027 | | σ | 0.249 | | min | 1.760 | | max | 2.428 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1724.608 | | σ | 6.932 | | min | 1721.282 | | max | 1737.001 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 3.116 | | σ | 0.399 | | min | 2.578 | | max | 3.539 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1987.317 | | σ | 0.066 | | min | 1987.214 | | max | 1987.395 |
| | mean | 1807.800 | | σ | 144.685 | | min | 1634.000 | | max | 2007.000 |
| | mean | 3.247 | | σ | 0.446 | | min | 2.910 | | max | 4.032 |
|