iters=5 new-facts=1 prior-facts=1 | | mean | 324.693 | | σ | 0.050 | | min | 324.604 | | max | 324.718 |
| | mean | 2422.000 | | σ | 0.000 | | min | 2422.000 | | max | 2422.000 |
| | mean | 0.423 | | σ | 0.002 | | min | 0.421 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.247 | | σ | 0.022 | | min | 1985.216 | | max | 1985.266 |
| | mean | 2422.000 | | σ | 0.000 | | min | 2422.000 | | max | 2422.000 |
| | mean | 2.620 | | σ | 0.142 | | min | 2.456 | | max | 2.834 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.852 | | σ | 7.668 | | min | 4805.403 | | max | 4822.569 |
| | mean | 2422.000 | | σ | 0.000 | | min | 2422.000 | | max | 2422.000 |
| | mean | 8.998 | | σ | 0.098 | | min | 8.901 | | max | 9.153 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.455 | | σ | 0.011 | | min | 4996.442 | | max | 4996.471 |
| | mean | 2912.600 | | σ | 416.018 | | min | 2422.000 | | max | 3474.000 |
| | mean | 8.633 | | σ | 0.183 | | min | 8.499 | | max | 8.895 |
|