iters=5 new-facts=1 prior-facts=1 | | mean | 285.411 | | σ | 0.031 | | min | 285.370 | | max | 285.444 |
| | mean | 1626.000 | | σ | 0.000 | | min | 1626.000 | | max | 1626.000 |
| | mean | 0.403 | | σ | 0.014 | | min | 0.383 | | max | 0.423 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.766 | | σ | 0.117 | | min | 1295.677 | | max | 1295.961 |
| | mean | 1626.000 | | σ | 0.000 | | min | 1626.000 | | max | 1626.000 |
| | mean | 2.017 | | σ | 0.198 | | min | 1.832 | | max | 2.318 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1540.011 | | σ | 6.904 | | min | 1536.805 | | max | 1552.359 |
| | mean | 1626.000 | | σ | 0.000 | | min | 1626.000 | | max | 1626.000 |
| | mean | 2.431 | | σ | 0.342 | | min | 2.112 | | max | 2.865 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.707 | | σ | 0.049 | | min | 1857.652 | | max | 1857.771 |
| | mean | 1771.200 | | σ | 176.844 | | min | 1626.000 | | max | 2031.000 |
| | mean | 2.859 | | σ | 0.122 | | min | 2.667 | | max | 2.972 |
|