iters=5 new-facts=1 prior-facts=1 | | mean | 300.671 | | σ | 0.037 | | min | 300.616 | | max | 300.708 |
| | mean | 1446.000 | | σ | 0.000 | | min | 1446.000 | | max | 1446.000 |
| | mean | 0.396 | | σ | 0.005 | | min | 0.391 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.856 | | σ | 0.108 | | min | 1322.772 | | max | 1323.043 |
| | mean | 1446.000 | | σ | 0.000 | | min | 1446.000 | | max | 1446.000 |
| | mean | 1.912 | | σ | 0.080 | | min | 1.822 | | max | 2.001 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.338 | | σ | 6.872 | | min | 1558.017 | | max | 1573.626 |
| | mean | 1446.000 | | σ | 0.000 | | min | 1446.000 | | max | 1446.000 |
| | mean | 2.405 | | σ | 0.235 | | min | 2.164 | | max | 2.681 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.796 | | σ | 0.031 | | min | 1890.771 | | max | 1890.849 |
| | mean | 1739.000 | | σ | 195.446 | | min | 1498.000 | | max | 1934.000 |
| | mean | 3.208 | | σ | 0.414 | | min | 2.874 | | max | 3.852 |
|