iters=5 new-facts=1 prior-facts=1 | | mean | 285.034 | | σ | 0.034 | | min | 284.988 | | max | 285.071 |
| | mean | 1503.000 | | σ | 0.000 | | min | 1503.000 | | max | 1503.000 |
| | mean | 0.393 | | σ | 0.007 | | min | 0.385 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.421 | | σ | 0.111 | | min | 1295.287 | | max | 1295.531 |
| | mean | 1503.000 | | σ | 0.000 | | min | 1503.000 | | max | 1503.000 |
| | mean | 1.986 | | σ | 0.105 | | min | 1.885 | | max | 2.156 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.512 | | σ | 6.854 | | min | 1536.213 | | max | 1551.768 |
| | mean | 1503.000 | | σ | 0.000 | | min | 1503.000 | | max | 1503.000 |
| | mean | 2.233 | | σ | 0.213 | | min | 2.057 | | max | 2.582 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.325 | | σ | 0.066 | | min | 1857.261 | | max | 1857.416 |
| | mean | 1748.800 | | σ | 158.823 | | min | 1509.000 | | max | 1945.000 |
| | mean | 2.863 | | σ | 0.153 | | min | 2.636 | | max | 3.059 |
|