iters=5 new-facts=1 prior-facts=1 | | mean | 324.775 | | σ | 0.040 | | min | 324.704 | | max | 324.803 |
| | mean | 2846.000 | | σ | 0.000 | | min | 2846.000 | | max | 2846.000 |
| | mean | 0.429 | | σ | 0.007 | | min | 0.423 | | max | 0.439 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.316 | | σ | 0.015 | | min | 1985.299 | | max | 1985.335 |
| | mean | 2846.000 | | σ | 0.000 | | min | 2846.000 | | max | 2846.000 |
| | mean | 2.662 | | σ | 0.137 | | min | 2.554 | | max | 2.875 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.089 | | σ | 7.652 | | min | 4805.552 | | max | 4822.777 |
| | mean | 2846.000 | | σ | 0.000 | | min | 2846.000 | | max | 2846.000 |
| | mean | 8.734 | | σ | 0.375 | | min | 8.307 | | max | 9.200 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.556 | | σ | 0.165 | | min | 4996.264 | | max | 4996.648 |
| | mean | 3053.400 | | σ | 286.920 | | min | 2846.000 | | max | 3505.000 |
| | mean | 8.521 | | σ | 0.147 | | min | 8.390 | | max | 8.738 |
|