iters=5 new-facts=1 prior-facts=1 | | mean | 299.451 | | σ | 0.039 | | min | 299.393 | | max | 299.496 |
| | mean | 1427.000 | | σ | 0.000 | | min | 1427.000 | | max | 1427.000 |
| | mean | 0.387 | | σ | 0.007 | | min | 0.383 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1309.864 | | σ | 0.089 | | min | 1309.750 | | max | 1309.987 |
| | mean | 1427.000 | | σ | 0.000 | | min | 1427.000 | | max | 1427.000 |
| | mean | 1.873 | | σ | 0.050 | | min | 1.800 | | max | 1.935 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1553.974 | | σ | 6.872 | | min | 1550.681 | | max | 1566.262 |
| | mean | 1427.000 | | σ | 0.000 | | min | 1427.000 | | max | 1427.000 |
| | mean | 2.344 | | σ | 0.263 | | min | 2.044 | | max | 2.662 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1871.766 | | σ | 0.042 | | min | 1871.720 | | max | 1871.823 |
| | mean | 1723.200 | | σ | 162.337 | | min | 1522.000 | | max | 1948.000 |
| | mean | 2.882 | | σ | 0.079 | | min | 2.819 | | max | 3.005 |
|