iters=5 new-facts=1 prior-facts=1 | | mean | 271.956 | | σ | 0.005 | | min | 271.947 | | max | 271.961 |
| | mean | 2705.000 | | σ | 0.000 | | min | 2705.000 | | max | 2705.000 |
| | mean | 0.382 | | σ | 0.008 | | min | 0.377 | | max | 0.397 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.328 | | σ | 0.006 | | min | 1932.321 | | max | 1932.334 |
| | mean | 2705.000 | | σ | 0.000 | | min | 2705.000 | | max | 2705.000 |
| | mean | 2.990 | | σ | 0.158 | | min | 2.753 | | max | 3.164 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.987 | | σ | 0.976 | | min | 4752.142 | | max | 4754.666 |
| | mean | 2705.000 | | σ | 0.000 | | min | 2705.000 | | max | 2705.000 |
| | mean | 8.525 | | σ | 0.509 | | min | 7.735 | | max | 9.135 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.558 | | σ | 0.015 | | min | 4943.537 | | max | 4943.575 |
| | mean | 3010.800 | | σ | 253.556 | | min | 2705.000 | | max | 3332.000 |
| | mean | 8.622 | | σ | 0.206 | | min | 8.385 | | max | 8.945 |
|