iters=5 new-facts=1 prior-facts=1 | | mean | 301.468 | | σ | 0.073 | | min | 301.351 | | max | 301.537 |
| | mean | 1627.000 | | σ | 0.000 | | min | 1627.000 | | max | 1627.000 |
| | mean | 0.399 | | σ | 0.011 | | min | 0.389 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.052 | | σ | 0.100 | | min | 1323.927 | | max | 1324.186 |
| | mean | 1627.000 | | σ | 0.000 | | min | 1627.000 | | max | 1627.000 |
| | mean | 1.927 | | σ | 0.141 | | min | 1.827 | | max | 2.169 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.116 | | σ | 6.918 | | min | 1558.809 | | max | 1574.488 |
| | mean | 1627.000 | | σ | 0.000 | | min | 1627.000 | | max | 1627.000 |
| | mean | 2.423 | | σ | 0.362 | | min | 2.033 | | max | 2.864 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.969 | | σ | 0.067 | | min | 1891.851 | | max | 1892.007 |
| | mean | 1767.000 | | σ | 171.504 | | min | 1627.000 | | max | 2034.000 |
| | mean | 2.940 | | σ | 0.122 | | min | 2.863 | | max | 3.156 |
|