iters=5 new-facts=1 prior-facts=1 | | mean | 273.397 | | σ | 0.007 | | min | 273.389 | | max | 273.403 |
| | mean | 2848.000 | | σ | 0.000 | | min | 2848.000 | | max | 2848.000 |
| | mean | 0.392 | | σ | 0.009 | | min | 0.377 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.834 | | σ | 0.006 | | min | 1933.829 | | max | 1933.844 |
| | mean | 2848.000 | | σ | 0.000 | | min | 2848.000 | | max | 2848.000 |
| | mean | 3.120 | | σ | 0.182 | | min | 2.961 | | max | 3.395 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.158 | | σ | 0.958 | | min | 4753.459 | | max | 4755.806 |
| | mean | 2848.000 | | σ | 0.000 | | min | 2848.000 | | max | 2848.000 |
| | mean | 8.186 | | σ | 0.572 | | min | 7.633 | | max | 8.997 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.809 | | σ | 0.083 | | min | 4944.732 | | max | 4944.908 |
| | mean | 3099.400 | | σ | 312.810 | | min | 2848.000 | | max | 3586.000 |
| | mean | 8.784 | | σ | 0.360 | | min | 8.572 | | max | 9.412 |
|