iters=5 new-facts=1 prior-facts=1 | | mean | 275.566 | | σ | 0.003 | | min | 275.562 | | max | 275.570 |
| | mean | 2470.000 | | σ | 0.000 | | min | 2470.000 | | max | 2470.000 |
| | mean | 0.393 | | σ | 0.010 | | min | 0.384 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.094 | | σ | 0.009 | | min | 2168.083 | | max | 2168.104 |
| | mean | 2470.000 | | σ | 0.000 | | min | 2470.000 | | max | 2470.000 |
| | mean | 3.016 | | σ | 0.179 | | min | 2.784 | | max | 3.278 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.903 | | σ | 0.919 | | min | 5047.336 | | max | 5049.538 |
| | mean | 2470.000 | | σ | 0.000 | | min | 2470.000 | | max | 2470.000 |
| | mean | 9.038 | | σ | 0.507 | | min | 8.202 | | max | 9.518 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.979 | | σ | 0.187 | | min | 5178.669 | | max | 5179.128 |
| | mean | 3224.000 | | σ | 390.293 | | min | 2663.000 | | max | 3688.000 |
| | mean | 9.932 | | σ | 0.219 | | min | 9.558 | | max | 10.102 |
|