iters=5 new-facts=1 prior-facts=1 | | mean | 285.393 | | σ | 0.015 | | min | 285.371 | | max | 285.408 |
| | mean | 1641.000 | | σ | 0.000 | | min | 1641.000 | | max | 1641.000 |
| | mean | 0.379 | | σ | 0.008 | | min | 0.374 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.355 | | σ | 0.131 | | min | 1285.293 | | max | 1285.588 |
| | mean | 1641.000 | | σ | 0.000 | | min | 1641.000 | | max | 1641.000 |
| | mean | 1.889 | | σ | 0.055 | | min | 1.814 | | max | 1.941 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.691 | | σ | 7.012 | | min | 1804.335 | | max | 1820.219 |
| | mean | 1641.000 | | σ | 0.000 | | min | 1641.000 | | max | 1641.000 |
| | mean | 4.211 | | σ | 0.217 | | min | 3.862 | | max | 4.463 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.177 | | σ | 0.011 | | min | 2070.164 | | max | 2070.192 |
| | mean | 1846.400 | | σ | 190.689 | | min | 1641.000 | | max | 2089.000 |
| | mean | 4.486 | | σ | 0.024 | | min | 4.460 | | max | 4.519 |
|