iters=5 new-facts=1 prior-facts=1 | | mean | 299.454 | | σ | 0.033 | | min | 299.417 | | max | 299.491 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 0.384 | | σ | 0.002 | | min | 0.382 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1309.867 | | σ | 0.088 | | min | 1309.752 | | max | 1309.989 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 1.889 | | σ | 0.053 | | min | 1.806 | | max | 1.945 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1553.968 | | σ | 6.874 | | min | 1550.633 | | max | 1566.259 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 2.263 | | σ | 0.223 | | min | 2.121 | | max | 2.659 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1871.764 | | σ | 0.055 | | min | 1871.699 | | max | 1871.806 |
| | mean | 1760.200 | | σ | 120.429 | | min | 1655.000 | | max | 1949.000 |
| | mean | 3.029 | | σ | 0.277 | | min | 2.819 | | max | 3.501 |
|