iters=5 new-facts=1 prior-facts=1 | | mean | 280.902 | | σ | 0.006 | | min | 280.893 | | max | 280.910 |
| | mean | 2745.000 | | σ | 0.000 | | min | 2745.000 | | max | 2745.000 |
| | mean | 0.418 | | σ | 0.008 | | min | 0.414 | | max | 0.431 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.900 | | σ | 0.026 | | min | 2270.862 | | max | 2270.929 |
| | mean | 2745.000 | | σ | 0.000 | | min | 2745.000 | | max | 2745.000 |
| | mean | 3.197 | | σ | 0.351 | | min | 2.831 | | max | 3.738 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5148.202 | | σ | 0.984 | | min | 5147.675 | | max | 5149.957 |
| | mean | 2745.000 | | σ | 0.000 | | min | 2745.000 | | max | 2745.000 |
| | mean | 8.638 | | σ | 0.500 | | min | 8.151 | | max | 9.470 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5286.128 | | σ | 0.198 | | min | 5285.860 | | max | 5286.371 |
| | mean | 3451.000 | | σ | 436.431 | | min | 2829.000 | | max | 3977.000 |
| | mean | 10.125 | | σ | 0.123 | | min | 9.913 | | max | 10.209 |
|