iters=5 new-facts=1 prior-facts=1 | | mean | 278.825 | | σ | 0.003 | | min | 278.820 | | max | 278.827 |
| | mean | 2731.000 | | σ | 0.000 | | min | 2731.000 | | max | 2731.000 |
| | mean | 0.410 | | σ | 0.004 | | min | 0.406 | | max | 0.416 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.887 | | σ | 0.007 | | min | 2268.878 | | max | 2268.893 |
| | mean | 2731.000 | | σ | 0.000 | | min | 2731.000 | | max | 2731.000 |
| | mean | 2.929 | | σ | 0.077 | | min | 2.856 | | max | 3.032 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.006 | | σ | 0.960 | | min | 4953.209 | | max | 4955.635 |
| | mean | 2731.000 | | σ | 0.000 | | min | 2731.000 | | max | 2731.000 |
| | mean | 8.004 | | σ | 0.165 | | min | 7.843 | | max | 8.272 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.727 | | σ | 0.207 | | min | 5168.378 | | max | 5168.885 |
| | mean | 3462.000 | | σ | 447.513 | | min | 2888.000 | | max | 4112.000 |
| | mean | 9.149 | | σ | 0.187 | | min | 8.986 | | max | 9.395 |
|