iters=5 new-facts=1 prior-facts=1 | | mean | 278.692 | | σ | 0.014 | | min | 278.676 | | max | 278.708 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 0.419 | | σ | 0.001 | | min | 0.418 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.838 | | σ | 0.014 | | min | 2268.822 | | max | 2268.853 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 3.509 | | σ | 0.140 | | min | 3.381 | | max | 3.689 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.894 | | σ | 0.958 | | min | 4955.064 | | max | 4957.553 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 8.133 | | σ | 0.403 | | min | 7.833 | | max | 8.842 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4964.396 | | σ | 461.223 | | min | 4139.335 | | max | 5170.821 |
| | mean | 3375.200 | | σ | 452.866 | | min | 2748.000 | | max | 3949.000 |
| | mean | 9.003 | | σ | 0.916 | | min | 7.403 | | max | 9.672 |
|