iters=5 new-facts=1 prior-facts=1 | | mean | 278.695 | | σ | 0.011 | | min | 278.685 | | max | 278.712 |
| | mean | 2643.000 | | σ | 0.000 | | min | 2643.000 | | max | 2643.000 |
| | mean | 0.420 | | σ | 0.001 | | min | 0.418 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.861 | | σ | 0.006 | | min | 2268.852 | | max | 2268.866 |
| | mean | 2643.000 | | σ | 0.000 | | min | 2643.000 | | max | 2643.000 |
| | mean | 2.965 | | σ | 0.127 | | min | 2.877 | | max | 3.187 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.355 | | σ | 0.780 | | min | 4951.967 | | max | 4953.749 |
| | mean | 2643.000 | | σ | 0.000 | | min | 2643.000 | | max | 2643.000 |
| | mean | 7.881 | | σ | 0.153 | | min | 7.714 | | max | 8.113 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.067 | | σ | 0.011 | | min | 5167.051 | | max | 5167.082 |
| | mean | 3417.400 | | σ | 472.476 | | min | 2755.000 | | max | 3996.000 |
| | mean | 9.287 | | σ | 0.350 | | min | 8.866 | | max | 9.589 |
|