iters=5 new-facts=1 prior-facts=1 | | mean | 271.752 | | σ | 0.007 | | min | 271.746 | | max | 271.765 |
| | mean | 2804.000 | | σ | 0.000 | | min | 2804.000 | | max | 2804.000 |
| | mean | 0.382 | | σ | 0.006 | | min | 0.377 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.164 | | σ | 0.021 | | min | 1932.136 | | max | 1932.190 |
| | mean | 2804.000 | | σ | 0.000 | | min | 2804.000 | | max | 2804.000 |
| | mean | 2.817 | | σ | 0.295 | | min | 2.453 | | max | 3.120 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.882 | | σ | 0.916 | | min | 4752.426 | | max | 4754.517 |
| | mean | 2804.000 | | σ | 0.000 | | min | 2804.000 | | max | 2804.000 |
| | mean | 8.755 | | σ | 0.171 | | min | 8.541 | | max | 8.925 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.298 | | σ | 0.170 | | min | 4942.994 | | max | 4943.381 |
| | mean | 3012.400 | | σ | 276.545 | | min | 2804.000 | | max | 3447.000 |
| | mean | 8.613 | | σ | 0.354 | | min | 8.413 | | max | 9.244 |
|