iters=5 new-facts=1 prior-facts=1 | | mean | 303.499 | | σ | 0.081 | | min | 303.366 | | max | 303.572 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 0.390 | | σ | 0.006 | | min | 0.386 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.061 | | σ | 0.108 | | min | 1325.925 | | max | 1326.194 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 1.893 | | σ | 0.067 | | min | 1.832 | | max | 1.982 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.189 | | σ | 6.873 | | min | 1560.908 | | max | 1576.479 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 2.479 | | σ | 0.267 | | min | 2.025 | | max | 2.737 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.004 | | σ | 0.065 | | min | 1893.889 | | max | 1894.045 |
| | mean | 1775.400 | | σ | 169.985 | | min | 1637.000 | | max | 2043.000 |
| | mean | 2.947 | | σ | 0.148 | | min | 2.847 | | max | 3.207 |
|