iters=5 new-facts=1 prior-facts=1 | | mean | 278.692 | | σ | 0.013 | | min | 278.677 | | max | 278.707 |
| | mean | 2689.000 | | σ | 0.000 | | min | 2689.000 | | max | 2689.000 |
| | mean | 0.421 | | σ | 0.000 | | min | 0.421 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.842 | | σ | 0.020 | | min | 2268.822 | | max | 2268.870 |
| | mean | 2689.000 | | σ | 0.000 | | min | 2689.000 | | max | 2689.000 |
| | mean | 3.393 | | σ | 0.347 | | min | 2.828 | | max | 3.781 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4956.045 | | σ | 0.852 | | min | 4955.643 | | max | 4957.569 |
| | mean | 2689.000 | | σ | 0.000 | | min | 2689.000 | | max | 2689.000 |
| | mean | 8.010 | | σ | 0.215 | | min | 7.802 | | max | 8.275 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.763 | | σ | 0.082 | | min | 5170.674 | | max | 5170.832 |
| | mean | 3467.800 | | σ | 469.483 | | min | 2806.000 | | max | 4018.000 |
| | mean | 9.404 | | σ | 0.312 | | min | 9.103 | | max | 9.810 |
|