iters=5 new-facts=1 prior-facts=1 | | mean | 270.145 | | σ | 0.007 | | min | 270.134 | | max | 270.153 |
| | mean | 2491.000 | | σ | 0.000 | | min | 2491.000 | | max | 2491.000 |
| | mean | 0.382 | | σ | 0.007 | | min | 0.376 | | max | 0.393 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.596 | | σ | 0.019 | | min | 1930.569 | | max | 1930.614 |
| | mean | 2491.000 | | σ | 0.000 | | min | 2491.000 | | max | 2491.000 |
| | mean | 2.674 | | σ | 0.238 | | min | 2.480 | | max | 3.080 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.351 | | σ | 0.859 | | min | 4750.844 | | max | 4752.876 |
| | mean | 2491.000 | | σ | 0.000 | | min | 2491.000 | | max | 2491.000 |
| | mean | 8.183 | | σ | 0.518 | | min | 7.754 | | max | 8.844 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.770 | | σ | 0.024 | | min | 4941.740 | | max | 4941.792 |
| | mean | 2949.200 | | σ | 422.145 | | min | 2491.000 | | max | 3519.000 |
| | mean | 8.480 | | σ | 0.126 | | min | 8.324 | | max | 8.665 |
|