iters=5 new-facts=1 prior-facts=1 | | mean | 272.755 | | σ | 0.003 | | min | 272.752 | | max | 272.760 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 0.387 | | σ | 0.009 | | min | 0.380 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.161 | | σ | 0.016 | | min | 1933.143 | | max | 1933.179 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 2.955 | | σ | 0.122 | | min | 2.738 | | max | 3.028 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.908 | | σ | 7.654 | | min | 4753.365 | | max | 4770.599 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 8.843 | | σ | 0.405 | | min | 8.372 | | max | 9.355 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.393 | | σ | 0.013 | | min | 4944.378 | | max | 4944.409 |
| | mean | 3030.400 | | σ | 320.196 | | min | 2774.000 | | max | 3520.000 |
| | mean | 8.539 | | σ | 0.255 | | min | 8.323 | | max | 8.857 |
|