iters=5 new-facts=1 prior-facts=1 | | mean | 278.847 | | σ | 0.004 | | min | 278.840 | | max | 278.851 |
| | mean | 2739.000 | | σ | 0.000 | | min | 2739.000 | | max | 2739.000 |
| | mean | 0.410 | | σ | 0.006 | | min | 0.406 | | max | 0.417 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.899 | | σ | 0.017 | | min | 2268.881 | | max | 2268.919 |
| | mean | 2739.000 | | σ | 0.000 | | min | 2739.000 | | max | 2739.000 |
| | mean | 2.964 | | σ | 0.100 | | min | 2.903 | | max | 3.141 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.262 | | σ | 0.795 | | min | 4953.781 | | max | 4955.671 |
| | mean | 2739.000 | | σ | 0.000 | | min | 2739.000 | | max | 2739.000 |
| | mean | 7.952 | | σ | 0.090 | | min | 7.835 | | max | 8.086 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.817 | | σ | 0.082 | | min | 5168.746 | | max | 5168.906 |
| | mean | 3423.000 | | σ | 469.866 | | min | 2827.000 | | max | 4060.000 |
| | mean | 9.202 | | σ | 0.436 | | min | 8.496 | | max | 9.697 |
|