iters=5 new-facts=1 prior-facts=1 | | mean | 275.569 | | σ | 0.007 | | min | 275.562 | | max | 275.577 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 0.391 | | σ | 0.009 | | min | 0.385 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.092 | | σ | 0.013 | | min | 2168.070 | | max | 2168.104 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 2.929 | | σ | 0.123 | | min | 2.775 | | max | 3.093 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.801 | | σ | 0.999 | | min | 5047.033 | | max | 5049.550 |
| | mean | 2849.000 | | σ | 0.000 | | min | 2849.000 | | max | 2849.000 |
| | mean | 8.794 | | σ | 0.593 | | min | 8.018 | | max | 9.402 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.044 | | σ | 0.082 | | min | 5178.966 | | max | 5179.141 |
| | mean | 3253.400 | | σ | 337.299 | | min | 2849.000 | | max | 3711.000 |
| | mean | 9.952 | | σ | 0.161 | | min | 9.687 | | max | 10.110 |
|