iters=5 new-facts=1 prior-facts=1 | | mean | 285.408 | | σ | 0.036 | | min | 285.360 | | max | 285.442 |
| | mean | 1602.000 | | σ | 0.000 | | min | 1602.000 | | max | 1602.000 |
| | mean | 0.388 | | σ | 0.007 | | min | 0.382 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.796 | | σ | 0.115 | | min | 1295.682 | | max | 1295.967 |
| | mean | 1602.000 | | σ | 0.000 | | min | 1602.000 | | max | 1602.000 |
| | mean | 1.961 | | σ | 0.120 | | min | 1.862 | | max | 2.137 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1538.640 | | σ | 3.993 | | min | 1536.611 | | max | 1545.771 |
| | mean | 1602.000 | | σ | 0.000 | | min | 1602.000 | | max | 1602.000 |
| | mean | 2.267 | | σ | 0.202 | | min | 2.089 | | max | 2.585 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.717 | | σ | 0.055 | | min | 1857.651 | | max | 1857.779 |
| | mean | 1758.000 | | σ | 152.026 | | min | 1602.000 | | max | 1910.000 |
| | mean | 3.115 | | σ | 0.345 | | min | 2.899 | | max | 3.725 |
|