iters=5 new-facts=1 prior-facts=1 | | mean | 297.311 | | σ | 0.007 | | min | 297.300 | | max | 297.320 |
| | mean | 1621.000 | | σ | 0.000 | | min | 1621.000 | | max | 1621.000 |
| | mean | 0.386 | | σ | 0.001 | | min | 0.385 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1298.682 | | σ | 0.077 | | min | 1298.547 | | max | 1298.734 |
| | mean | 1621.000 | | σ | 0.000 | | min | 1621.000 | | max | 1621.000 |
| | mean | 2.011 | | σ | 0.097 | | min | 1.852 | | max | 2.112 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1718.876 | | σ | 6.952 | | min | 1715.583 | | max | 1731.308 |
| | mean | 1621.000 | | σ | 0.000 | | min | 1621.000 | | max | 1621.000 |
| | mean | 3.055 | | σ | 0.489 | | min | 2.609 | | max | 3.820 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.620 | | σ | 0.015 | | min | 1981.604 | | max | 1981.640 |
| | mean | 1855.000 | | σ | 215.206 | | min | 1621.000 | | max | 2135.000 |
| | mean | 3.264 | | σ | 0.095 | | min | 3.187 | | max | 3.387 |
|