iters=5 new-facts=1 prior-facts=1 | | mean | 297.301 | | σ | 0.019 | | min | 297.268 | | max | 297.313 |
| | mean | 1513.000 | | σ | 0.000 | | min | 1513.000 | | max | 1513.000 |
| | mean | 0.389 | | σ | 0.002 | | min | 0.385 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1298.692 | | σ | 0.049 | | min | 1298.611 | | max | 1298.726 |
| | mean | 1513.000 | | σ | 0.000 | | min | 1513.000 | | max | 1513.000 |
| | mean | 1.888 | | σ | 0.059 | | min | 1.829 | | max | 1.982 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1718.874 | | σ | 6.881 | | min | 1715.690 | | max | 1731.179 |
| | mean | 1513.000 | | σ | 0.000 | | min | 1513.000 | | max | 1513.000 |
| | mean | 2.890 | | σ | 0.261 | | min | 2.530 | | max | 3.224 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.593 | | σ | 0.032 | | min | 1981.538 | | max | 1981.622 |
| | mean | 1784.200 | | σ | 219.908 | | min | 1525.000 | | max | 2082.000 |
| | mean | 3.313 | | σ | 0.370 | | min | 3.027 | | max | 3.949 |
|