iters=5 new-facts=1 prior-facts=1 | | mean | 324.011 | | σ | 0.060 | | min | 323.905 | | max | 324.043 |
| | mean | 2758.000 | | σ | 0.000 | | min | 2758.000 | | max | 2758.000 |
| | mean | 0.428 | | σ | 0.004 | | min | 0.426 | | max | 0.435 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.588 | | σ | 0.021 | | min | 1984.555 | | max | 1984.607 |
| | mean | 2758.000 | | σ | 0.000 | | min | 2758.000 | | max | 2758.000 |
| | mean | 2.643 | | σ | 0.148 | | min | 2.500 | | max | 2.865 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.054 | | σ | 7.563 | | min | 4804.099 | | max | 4821.570 |
| | mean | 2758.000 | | σ | 0.000 | | min | 2758.000 | | max | 2758.000 |
| | mean | 8.640 | | σ | 0.519 | | min | 7.871 | | max | 9.236 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.731 | | σ | 0.155 | | min | 4995.458 | | max | 4995.836 |
| | mean | 3035.000 | | σ | 219.256 | | min | 2758.000 | | max | 3326.000 |
| | mean | 8.649 | | σ | 0.154 | | min | 8.509 | | max | 8.851 |
|