iters=5 new-facts=1 prior-facts=1 | | mean | 271.603 | | σ | 0.013 | | min | 271.587 | | max | 271.616 |
| | mean | 2820.000 | | σ | 0.000 | | min | 2820.000 | | max | 2820.000 |
| | mean | 0.383 | | σ | 0.008 | | min | 0.377 | | max | 0.397 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.050 | | σ | 0.017 | | min | 1932.032 | | max | 1932.072 |
| | mean | 2820.000 | | σ | 0.000 | | min | 2820.000 | | max | 2820.000 |
| | mean | 2.921 | | σ | 0.157 | | min | 2.659 | | max | 3.054 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.757 | | σ | 0.907 | | min | 4752.280 | | max | 4754.376 |
| | mean | 2820.000 | | σ | 0.000 | | min | 2820.000 | | max | 2820.000 |
| | mean | 8.711 | | σ | 0.276 | | min | 8.427 | | max | 9.101 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.163 | | σ | 0.169 | | min | 4942.863 | | max | 4943.256 |
| | mean | 3002.800 | | σ | 251.530 | | min | 2820.000 | | max | 3396.000 |
| | mean | 8.369 | | σ | 0.086 | | min | 8.221 | | max | 8.437 |
|