iters=5 new-facts=1 prior-facts=1 | | mean | 272.756 | | σ | 0.007 | | min | 272.744 | | max | 272.764 |
| | mean | 2847.000 | | σ | 0.000 | | min | 2847.000 | | max | 2847.000 |
| | mean | 0.382 | | σ | 0.001 | | min | 0.380 | | max | 0.384 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.130 | | σ | 0.011 | | min | 1933.114 | | max | 1933.140 |
| | mean | 2847.000 | | σ | 0.000 | | min | 2847.000 | | max | 2847.000 |
| | mean | 3.025 | | σ | 0.211 | | min | 2.758 | | max | 3.350 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.876 | | σ | 0.911 | | min | 4753.388 | | max | 4755.501 |
| | mean | 2847.000 | | σ | 0.000 | | min | 2847.000 | | max | 2847.000 |
| | mean | 8.624 | | σ | 0.552 | | min | 7.796 | | max | 9.155 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.290 | | σ | 0.172 | | min | 4943.983 | | max | 4944.390 |
| | mean | 3019.600 | | σ | 237.901 | | min | 2847.000 | | max | 3396.000 |
| | mean | 8.438 | | σ | 0.119 | | min | 8.332 | | max | 8.614 |
|