iters=5 new-facts=1 prior-facts=1 | | mean | 300.701 | | σ | 0.021 | | min | 300.671 | | max | 300.728 |
| | mean | 1520.000 | | σ | 0.000 | | min | 1520.000 | | max | 1520.000 |
| | mean | 0.395 | | σ | 0.008 | | min | 0.387 | | max | 0.406 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.854 | | σ | 0.090 | | min | 1322.808 | | max | 1323.014 |
| | mean | 1520.000 | | σ | 0.000 | | min | 1520.000 | | max | 1520.000 |
| | mean | 1.925 | | σ | 0.116 | | min | 1.822 | | max | 2.097 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.328 | | σ | 6.872 | | min | 1558.045 | | max | 1573.617 |
| | mean | 1520.000 | | σ | 0.000 | | min | 1520.000 | | max | 1520.000 |
| | mean | 2.361 | | σ | 0.327 | | min | 2.048 | | max | 2.718 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.798 | | σ | 0.020 | | min | 1890.784 | | max | 1890.825 |
| | mean | 1740.600 | | σ | 213.574 | | min | 1520.000 | | max | 2042.000 |
| | mean | 2.908 | | σ | 0.050 | | min | 2.866 | | max | 2.986 |
|