iters=5 new-facts=1 prior-facts=1 | | mean | 303.513 | | σ | 0.053 | | min | 303.433 | | max | 303.570 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 0.391 | | σ | 0.001 | | min | 0.391 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.046 | | σ | 0.087 | | min | 1325.927 | | max | 1326.146 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 1.885 | | σ | 0.071 | | min | 1.810 | | max | 1.994 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.123 | | σ | 6.930 | | min | 1560.836 | | max | 1576.515 |
| | mean | 1630.000 | | σ | 0.000 | | min | 1630.000 | | max | 1630.000 |
| | mean | 2.374 | | σ | 0.372 | | min | 2.038 | | max | 2.849 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.003 | | σ | 0.067 | | min | 1893.886 | | max | 1894.045 |
| | mean | 1763.000 | | σ | 164.718 | | min | 1630.000 | | max | 2018.000 |
| | mean | 2.920 | | σ | 0.132 | | min | 2.849 | | max | 3.155 |
|