iters=5 new-facts=1 prior-facts=1 | | mean | 270.119 | | σ | 0.004 | | min | 270.114 | | max | 270.124 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 0.380 | | σ | 0.001 | | min | 0.378 | | max | 0.381 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.566 | | σ | 0.064 | | min | 1930.455 | | max | 1930.613 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 2.590 | | σ | 0.128 | | min | 2.477 | | max | 2.788 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.185 | | σ | 1.033 | | min | 4750.208 | | max | 4752.943 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 8.701 | | σ | 0.559 | | min | 7.968 | | max | 9.424 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.694 | | σ | 0.170 | | min | 4941.391 | | max | 4941.784 |
| | mean | 2987.400 | | σ | 216.504 | | min | 2850.000 | | max | 3345.000 |
| | mean | 8.395 | | σ | 0.022 | | min | 8.365 | | max | 8.417 |
|