iters=5 new-facts=1 prior-facts=1 | | mean | 297.582 | | σ | 0.014 | | min | 297.566 | | max | 297.602 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 0.392 | | σ | 0.002 | | min | 0.390 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1320.556 | | σ | 0.065 | | min | 1320.441 | | max | 1320.593 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 2.094 | | σ | 0.042 | | min | 2.047 | | max | 2.162 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1740.709 | | σ | 6.909 | | min | 1737.498 | | max | 1753.064 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 3.063 | | σ | 0.280 | | min | 2.681 | | max | 3.433 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2003.470 | | σ | 0.024 | | min | 2003.440 | | max | 2003.506 |
| | mean | 1862.600 | | σ | 194.055 | | min | 1629.000 | | max | 2103.000 |
| | mean | 3.378 | | σ | 0.141 | | min | 3.221 | | max | 3.556 |
|