iters=5 new-facts=1 prior-facts=1 | | mean | 324.772 | | σ | 0.041 | | min | 324.702 | | max | 324.806 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 0.428 | | σ | 0.012 | | min | 0.414 | | max | 0.440 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.321 | | σ | 0.015 | | min | 1985.296 | | max | 1985.333 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 2.585 | | σ | 0.053 | | min | 2.539 | | max | 2.676 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.109 | | σ | 7.657 | | min | 4805.575 | | max | 4822.805 |
| | mean | 2837.000 | | σ | 0.000 | | min | 2837.000 | | max | 2837.000 |
| | mean | 8.633 | | σ | 0.401 | | min | 7.986 | | max | 9.017 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.480 | | σ | 0.189 | | min | 4996.251 | | max | 4996.628 |
| | mean | 3064.800 | | σ | 304.064 | | min | 2837.000 | | max | 3537.000 |
| | mean | 8.609 | | σ | 0.226 | | min | 8.433 | | max | 8.912 |
|