iters=5 new-facts=1 prior-facts=1 | | mean | 297.320 | | σ | 0.007 | | min | 297.315 | | max | 297.332 |
| | mean | 1513.000 | | σ | 0.000 | | min | 1513.000 | | max | 1513.000 |
| | mean | 0.386 | | σ | 0.001 | | min | 0.384 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1298.981 | | σ | 0.087 | | min | 1298.844 | | max | 1299.056 |
| | mean | 1513.000 | | σ | 0.000 | | min | 1513.000 | | max | 1513.000 |
| | mean | 1.936 | | σ | 0.034 | | min | 1.903 | | max | 1.982 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.181 | | σ | 6.916 | | min | 1715.961 | | max | 1731.549 |
| | mean | 1513.000 | | σ | 0.000 | | min | 1513.000 | | max | 1513.000 |
| | mean | 3.100 | | σ | 0.415 | | min | 2.586 | | max | 3.642 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.910 | | σ | 0.038 | | min | 1981.860 | | max | 1981.943 |
| | mean | 1777.800 | | σ | 203.909 | | min | 1513.000 | | max | 2033.000 |
| | mean | 3.143 | | σ | 0.079 | | min | 3.031 | | max | 3.243 |
|