iters=5 new-facts=1 prior-facts=1 | | mean | 278.699 | | σ | 0.014 | | min | 278.686 | | max | 278.722 |
| | mean | 2635.000 | | σ | 0.000 | | min | 2635.000 | | max | 2635.000 |
| | mean | 0.419 | | σ | 0.001 | | min | 0.418 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.875 | | σ | 0.006 | | min | 2268.864 | | max | 2268.880 |
| | mean | 2635.000 | | σ | 0.000 | | min | 2635.000 | | max | 2635.000 |
| | mean | 2.889 | | σ | 0.061 | | min | 2.803 | | max | 2.973 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.213 | | σ | 0.784 | | min | 4951.833 | | max | 4953.615 |
| | mean | 2635.000 | | σ | 0.000 | | min | 2635.000 | | max | 2635.000 |
| | mean | 7.825 | | σ | 0.134 | | min | 7.678 | | max | 7.968 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.915 | | σ | 0.011 | | min | 5166.906 | | max | 5166.933 |
| | mean | 3354.400 | | σ | 436.874 | | min | 2768.000 | | max | 3922.000 |
| | mean | 9.144 | | σ | 0.362 | | min | 8.841 | | max | 9.614 |
|