iters=5 new-facts=1 prior-facts=1 | | mean | 278.792 | | σ | 0.007 | | min | 278.785 | | max | 278.802 |
| | mean | 2732.000 | | σ | 0.000 | | min | 2732.000 | | max | 2732.000 |
| | mean | 0.411 | | σ | 0.006 | | min | 0.406 | | max | 0.419 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.856 | | σ | 0.009 | | min | 2268.849 | | max | 2268.871 |
| | mean | 2732.000 | | σ | 0.000 | | min | 2732.000 | | max | 2732.000 |
| | mean | 3.061 | | σ | 0.216 | | min | 2.853 | | max | 3.339 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.015 | | σ | 1.125 | | min | 4952.796 | | max | 4955.859 |
| | mean | 2732.000 | | σ | 0.000 | | min | 2732.000 | | max | 2732.000 |
| | mean | 8.009 | | σ | 0.383 | | min | 7.678 | | max | 8.666 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.801 | | σ | 0.095 | | min | 5168.697 | | max | 5168.913 |
| | mean | 3480.200 | | σ | 507.847 | | min | 2851.000 | | max | 4181.000 |
| | mean | 9.521 | | σ | 0.578 | | min | 9.112 | | max | 10.540 |
|