iters=5 new-facts=1 prior-facts=1 | | mean | 285.652 | | σ | 0.011 | | min | 285.634 | | max | 285.662 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 0.375 | | σ | 0.005 | | min | 0.371 | | max | 0.384 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.635 | | σ | 0.123 | | min | 1285.576 | | max | 1285.855 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 2.043 | | σ | 0.251 | | min | 1.829 | | max | 2.428 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.963 | | σ | 7.014 | | min | 1804.596 | | max | 1820.495 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 4.176 | | σ | 0.241 | | min | 3.839 | | max | 4.509 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.458 | | σ | 0.014 | | min | 2070.445 | | max | 2070.479 |
| | mean | 1831.200 | | σ | 174.649 | | min | 1631.000 | | max | 2067.000 |
| | mean | 4.529 | | σ | 0.043 | | min | 4.485 | | max | 4.588 |
|