iters=5 new-facts=1 prior-facts=1 | | mean | 285.412 | | σ | 0.011 | | min | 285.397 | | max | 285.424 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 0.380 | | σ | 0.007 | | min | 0.370 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.373 | | σ | 0.133 | | min | 1285.305 | | max | 1285.611 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 1.877 | | σ | 0.055 | | min | 1.829 | | max | 1.972 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.753 | | σ | 6.987 | | min | 1804.380 | | max | 1820.235 |
| | mean | 1644.000 | | σ | 0.000 | | min | 1644.000 | | max | 1644.000 |
| | mean | 4.299 | | σ | 0.173 | | min | 4.067 | | max | 4.491 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.195 | | σ | 0.011 | | min | 2070.183 | | max | 2070.212 |
| | mean | 1844.800 | | σ | 189.405 | | min | 1644.000 | | max | 2087.000 |
| | mean | 4.514 | | σ | 0.059 | | min | 4.439 | | max | 4.580 |
|