iters=5 new-facts=1 prior-facts=1 | | mean | 272.756 | | σ | 0.010 | | min | 272.741 | | max | 272.764 |
| | mean | 2521.000 | | σ | 0.000 | | min | 2521.000 | | max | 2521.000 |
| | mean | 0.382 | | σ | 0.008 | | min | 0.377 | | max | 0.397 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.167 | | σ | 0.006 | | min | 1933.157 | | max | 1933.174 |
| | mean | 2521.000 | | σ | 0.000 | | min | 2521.000 | | max | 2521.000 |
| | mean | 3.056 | | σ | 0.077 | | min | 2.939 | | max | 3.128 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.989 | | σ | 7.631 | | min | 4753.381 | | max | 4770.638 |
| | mean | 2521.000 | | σ | 0.000 | | min | 2521.000 | | max | 2521.000 |
| | mean | 8.243 | | σ | 0.574 | | min | 7.782 | | max | 9.125 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.330 | | σ | 0.160 | | min | 4944.045 | | max | 4944.420 |
| | mean | 2951.000 | | σ | 368.212 | | min | 2521.000 | | max | 3453.000 |
| | mean | 8.616 | | σ | 0.195 | | min | 8.398 | | max | 8.875 |
|