iters=5 new-facts=1 prior-facts=1 | | mean | 299.442 | | σ | 0.050 | | min | 299.361 | | max | 299.487 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 0.386 | | σ | 0.002 | | min | 0.384 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1309.891 | | σ | 0.101 | | min | 1309.755 | | max | 1310.001 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 1.893 | | σ | 0.138 | | min | 1.788 | | max | 2.081 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1553.967 | | σ | 6.880 | | min | 1550.633 | | max | 1566.269 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 2.259 | | σ | 0.231 | | min | 2.103 | | max | 2.664 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1871.779 | | σ | 0.068 | | min | 1871.681 | | max | 1871.851 |
| | mean | 1762.000 | | σ | 161.968 | | min | 1652.000 | | max | 2020.000 |
| | mean | 2.816 | | σ | 0.177 | | min | 2.632 | | max | 3.006 |
|