iters=5 new-facts=1 prior-facts=1 | | mean | 277.718 | | σ | 0.014 | | min | 277.702 | | max | 277.735 |
| | mean | 2651.000 | | σ | 0.000 | | min | 2651.000 | | max | 2651.000 |
| | mean | 0.409 | | σ | 0.001 | | min | 0.408 | | max | 0.410 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.875 | | σ | 0.022 | | min | 2267.850 | | max | 2267.898 |
| | mean | 2651.000 | | σ | 0.000 | | min | 2651.000 | | max | 2651.000 |
| | mean | 3.133 | | σ | 0.175 | | min | 2.915 | | max | 3.290 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.961 | | σ | 0.877 | | min | 4954.216 | | max | 4956.484 |
| | mean | 2651.000 | | σ | 0.000 | | min | 2651.000 | | max | 2651.000 |
| | mean | 7.819 | | σ | 0.230 | | min | 7.523 | | max | 8.136 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.723 | | σ | 0.222 | | min | 5169.350 | | max | 5169.877 |
| | mean | 3361.000 | | σ | 450.672 | | min | 2922.000 | | max | 3822.000 |
| | mean | 9.283 | | σ | 0.186 | | min | 9.010 | | max | 9.491 |
|