iters=5 new-facts=1 prior-facts=1 | | mean | 279.507 | | σ | 0.003 | | min | 279.504 | | max | 279.512 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 0.413 | | σ | 0.007 | | min | 0.407 | | max | 0.423 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.426 | | σ | 0.041 | | min | 2178.353 | | max | 2178.452 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 3.343 | | σ | 0.066 | | min | 3.245 | | max | 3.405 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.383 | | σ | 0.982 | | min | 5055.760 | | max | 5058.124 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 9.224 | | σ | 0.534 | | min | 8.279 | | max | 9.575 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.758 | | σ | 0.094 | | min | 5193.685 | | max | 5193.871 |
| | mean | 3287.600 | | σ | 448.120 | | min | 2771.000 | | max | 3911.000 |
| | mean | 8.949 | | σ | 0.066 | | min | 8.859 | | max | 9.043 |
|