iters=5 new-facts=1 prior-facts=1 | | mean | 270.237 | | σ | 0.007 | | min | 270.231 | | max | 270.247 |
| | mean | 2770.000 | | σ | 0.000 | | min | 2770.000 | | max | 2770.000 |
| | mean | 0.379 | | σ | 0.006 | | min | 0.370 | | max | 0.387 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.704 | | σ | 0.005 | | min | 1930.696 | | max | 1930.710 |
| | mean | 2770.000 | | σ | 0.000 | | min | 2770.000 | | max | 2770.000 |
| | mean | 2.535 | | σ | 0.093 | | min | 2.454 | | max | 2.662 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.414 | | σ | 0.831 | | min | 4750.900 | | max | 4752.890 |
| | mean | 2770.000 | | σ | 0.000 | | min | 2770.000 | | max | 2770.000 |
| | mean | 8.464 | | σ | 0.443 | | min | 7.784 | | max | 8.994 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.867 | | σ | 0.022 | | min | 4941.840 | | max | 4941.895 |
| | mean | 3048.800 | | σ | 211.984 | | min | 2770.000 | | max | 3328.000 |
| | mean | 8.610 | | σ | 0.192 | | min | 8.420 | | max | 8.830 |
|