iters=5 new-facts=1 prior-facts=1 | | mean | 270.236 | | σ | 0.006 | | min | 270.226 | | max | 270.242 |
| | mean | 2663.000 | | σ | 0.000 | | min | 2663.000 | | max | 2663.000 |
| | mean | 0.380 | | σ | 0.004 | | min | 0.375 | | max | 0.386 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.698 | | σ | 0.010 | | min | 1930.689 | | max | 1930.709 |
| | mean | 2663.000 | | σ | 0.000 | | min | 2663.000 | | max | 2663.000 |
| | mean | 2.568 | | σ | 0.110 | | min | 2.474 | | max | 2.718 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.158 | | σ | 1.162 | | min | 4749.782 | | max | 4753.001 |
| | mean | 2663.000 | | σ | 0.000 | | min | 2663.000 | | max | 2663.000 |
| | mean | 8.580 | | σ | 0.542 | | min | 7.794 | | max | 9.004 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.866 | | σ | 0.017 | | min | 4941.843 | | max | 4941.883 |
| | mean | 3026.600 | | σ | 300.548 | | min | 2663.000 | | max | 3425.000 |
| | mean | 8.524 | | σ | 0.112 | | min | 8.400 | | max | 8.662 |
|