iters=5 new-facts=1 prior-facts=1 | | mean | 324.704 | | σ | 0.058 | | min | 324.600 | | max | 324.735 |
| | mean | 2823.000 | | σ | 0.000 | | min | 2823.000 | | max | 2823.000 |
| | mean | 0.425 | | σ | 0.002 | | min | 0.423 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.263 | | σ | 0.011 | | min | 1985.249 | | max | 1985.276 |
| | mean | 2823.000 | | σ | 0.000 | | min | 2823.000 | | max | 2823.000 |
| | mean | 2.666 | | σ | 0.130 | | min | 2.550 | | max | 2.873 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.862 | | σ | 7.724 | | min | 4805.376 | | max | 4822.680 |
| | mean | 2823.000 | | σ | 0.000 | | min | 2823.000 | | max | 2823.000 |
| | mean | 8.993 | | σ | 0.219 | | min | 8.819 | | max | 9.347 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.386 | | σ | 0.158 | | min | 4996.106 | | max | 4996.478 |
| | mean | 3057.600 | | σ | 311.857 | | min | 2823.000 | | max | 3539.000 |
| | mean | 8.528 | | σ | 0.109 | | min | 8.437 | | max | 8.708 |
|