iters=5 new-facts=1 prior-facts=1 | | mean | 266.778 | | σ | 0.007 | | min | 266.766 | | max | 266.784 |
| | mean | 2480.000 | | σ | 0.000 | | min | 2480.000 | | max | 2480.000 |
| | mean | 0.364 | | σ | 0.001 | | min | 0.363 | | max | 0.366 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.223 | | σ | 0.019 | | min | 1927.205 | | max | 1927.250 |
| | mean | 2480.000 | | σ | 0.000 | | min | 2480.000 | | max | 2480.000 |
| | mean | 2.938 | | σ | 0.154 | | min | 2.702 | | max | 3.101 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.616 | | σ | 0.961 | | min | 4746.747 | | max | 4749.255 |
| | mean | 2480.000 | | σ | 0.000 | | min | 2480.000 | | max | 2480.000 |
| | mean | 8.455 | | σ | 0.537 | | min | 7.849 | | max | 9.141 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.178 | | σ | 0.081 | | min | 4938.099 | | max | 4938.267 |
| | mean | 2940.000 | | σ | 383.782 | | min | 2480.000 | | max | 3457.000 |
| | mean | 8.464 | | σ | 0.163 | | min | 8.316 | | max | 8.674 |
|