iters=5 new-facts=1 prior-facts=1 | | mean | 270.133 | | σ | 0.006 | | min | 270.125 | | max | 270.139 |
| | mean | 2453.000 | | σ | 0.000 | | min | 2453.000 | | max | 2453.000 |
| | mean | 0.388 | | σ | 0.008 | | min | 0.380 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.594 | | σ | 0.009 | | min | 1930.584 | | max | 1930.605 |
| | mean | 2453.000 | | σ | 0.000 | | min | 2453.000 | | max | 2453.000 |
| | mean | 2.587 | | σ | 0.125 | | min | 2.452 | | max | 2.781 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.139 | | σ | 0.805 | | min | 4750.651 | | max | 4752.568 |
| | mean | 2453.000 | | σ | 0.000 | | min | 2453.000 | | max | 2453.000 |
| | mean | 8.119 | | σ | 0.389 | | min | 7.746 | | max | 8.559 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.530 | | σ | 0.087 | | min | 4941.452 | | max | 4941.629 |
| | mean | 2968.000 | | σ | 436.458 | | min | 2476.000 | | max | 3562.000 |
| | mean | 8.590 | | σ | 0.297 | | min | 8.345 | | max | 9.006 |
|