iters=5 new-facts=1 prior-facts=1 | | mean | 273.609 | | σ | 0.009 | | min | 273.594 | | max | 273.614 |
| | mean | 2470.000 | | σ | 0.000 | | min | 2470.000 | | max | 2470.000 |
| | mean | 0.391 | | σ | 0.009 | | min | 0.380 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.999 | | σ | 0.010 | | min | 1933.988 | | max | 1934.015 |
| | mean | 2470.000 | | σ | 0.000 | | min | 2470.000 | | max | 2470.000 |
| | mean | 2.970 | | σ | 0.183 | | min | 2.764 | | max | 3.164 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.698 | | σ | 0.555 | | min | 4754.247 | | max | 4755.668 |
| | mean | 2470.000 | | σ | 0.000 | | min | 2470.000 | | max | 2470.000 |
| | mean | 8.415 | | σ | 0.694 | | min | 7.723 | | max | 9.136 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.221 | | σ | 0.016 | | min | 4945.200 | | max | 4945.239 |
| | mean | 3014.800 | | σ | 311.788 | | min | 2569.000 | | max | 3370.000 |
| | mean | 8.718 | | σ | 0.257 | | min | 8.416 | | max | 8.994 |
|