iters=5 new-facts=1 prior-facts=1 | | mean | 285.649 | | σ | 0.011 | | min | 285.636 | | max | 285.661 |
| | mean | 1642.000 | | σ | 0.000 | | min | 1642.000 | | max | 1642.000 |
| | mean | 0.375 | | σ | 0.001 | | min | 0.374 | | max | 0.375 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.639 | | σ | 0.131 | | min | 1285.573 | | max | 1285.874 |
| | mean | 1642.000 | | σ | 0.000 | | min | 1642.000 | | max | 1642.000 |
| | mean | 1.868 | | σ | 0.048 | | min | 1.814 | | max | 1.935 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.965 | | σ | 7.018 | | min | 1804.626 | | max | 1820.505 |
| | mean | 1642.000 | | σ | 0.000 | | min | 1642.000 | | max | 1642.000 |
| | mean | 4.206 | | σ | 0.297 | | min | 3.995 | | max | 4.710 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.464 | | σ | 0.008 | | min | 2070.453 | | max | 2070.476 |
| | mean | 1856.200 | | σ | 208.471 | | min | 1642.000 | | max | 2094.000 |
| | mean | 4.457 | | σ | 0.067 | | min | 4.398 | | max | 4.565 |
|