iters=5 new-facts=1 prior-facts=1 | | mean | 285.416 | | σ | 0.012 | | min | 285.398 | | max | 285.430 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 0.382 | | σ | 0.008 | | min | 0.373 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.359 | | σ | 0.090 | | min | 1285.316 | | max | 1285.520 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 2.061 | | σ | 0.243 | | min | 1.860 | | max | 2.400 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.734 | | σ | 6.993 | | min | 1804.327 | | max | 1820.227 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 4.279 | | σ | 0.336 | | min | 3.783 | | max | 4.680 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.191 | | σ | 0.011 | | min | 2070.184 | | max | 2070.210 |
| | mean | 1860.000 | | σ | 196.306 | | min | 1638.000 | | max | 2086.000 |
| | mean | 4.446 | | σ | 0.120 | | min | 4.252 | | max | 4.565 |
|