iters=5 new-facts=1 prior-facts=1 | | mean | 273.121 | | σ | 0.004 | | min | 273.117 | | max | 273.125 |
| | mean | 2419.000 | | σ | 0.000 | | min | 2419.000 | | max | 2419.000 |
| | mean | 0.384 | | σ | 0.009 | | min | 0.379 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.510 | | σ | 0.003 | | min | 1933.507 | | max | 1933.515 |
| | mean | 2419.000 | | σ | 0.000 | | min | 2419.000 | | max | 2419.000 |
| | mean | 3.076 | | σ | 0.062 | | min | 3.027 | | max | 3.162 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.320 | | σ | 0.870 | | min | 4753.776 | | max | 4755.867 |
| | mean | 2419.000 | | σ | 0.000 | | min | 2419.000 | | max | 2419.000 |
| | mean | 8.304 | | σ | 0.475 | | min | 7.914 | | max | 9.042 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.736 | | σ | 0.019 | | min | 4944.712 | | max | 4944.761 |
| | mean | 2916.600 | | σ | 413.483 | | min | 2419.000 | | max | 3446.000 |
| | mean | 8.454 | | σ | 0.114 | | min | 8.353 | | max | 8.607 |
|