iters=5 new-facts=1 prior-facts=1 | | mean | 285.407 | | σ | 0.039 | | min | 285.356 | | max | 285.446 |
| | mean | 1660.000 | | σ | 0.000 | | min | 1660.000 | | max | 1660.000 |
| | mean | 0.389 | | σ | 0.010 | | min | 0.381 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.792 | | σ | 0.107 | | min | 1295.669 | | max | 1295.910 |
| | mean | 1660.000 | | σ | 0.000 | | min | 1660.000 | | max | 1660.000 |
| | mean | 1.879 | | σ | 0.081 | | min | 1.796 | | max | 1.984 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.932 | | σ | 6.861 | | min | 1536.636 | | max | 1552.201 |
| | mean | 1660.000 | | σ | 0.000 | | min | 1660.000 | | max | 1660.000 |
| | mean | 2.345 | | σ | 0.101 | | min | 2.182 | | max | 2.438 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.706 | | σ | 0.063 | | min | 1857.648 | | max | 1857.791 |
| | mean | 1800.400 | | σ | 167.953 | | min | 1660.000 | | max | 2048.000 |
| | mean | 2.946 | | σ | 0.092 | | min | 2.841 | | max | 3.068 |
|