iters=5 new-facts=1 prior-facts=1 | | mean | 285.410 | | σ | 0.010 | | min | 285.393 | | max | 285.419 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 0.379 | | σ | 0.006 | | min | 0.375 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.377 | | σ | 0.130 | | min | 1285.312 | | max | 1285.609 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 1.916 | | σ | 0.068 | | min | 1.858 | | max | 2.017 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.686 | | σ | 7.028 | | min | 1804.319 | | max | 1820.244 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 4.091 | | σ | 0.217 | | min | 3.878 | | max | 4.434 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.195 | | σ | 0.010 | | min | 2070.184 | | max | 2070.212 |
| | mean | 1844.400 | | σ | 190.071 | | min | 1639.000 | | max | 2087.000 |
| | mean | 4.493 | | σ | 0.046 | | min | 4.442 | | max | 4.550 |
|