iters=5 new-facts=1 prior-facts=1 | | mean | 301.486 | | σ | 0.034 | | min | 301.445 | | max | 301.525 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 0.392 | | σ | 0.006 | | min | 0.388 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.061 | | σ | 0.113 | | min | 1323.922 | | max | 1324.199 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 1.872 | | σ | 0.065 | | min | 1.815 | | max | 1.976 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.082 | | σ | 6.898 | | min | 1558.778 | | max | 1574.417 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 2.300 | | σ | 0.253 | | min | 2.003 | | max | 2.563 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.969 | | σ | 0.065 | | min | 1891.854 | | max | 1892.006 |
| | mean | 1770.000 | | σ | 169.090 | | min | 1628.000 | | max | 2016.000 |
| | mean | 2.939 | | σ | 0.101 | | min | 2.880 | | max | 3.118 |
|