iters=5 new-facts=1 prior-facts=1 | | mean | 300.668 | | σ | 0.038 | | min | 300.603 | | max | 300.699 |
| | mean | 1507.000 | | σ | 0.000 | | min | 1507.000 | | max | 1507.000 |
| | mean | 0.402 | | σ | 0.006 | | min | 0.392 | | max | 0.406 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.864 | | σ | 0.093 | | min | 1322.814 | | max | 1323.029 |
| | mean | 1507.000 | | σ | 0.000 | | min | 1507.000 | | max | 1507.000 |
| | mean | 1.931 | | σ | 0.087 | | min | 1.840 | | max | 2.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.336 | | σ | 6.856 | | min | 1558.067 | | max | 1573.595 |
| | mean | 1507.000 | | σ | 0.000 | | min | 1507.000 | | max | 1507.000 |
| | mean | 2.346 | | σ | 0.246 | | min | 2.047 | | max | 2.653 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.787 | | σ | 0.018 | | min | 1890.761 | | max | 1890.809 |
| | mean | 1725.800 | | σ | 212.833 | | min | 1507.000 | | max | 2022.000 |
| | mean | 2.932 | | σ | 0.121 | | min | 2.863 | | max | 3.147 |
|