iters=5 new-facts=1 prior-facts=1 | | mean | 300.698 | | σ | 0.024 | | min | 300.667 | | max | 300.728 |
| | mean | 1430.000 | | σ | 0.000 | | min | 1430.000 | | max | 1430.000 |
| | mean | 0.392 | | σ | 0.005 | | min | 0.389 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.875 | | σ | 0.096 | | min | 1322.817 | | max | 1323.041 |
| | mean | 1430.000 | | σ | 0.000 | | min | 1430.000 | | max | 1430.000 |
| | mean | 1.891 | | σ | 0.076 | | min | 1.808 | | max | 1.997 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.333 | | σ | 6.830 | | min | 1558.039 | | max | 1573.547 |
| | mean | 1430.000 | | σ | 0.000 | | min | 1430.000 | | max | 1430.000 |
| | mean | 2.368 | | σ | 0.205 | | min | 2.020 | | max | 2.538 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.779 | | σ | 0.024 | | min | 1890.742 | | max | 1890.809 |
| | mean | 1711.200 | | σ | 234.537 | | min | 1430.000 | | max | 2012.000 |
| | mean | 2.988 | | σ | 0.303 | | min | 2.709 | | max | 3.450 |
|