iters=5 new-facts=1 prior-facts=1 | | mean | 278.820 | | σ | 0.005 | | min | 278.814 | | max | 278.826 |
| | mean | 2685.000 | | σ | 0.000 | | min | 2685.000 | | max | 2685.000 |
| | mean | 0.412 | | σ | 0.003 | | min | 0.410 | | max | 0.417 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.875 | | σ | 0.011 | | min | 2268.860 | | max | 2268.887 |
| | mean | 2685.000 | | σ | 0.000 | | min | 2685.000 | | max | 2685.000 |
| | mean | 2.908 | | σ | 0.059 | | min | 2.869 | | max | 3.011 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.235 | | σ | 0.811 | | min | 4953.749 | | max | 4955.668 |
| | mean | 2685.000 | | σ | 0.000 | | min | 2685.000 | | max | 2685.000 |
| | mean | 8.007 | | σ | 0.220 | | min | 7.725 | | max | 8.276 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.789 | | σ | 0.078 | | min | 5168.729 | | max | 5168.881 |
| | mean | 3397.000 | | σ | 460.689 | | min | 2813.000 | | max | 4015.000 |
| | mean | 9.474 | | σ | 0.370 | | min | 8.949 | | max | 9.777 |
|