iters=5 new-facts=1 prior-facts=1 | | mean | 324.586 | | σ | 0.048 | | min | 324.501 | | max | 324.611 |
| | mean | 2750.000 | | σ | 0.000 | | min | 2750.000 | | max | 2750.000 |
| | mean | 0.426 | | σ | 0.009 | | min | 0.421 | | max | 0.441 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.138 | | σ | 0.017 | | min | 1985.115 | | max | 1985.155 |
| | mean | 2750.000 | | σ | 0.000 | | min | 2750.000 | | max | 2750.000 |
| | mean | 2.689 | | σ | 0.195 | | min | 2.563 | | max | 3.022 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.753 | | σ | 7.712 | | min | 4805.279 | | max | 4822.548 |
| | mean | 2750.000 | | σ | 0.000 | | min | 2750.000 | | max | 2750.000 |
| | mean | 9.029 | | σ | 0.218 | | min | 8.721 | | max | 9.287 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.336 | | σ | 0.022 | | min | 4996.311 | | max | 4996.366 |
| | mean | 3030.200 | | σ | 337.433 | | min | 2750.000 | | max | 3535.000 |
| | mean | 8.600 | | σ | 0.197 | | min | 8.433 | | max | 8.895 |
|