iters=5 new-facts=1 prior-facts=1 | | mean | 271.643 | | σ | 0.004 | | min | 271.639 | | max | 271.648 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 0.384 | | σ | 0.009 | | min | 0.377 | | max | 0.397 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.112 | | σ | 0.007 | | min | 1932.100 | | max | 1932.117 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 2.573 | | σ | 0.195 | | min | 2.429 | | max | 2.913 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.642 | | σ | 0.770 | | min | 4752.244 | | max | 4754.017 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 8.080 | | σ | 0.272 | | min | 7.719 | | max | 8.397 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.041 | | σ | 0.080 | | min | 4942.961 | | max | 4943.128 |
| | mean | 3055.000 | | σ | 266.493 | | min | 2849.000 | | max | 3462.000 |
| | mean | 8.414 | | σ | 0.104 | | min | 8.345 | | max | 8.588 |
|