iters=5 new-facts=1 prior-facts=1 | | mean | 394.160 | | σ | 0.078 | | min | 394.029 | | max | 394.213 |
| | mean | 1506.000 | | σ | 0.000 | | min | 1506.000 | | max | 1506.000 |
| | mean | 0.489 | | σ | 0.006 | | min | 0.485 | | max | 0.497 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1395.765 | | σ | 0.072 | | min | 1395.729 | | max | 1395.894 |
| | mean | 1506.000 | | σ | 0.000 | | min | 1506.000 | | max | 1506.000 |
| | mean | 1.989 | | σ | 0.047 | | min | 1.909 | | max | 2.034 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1917.935 | | σ | 7.141 | | min | 1914.605 | | max | 1930.703 |
| | mean | 1506.000 | | σ | 0.000 | | min | 1506.000 | | max | 1506.000 |
| | mean | 4.292 | | σ | 0.226 | | min | 4.013 | | max | 4.582 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2180.560 | | σ | 0.015 | | min | 2180.551 | | max | 2180.587 |
| | mean | 1846.400 | | σ | 212.582 | | min | 1583.000 | | max | 2082.000 |
| | mean | 4.651 | | σ | 0.056 | | min | 4.594 | | max | 4.729 |
|