iters=5 new-facts=1 prior-facts=1 | | mean | 301.450 | | σ | 0.055 | | min | 301.364 | | max | 301.503 |
| | mean | 1648.000 | | σ | 0.000 | | min | 1648.000 | | max | 1648.000 |
| | mean | 0.397 | | σ | 0.007 | | min | 0.391 | | max | 0.406 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.064 | | σ | 0.109 | | min | 1323.927 | | max | 1324.192 |
| | mean | 1648.000 | | σ | 0.000 | | min | 1648.000 | | max | 1648.000 |
| | mean | 1.907 | | σ | 0.089 | | min | 1.818 | | max | 2.019 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.075 | | σ | 6.911 | | min | 1558.786 | | max | 1574.433 |
| | mean | 1648.000 | | σ | 0.000 | | min | 1648.000 | | max | 1648.000 |
| | mean | 2.299 | | σ | 0.280 | | min | 2.051 | | max | 2.661 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.967 | | σ | 0.064 | | min | 1891.859 | | max | 1892.015 |
| | mean | 1776.400 | | σ | 163.133 | | min | 1648.000 | | max | 2029.000 |
| | mean | 2.892 | | σ | 0.031 | | min | 2.867 | | max | 2.945 |
|