iters=5 new-facts=1 prior-facts=1 | | mean | 273.486 | | σ | 0.011 | | min | 273.475 | | max | 273.499 |
| | mean | 2653.000 | | σ | 0.000 | | min | 2653.000 | | max | 2653.000 |
| | mean | 0.385 | | σ | 0.004 | | min | 0.382 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.897 | | σ | 0.011 | | min | 1933.885 | | max | 1933.912 |
| | mean | 2653.000 | | σ | 0.000 | | min | 2653.000 | | max | 2653.000 |
| | mean | 2.988 | | σ | 0.180 | | min | 2.753 | | max | 3.230 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.528 | | σ | 1.006 | | min | 4753.640 | | max | 4756.255 |
| | mean | 2653.000 | | σ | 0.000 | | min | 2653.000 | | max | 2653.000 |
| | mean | 8.851 | | σ | 0.374 | | min | 8.217 | | max | 9.184 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.119 | | σ | 0.015 | | min | 4945.101 | | max | 4945.142 |
| | mean | 3005.000 | | σ | 289.360 | | min | 2653.000 | | max | 3390.000 |
| | mean | 8.552 | | σ | 0.125 | | min | 8.431 | | max | 8.720 |
|