iters=5 new-facts=1 prior-facts=1 | | mean | 278.672 | | σ | 0.013 | | min | 278.661 | | max | 278.693 |
| | mean | 2610.000 | | σ | 0.000 | | min | 2610.000 | | max | 2610.000 |
| | mean | 0.417 | | σ | 0.001 | | min | 0.415 | | max | 0.418 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.844 | | σ | 0.007 | | min | 2268.834 | | max | 2268.851 |
| | mean | 2610.000 | | σ | 0.000 | | min | 2610.000 | | max | 2610.000 |
| | mean | 2.931 | | σ | 0.036 | | min | 2.902 | | max | 2.990 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.318 | | σ | 0.887 | | min | 4951.823 | | max | 4953.900 |
| | mean | 2610.000 | | σ | 0.000 | | min | 2610.000 | | max | 2610.000 |
| | mean | 8.110 | | σ | 0.318 | | min | 7.672 | | max | 8.551 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.987 | | σ | 0.165 | | min | 5166.694 | | max | 5167.092 |
| | mean | 3357.200 | | σ | 428.074 | | min | 2764.000 | | max | 3913.000 |
| | mean | 9.470 | | σ | 0.300 | | min | 9.073 | | max | 9.876 |
|