iters=5 new-facts=1 prior-facts=1 | | mean | 280.064 | | σ | 0.012 | | min | 280.044 | | max | 280.073 |
| | mean | 1624.000 | | σ | 0.000 | | min | 1624.000 | | max | 1624.000 |
| | mean | 0.385 | | σ | 0.006 | | min | 0.381 | | max | 0.392 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1302.380 | | σ | 0.047 | | min | 1302.310 | | max | 1302.432 |
| | mean | 1624.000 | | σ | 0.000 | | min | 1624.000 | | max | 1624.000 |
| | mean | 1.973 | | σ | 0.131 | | min | 1.860 | | max | 2.194 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1722.595 | | σ | 6.871 | | min | 1719.415 | | max | 1734.882 |
| | mean | 1624.000 | | σ | 0.000 | | min | 1624.000 | | max | 1624.000 |
| | mean | 2.990 | | σ | 0.409 | | min | 2.574 | | max | 3.581 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1985.286 | | σ | 0.014 | | min | 1985.267 | | max | 1985.304 |
| | mean | 1870.400 | | σ | 215.115 | | min | 1624.000 | | max | 2135.000 |
| | mean | 3.332 | | σ | 0.084 | | min | 3.211 | | max | 3.433 |
|