iters=5 new-facts=1 prior-facts=1 | | mean | 284.696 | | σ | 0.036 | | min | 284.649 | | max | 284.736 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 0.397 | | σ | 0.011 | | min | 0.385 | | max | 0.408 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.081 | | σ | 0.114 | | min | 1294.955 | | max | 1295.224 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 1.903 | | σ | 0.087 | | min | 1.809 | | max | 2.021 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.183 | | σ | 6.849 | | min | 1535.963 | | max | 1551.433 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 2.214 | | σ | 0.210 | | min | 2.024 | | max | 2.473 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.989 | | σ | 0.058 | | min | 1856.925 | | max | 1857.070 |
| | mean | 1774.600 | | σ | 127.770 | | min | 1645.000 | | max | 1903.000 |
| | mean | 3.097 | | σ | 0.321 | | min | 2.862 | | max | 3.659 |
|