iters=5 new-facts=1 prior-facts=1 | | mean | 277.387 | | σ | 0.005 | | min | 277.380 | | max | 277.392 |
| | mean | 2608.000 | | σ | 0.000 | | min | 2608.000 | | max | 2608.000 |
| | mean | 0.396 | | σ | 0.007 | | min | 0.392 | | max | 0.408 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.629 | | σ | 0.025 | | min | 2174.606 | | max | 2174.672 |
| | mean | 2608.000 | | σ | 0.000 | | min | 2608.000 | | max | 2608.000 |
| | mean | 2.851 | | σ | 0.170 | | min | 2.760 | | max | 3.154 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.588 | | σ | 0.417 | | min | 5052.300 | | max | 5053.316 |
| | mean | 2608.000 | | σ | 0.000 | | min | 2608.000 | | max | 2608.000 |
| | mean | 8.571 | | σ | 0.633 | | min | 8.041 | | max | 9.636 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.608 | | σ | 0.091 | | min | 5188.533 | | max | 5188.712 |
| | mean | 3226.800 | | σ | 536.736 | | min | 2608.000 | | max | 3984.000 |
| | mean | 8.757 | | σ | 0.221 | | min | 8.609 | | max | 9.147 |
|