iters=5 new-facts=1 prior-facts=1 | | mean | 266.782 | | σ | 0.008 | | min | 266.776 | | max | 266.796 |
| | mean | 2846.000 | | σ | 0.000 | | min | 2846.000 | | max | 2846.000 |
| | mean | 0.363 | | σ | 0.001 | | min | 0.362 | | max | 0.364 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.213 | | σ | 0.007 | | min | 1927.201 | | max | 1927.217 |
| | mean | 2846.000 | | σ | 0.000 | | min | 2846.000 | | max | 2846.000 |
| | mean | 2.995 | | σ | 0.088 | | min | 2.892 | | max | 3.132 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.747 | | σ | 0.779 | | min | 4747.383 | | max | 4749.140 |
| | mean | 2846.000 | | σ | 0.000 | | min | 2846.000 | | max | 2846.000 |
| | mean | 8.134 | | σ | 0.491 | | min | 7.679 | | max | 8.748 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.095 | | σ | 0.123 | | min | 4937.905 | | max | 4938.249 |
| | mean | 3072.600 | | σ | 300.910 | | min | 2846.000 | | max | 3536.000 |
| | mean | 8.411 | | σ | 0.200 | | min | 8.295 | | max | 8.765 |
|