iters=5 new-facts=1 prior-facts=1 | | mean | 275.567 | | σ | 0.007 | | min | 275.562 | | max | 275.578 |
| | mean | 2640.000 | | σ | 0.000 | | min | 2640.000 | | max | 2640.000 |
| | mean | 0.391 | | σ | 0.008 | | min | 0.383 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.099 | | σ | 0.009 | | min | 2168.089 | | max | 2168.110 |
| | mean | 2640.000 | | σ | 0.000 | | min | 2640.000 | | max | 2640.000 |
| | mean | 2.997 | | σ | 0.161 | | min | 2.836 | | max | 3.223 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.922 | | σ | 0.896 | | min | 5047.391 | | max | 5049.516 |
| | mean | 2640.000 | | σ | 0.000 | | min | 2640.000 | | max | 2640.000 |
| | mean | 9.018 | | σ | 0.328 | | min | 8.597 | | max | 9.493 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.041 | | σ | 0.082 | | min | 5178.961 | | max | 5179.131 |
| | mean | 3218.800 | | σ | 388.112 | | min | 2684.000 | | max | 3704.000 |
| | mean | 9.864 | | σ | 0.271 | | min | 9.489 | | max | 10.214 |
|