iters=5 new-facts=1 prior-facts=1 | | mean | 324.019 | | σ | 0.046 | | min | 323.939 | | max | 324.048 |
| | mean | 2428.000 | | σ | 0.000 | | min | 2428.000 | | max | 2428.000 |
| | mean | 0.428 | | σ | 0.001 | | min | 0.427 | | max | 0.429 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.597 | | σ | 0.004 | | min | 1984.594 | | max | 1984.602 |
| | mean | 2428.000 | | σ | 0.000 | | min | 2428.000 | | max | 2428.000 |
| | mean | 2.695 | | σ | 0.184 | | min | 2.550 | | max | 2.965 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.075 | | σ | 7.878 | | min | 4804.144 | | max | 4822.157 |
| | mean | 2428.000 | | σ | 0.000 | | min | 2428.000 | | max | 2428.000 |
| | mean | 8.394 | | σ | 0.573 | | min | 7.732 | | max | 8.885 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.735 | | σ | 0.150 | | min | 4995.471 | | max | 4995.826 |
| | mean | 2912.200 | | σ | 402.242 | | min | 2428.000 | | max | 3425.000 |
| | mean | 8.575 | | σ | 0.153 | | min | 8.431 | | max | 8.754 |
|