iters=5 new-facts=1 prior-facts=1 | | mean | 266.779 | | σ | 0.010 | | min | 266.765 | | max | 266.788 |
| | mean | 2480.000 | | σ | 0.000 | | min | 2480.000 | | max | 2480.000 |
| | mean | 0.369 | | σ | 0.010 | | min | 0.363 | | max | 0.387 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.209 | | σ | 0.009 | | min | 1927.200 | | max | 1927.219 |
| | mean | 2480.000 | | σ | 0.000 | | min | 2480.000 | | max | 2480.000 |
| | mean | 2.973 | | σ | 0.084 | | min | 2.879 | | max | 3.092 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.768 | | σ | 0.846 | | min | 4747.259 | | max | 4749.268 |
| | mean | 2480.000 | | σ | 0.000 | | min | 2480.000 | | max | 2480.000 |
| | mean | 8.346 | | σ | 0.283 | | min | 8.068 | | max | 8.702 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.199 | | σ | 0.092 | | min | 4938.091 | | max | 4938.274 |
| | mean | 2957.600 | | σ | 417.961 | | min | 2480.000 | | max | 3522.000 |
| | mean | 8.546 | | σ | 0.267 | | min | 8.289 | | max | 8.969 |
|