iters=5 new-facts=1 prior-facts=1 | | mean | 300.721 | | σ | 0.025 | | min | 300.688 | | max | 300.755 |
| | mean | 1514.000 | | σ | 0.000 | | min | 1514.000 | | max | 1514.000 |
| | mean | 0.393 | | σ | 0.008 | | min | 0.389 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.891 | | σ | 0.094 | | min | 1322.837 | | max | 1323.057 |
| | mean | 1514.000 | | σ | 0.000 | | min | 1514.000 | | max | 1514.000 |
| | mean | 1.902 | | σ | 0.074 | | min | 1.823 | | max | 1.986 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.367 | | σ | 6.894 | | min | 1558.058 | | max | 1573.695 |
| | mean | 1514.000 | | σ | 0.000 | | min | 1514.000 | | max | 1514.000 |
| | mean | 2.423 | | σ | 0.350 | | min | 2.064 | | max | 2.925 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.816 | | σ | 0.016 | | min | 1890.796 | | max | 1890.837 |
| | mean | 1732.800 | | σ | 212.496 | | min | 1514.000 | | max | 2030.000 |
| | mean | 2.945 | | σ | 0.106 | | min | 2.872 | | max | 3.130 |
|