iters=5 new-facts=1 prior-facts=1 | | mean | 300.702 | | σ | 0.020 | | min | 300.676 | | max | 300.728 |
| | mean | 1422.000 | | σ | 0.000 | | min | 1422.000 | | max | 1422.000 |
| | mean | 0.396 | | σ | 0.007 | | min | 0.388 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.871 | | σ | 0.096 | | min | 1322.812 | | max | 1323.037 |
| | mean | 1422.000 | | σ | 0.000 | | min | 1422.000 | | max | 1422.000 |
| | mean | 1.933 | | σ | 0.106 | | min | 1.828 | | max | 2.070 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.318 | | σ | 6.856 | | min | 1558.014 | | max | 1573.576 |
| | mean | 1422.000 | | σ | 0.000 | | min | 1422.000 | | max | 1422.000 |
| | mean | 2.311 | | σ | 0.192 | | min | 2.048 | | max | 2.555 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.779 | | σ | 0.024 | | min | 1890.743 | | max | 1890.810 |
| | mean | 1716.200 | | σ | 241.011 | | min | 1422.000 | | max | 2032.000 |
| | mean | 2.899 | | σ | 0.174 | | min | 2.661 | | max | 3.153 |
|