iters=5 new-facts=1 prior-facts=1 | | mean | 266.787 | | σ | 0.010 | | min | 266.778 | | max | 266.799 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 0.365 | | σ | 0.001 | | min | 0.363 | | max | 0.366 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.216 | | σ | 0.009 | | min | 1927.206 | | max | 1927.228 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 2.977 | | σ | 0.095 | | min | 2.866 | | max | 3.118 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.730 | | σ | 0.803 | | min | 4747.295 | | max | 4749.162 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 8.298 | | σ | 0.698 | | min | 7.682 | | max | 9.191 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.168 | | σ | 0.079 | | min | 4938.105 | | max | 4938.266 |
| | mean | 3038.400 | | σ | 313.774 | | min | 2774.000 | | max | 3501.000 |
| | mean | 8.387 | | σ | 0.124 | | min | 8.259 | | max | 8.595 |
|