iters=5 new-facts=1 prior-facts=1 | | mean | 300.704 | | σ | 0.023 | | min | 300.677 | | max | 300.736 |
| | mean | 1654.000 | | σ | 0.000 | | min | 1654.000 | | max | 1654.000 |
| | mean | 0.397 | | σ | 0.009 | | min | 0.390 | | max | 0.412 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.867 | | σ | 0.104 | | min | 1322.786 | | max | 1323.040 |
| | mean | 1654.000 | | σ | 0.000 | | min | 1654.000 | | max | 1654.000 |
| | mean | 1.916 | | σ | 0.125 | | min | 1.747 | | max | 2.045 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.294 | | σ | 6.868 | | min | 1557.979 | | max | 1573.575 |
| | mean | 1654.000 | | σ | 0.000 | | min | 1654.000 | | max | 1654.000 |
| | mean | 2.226 | | σ | 0.198 | | min | 2.058 | | max | 2.553 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.799 | | σ | 0.019 | | min | 1890.780 | | max | 1890.830 |
| | mean | 1775.200 | | σ | 108.080 | | min | 1654.000 | | max | 1947.000 |
| | mean | 2.999 | | σ | 0.137 | | min | 2.877 | | max | 3.196 |
|