iters=5 new-facts=1 prior-facts=1 | | mean | 275.758 | | σ | 0.010 | | min | 275.744 | | max | 275.768 |
| | mean | 2697.000 | | σ | 0.000 | | min | 2697.000 | | max | 2697.000 |
| | mean | 0.404 | | σ | 0.009 | | min | 0.397 | | max | 0.415 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.288 | | σ | 0.002 | | min | 2168.285 | | max | 2168.291 |
| | mean | 2697.000 | | σ | 0.000 | | min | 2697.000 | | max | 2697.000 |
| | mean | 2.912 | | σ | 0.173 | | min | 2.632 | | max | 3.059 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.002 | | σ | 1.024 | | min | 5046.975 | | max | 5049.723 |
| | mean | 2697.000 | | σ | 0.000 | | min | 2697.000 | | max | 2697.000 |
| | mean | 8.599 | | σ | 0.408 | | min | 8.058 | | max | 9.023 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.089 | | σ | 0.286 | | min | 5178.586 | | max | 5179.306 |
| | mean | 3239.600 | | σ | 398.563 | | min | 2697.000 | | max | 3748.000 |
| | mean | 9.697 | | σ | 0.653 | | min | 8.688 | | max | 10.439 |
|