iters=5 new-facts=1 prior-facts=1 | | mean | 324.589 | | σ | 0.042 | | min | 324.514 | | max | 324.613 |
| | mean | 2750.000 | | σ | 0.000 | | min | 2750.000 | | max | 2750.000 |
| | mean | 0.422 | | σ | 0.001 | | min | 0.421 | | max | 0.423 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.145 | | σ | 0.018 | | min | 1985.114 | | max | 1985.157 |
| | mean | 2750.000 | | σ | 0.000 | | min | 2750.000 | | max | 2750.000 |
| | mean | 2.620 | | σ | 0.081 | | min | 2.558 | | max | 2.720 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.748 | | σ | 7.657 | | min | 4805.244 | | max | 4822.446 |
| | mean | 2750.000 | | σ | 0.000 | | min | 2750.000 | | max | 2750.000 |
| | mean | 8.892 | | σ | 0.309 | | min | 8.535 | | max | 9.289 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.348 | | σ | 0.030 | | min | 4996.321 | | max | 4996.394 |
| | mean | 3031.200 | | σ | 342.191 | | min | 2750.000 | | max | 3539.000 |
| | mean | 8.832 | | σ | 0.709 | | min | 8.439 | | max | 10.080 |
|