iters=5 new-facts=1 prior-facts=1 | | mean | 277.192-277.193=-0.001 | | σ | 0.004-0.005=-0.000 | | min | 277.187-277.189=-0.002 | | max | 277.199-277.198=0.000 |
| | mean | 2647.000-2650.000=-3.000 | | σ | 0.000 | | min | 2647.000-2650.000=-3.000 | | max | 2647.000-2650.000=-3.000 |
| | mean | 0.395-0.393=0.001 | | σ | 0.002-0.008=-0.006 | | min | 0.393-0.389=0.004 | | max | 0.399-0.407=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2169.694-2169.689=0.004 | | σ | 0.021-0.011=0.011 | | min | 2169.677-2169.671=0.006 | | max | 2169.730-2169.700=0.030 |
| | mean | 2647.000-2650.000=-3.000 | | σ | 0.000 | | min | 2647.000-2650.000=-3.000 | | max | 2647.000-2650.000=-3.000 |
| | mean | 2.861-2.787=0.075 | | σ | 0.120-0.062=0.057 | | min | 2.758-2.734=0.024 | | max | 3.030-2.893=0.137 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5049.434-5049.443=-0.009 | | σ | 1.067-1.086=-0.019 | | min | 5048.637-5048.479=0.157 | | max | 5051.306-5051.311=-0.005 |
| | mean | 2647.000-2650.000=-3.000 | | σ | 0.000 | | min | 2647.000-2650.000=-3.000 | | max | 2647.000-2650.000=-3.000 |
| | mean | 8.906-8.933=-0.028 | | σ | 0.527-0.563=-0.036 | | min | 8.088-8.056=0.032 | | max | 9.437-9.482=-0.045 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5180.643-5180.659=-0.016 | | σ | 0.109-0.086=0.023 | | min | 5180.513-5180.588=-0.076 | | max | 5180.763-5180.758=0.005 |
| | mean | 3213.200-3212.200=1.000 | | σ | 480.122-481.628=-1.506 | | min | 2647.000-2650.000=-3.000 | | max | 3860.000-3863.000=-3.000 |
| | mean | 8.715-8.824=-0.109 | | σ | 0.211-0.364=-0.152 | | min | 8.566-8.632=-0.066 | | max | 9.088-9.473=-0.384 |
|