iters=5 new-facts=1 prior-facts=1 | | mean | 324.686 | | σ | 0.043 | | min | 324.611 | | max | 324.717 |
| | mean | 2429.000 | | σ | 0.000 | | min | 2429.000 | | max | 2429.000 |
| | mean | 0.432 | | σ | 0.009 | | min | 0.426 | | max | 0.445 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.267 | | σ | 0.009 | | min | 1985.262 | | max | 1985.283 |
| | mean | 2429.000 | | σ | 0.000 | | min | 2429.000 | | max | 2429.000 |
| | mean | 2.650 | | σ | 0.068 | | min | 2.573 | | max | 2.734 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.796 | | σ | 7.826 | | min | 4804.793 | | max | 4822.785 |
| | mean | 2429.000 | | σ | 0.000 | | min | 2429.000 | | max | 2429.000 |
| | mean | 9.110 | | σ | 0.434 | | min | 8.656 | | max | 9.796 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.469 | | σ | 0.018 | | min | 4996.449 | | max | 4996.486 |
| | mean | 2997.200 | | σ | 369.795 | | min | 2524.000 | | max | 3353.000 |
| | mean | 8.725 | | σ | 0.223 | | min | 8.471 | | max | 9.068 |
|