iters=5 new-facts=1 prior-facts=1 | | mean | 269.906 | | σ | 0.010 | | min | 269.894 | | max | 269.923 |
| | mean | 2415.000 | | σ | 0.000 | | min | 2415.000 | | max | 2415.000 |
| | mean | 0.373 | | σ | 0.004 | | min | 0.369 | | max | 0.380 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.385 | | σ | 0.018 | | min | 1930.364 | | max | 1930.405 |
| | mean | 2415.000 | | σ | 0.000 | | min | 2415.000 | | max | 2415.000 |
| | mean | 2.536 | | σ | 0.152 | | min | 2.394 | | max | 2.777 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.717 | | σ | 0.545 | | min | 4750.329 | | max | 4751.659 |
| | mean | 2415.000 | | σ | 0.000 | | min | 2415.000 | | max | 2415.000 |
| | mean | 8.623 | | σ | 0.270 | | min | 8.363 | | max | 8.932 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.266 | | σ | 0.191 | | min | 4940.956 | | max | 4941.425 |
| | mean | 2958.000 | | σ | 274.170 | | min | 2590.000 | | max | 3315.000 |
| | mean | 8.559 | | σ | 0.332 | | min | 8.351 | | max | 9.146 |
|