iters=5 new-facts=1 prior-facts=1 | | mean | 266.778 | | σ | 0.005 | | min | 266.771 | | max | 266.782 |
| | mean | 2475.000 | | σ | 0.000 | | min | 2475.000 | | max | 2475.000 |
| | mean | 0.365 | | σ | 0.003 | | min | 0.361 | | max | 0.370 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.212 | | σ | 0.010 | | min | 1927.202 | | max | 1927.223 |
| | mean | 2475.000 | | σ | 0.000 | | min | 2475.000 | | max | 2475.000 |
| | mean | 2.924 | | σ | 0.275 | | min | 2.460 | | max | 3.170 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.684 | | σ | 0.953 | | min | 4746.927 | | max | 4749.336 |
| | mean | 2475.000 | | σ | 0.000 | | min | 2475.000 | | max | 2475.000 |
| | mean | 8.213 | | σ | 0.441 | | min | 7.692 | | max | 8.907 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.196 | | σ | 0.087 | | min | 4938.094 | | max | 4938.279 |
| | mean | 2969.200 | | σ | 434.536 | | min | 2475.000 | | max | 3556.000 |
| | mean | 8.598 | | σ | 0.419 | | min | 8.299 | | max | 9.315 |
|