iters=5 new-facts=1 prior-facts=1 | | mean | 281.495 | | σ | 0.040 | | min | 281.440 | | max | 281.536 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 0.385 | | σ | 0.007 | | min | 0.378 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1291.453 | | σ | 0.099 | | min | 1291.367 | | max | 1291.618 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 1.930 | | σ | 0.149 | | min | 1.807 | | max | 2.149 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1534.374 | | σ | 3.962 | | min | 1532.464 | | max | 1541.457 |
| | mean | 1629.000 | | σ | 0.000 | | min | 1629.000 | | max | 1629.000 |
| | mean | 2.308 | | σ | 0.211 | | min | 2.110 | | max | 2.624 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1853.356 | | σ | 0.053 | | min | 1853.305 | | max | 1853.420 |
| | mean | 1784.600 | | σ | 177.125 | | min | 1629.000 | | max | 2034.000 |
| | mean | 2.982 | | σ | 0.379 | | min | 2.686 | | max | 3.641 |
|