iters=5 new-facts=1 prior-facts=1 | | mean | 278.821 | | σ | 0.009 | | min | 278.808 | | max | 278.828 |
| | mean | 2726.000 | | σ | 0.000 | | min | 2726.000 | | max | 2726.000 |
| | mean | 0.407 | | σ | 0.004 | | min | 0.405 | | max | 0.414 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.882 | | σ | 0.011 | | min | 2268.868 | | max | 2268.892 |
| | mean | 2726.000 | | σ | 0.000 | | min | 2726.000 | | max | 2726.000 |
| | mean | 2.899 | | σ | 0.123 | | min | 2.775 | | max | 3.106 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.230 | | σ | 0.796 | | min | 4953.730 | | max | 4955.636 |
| | mean | 2726.000 | | σ | 0.000 | | min | 2726.000 | | max | 2726.000 |
| | mean | 8.011 | | σ | 0.233 | | min | 7.769 | | max | 8.285 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.659 | | σ | 0.275 | | min | 5168.179 | | max | 5168.885 |
| | mean | 3391.000 | | σ | 492.335 | | min | 2801.000 | | max | 4067.000 |
| | mean | 9.407 | | σ | 0.238 | | min | 9.115 | | max | 9.717 |
|