iters=5 new-facts=1 prior-facts=1 | | mean | 324.704 | | σ | 0.063 | | min | 324.593 | | max | 324.746 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 0.436 | | σ | 0.012 | | min | 0.421 | | max | 0.447 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.264 | | σ | 0.023 | | min | 1985.223 | | max | 1985.278 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 2.645 | | σ | 0.100 | | min | 2.561 | | max | 2.775 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.664 | | σ | 7.840 | | min | 4804.260 | | max | 4822.658 |
| | mean | 2825.000 | | σ | 0.000 | | min | 2825.000 | | max | 2825.000 |
| | mean | 9.078 | | σ | 0.189 | | min | 8.814 | | max | 9.271 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.471 | | σ | 0.024 | | min | 4996.445 | | max | 4996.496 |
| | mean | 3048.800 | | σ | 189.241 | | min | 2825.000 | | max | 3313.000 |
| | mean | 8.671 | | σ | 0.182 | | min | 8.521 | | max | 8.950 |
|