iters=5 new-facts=1 prior-facts=1 | | mean | 269.911 | | σ | 0.009 | | min | 269.901 | | max | 269.920 |
| | mean | 2845.000 | | σ | 0.000 | | min | 2845.000 | | max | 2845.000 |
| | mean | 0.384 | | σ | 0.003 | | min | 0.382 | | max | 0.390 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.400 | | σ | 0.008 | | min | 1930.390 | | max | 1930.413 |
| | mean | 2845.000 | | σ | 0.000 | | min | 2845.000 | | max | 2845.000 |
| | mean | 2.508 | | σ | 0.060 | | min | 2.454 | | max | 2.603 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.909 | | σ | 0.823 | | min | 4750.415 | | max | 4752.371 |
| | mean | 2845.000 | | σ | 0.000 | | min | 2845.000 | | max | 2845.000 |
| | mean | 8.442 | | σ | 0.685 | | min | 7.715 | | max | 9.357 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.333 | | σ | 0.087 | | min | 4941.264 | | max | 4941.437 |
| | mean | 3040.200 | | σ | 199.547 | | min | 2845.000 | | max | 3317.000 |
| | mean | 8.637 | | σ | 0.203 | | min | 8.483 | | max | 8.906 |
|