iters=5 new-facts=1 prior-facts=1 | | mean | 270.237 | | σ | 0.004 | | min | 270.231 | | max | 270.241 |
| | mean | 2423.000 | | σ | 0.000 | | min | 2423.000 | | max | 2423.000 |
| | mean | 0.375 | | σ | 0.004 | | min | 0.369 | | max | 0.379 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.703 | | σ | 0.013 | | min | 1930.687 | | max | 1930.719 |
| | mean | 2423.000 | | σ | 0.000 | | min | 2423.000 | | max | 2423.000 |
| | mean | 2.511 | | σ | 0.058 | | min | 2.457 | | max | 2.587 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.492 | | σ | 0.885 | | min | 4750.882 | | max | 4753.043 |
| | mean | 2423.000 | | σ | 0.000 | | min | 2423.000 | | max | 2423.000 |
| | mean | 8.565 | | σ | 0.832 | | min | 7.658 | | max | 9.687 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.801 | | σ | 0.143 | | min | 4941.545 | | max | 4941.877 |
| | mean | 3012.400 | | σ | 259.586 | | min | 2624.000 | | max | 3317.000 |
| | mean | 8.488 | | σ | 0.117 | | min | 8.344 | | max | 8.581 |
|