iters=5 new-facts=1 prior-facts=1 | | mean | 324.706 | | σ | 0.057 | | min | 324.605 | | max | 324.740 |
| | mean | 2780.000 | | σ | 0.000 | | min | 2780.000 | | max | 2780.000 |
| | mean | 0.433 | | σ | 0.011 | | min | 0.424 | | max | 0.445 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.259 | | σ | 0.019 | | min | 1985.231 | | max | 1985.274 |
| | mean | 2780.000 | | σ | 0.000 | | min | 2780.000 | | max | 2780.000 |
| | mean | 2.662 | | σ | 0.128 | | min | 2.547 | | max | 2.838 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.765 | | σ | 7.455 | | min | 4805.327 | | max | 4822.100 |
| | mean | 2780.000 | | σ | 0.000 | | min | 2780.000 | | max | 2780.000 |
| | mean | 8.928 | | σ | 0.410 | | min | 8.237 | | max | 9.234 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.469 | | σ | 0.014 | | min | 4996.453 | | max | 4996.488 |
| | mean | 3049.800 | | σ | 330.908 | | min | 2780.000 | | max | 3545.000 |
| | mean | 8.623 | | σ | 0.187 | | min | 8.473 | | max | 8.871 |
|