iters=5 new-facts=1 prior-facts=1 | | mean | 277.741-277.734=0.007 | | σ | 0.008-0.010=-0.001 | | min | 277.730-277.720=0.010 | | max | 277.753-277.747=0.006 |
| | mean | 2655.000-2642.000=13.000 | | σ | 0.000 | | min | 2655.000-2642.000=13.000 | | max | 2655.000-2642.000=13.000 |
| | mean | 0.408-0.412=-0.004 | | σ | 0.001-0.002=-0.001 | | min | 0.406-0.410=-0.004 | | max | 0.409-0.416=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.887-2267.889=-0.002 | | σ | 0.010-0.003=0.007 | | min | 2267.872-2267.885=-0.013 | | max | 2267.895-2267.891=0.003 |
| | mean | 2655.000-2642.000=13.000 | | σ | 0.000 | | min | 2655.000-2642.000=13.000 | | max | 2655.000-2642.000=13.000 |
| | mean | 3.028-3.195=-0.167 | | σ | 0.199-0.192=0.007 | | min | 2.749-2.919=-0.170 | | max | 3.225-3.382=-0.157 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.171-4955.137=0.035 | | σ | 1.062-1.170=-0.109 | | min | 4954.597-4954.479=0.118 | | max | 4957.066-4957.218=-0.152 |
| | mean | 2655.000-2642.000=13.000 | | σ | 0.000 | | min | 2655.000-2642.000=13.000 | | max | 2655.000-2642.000=13.000 |
| | mean | 7.907-8.311=-0.405 | | σ | 0.176-0.305=-0.129 | | min | 7.644-7.976=-0.333 | | max | 8.094-8.642=-0.547 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.651-5169.723=-0.072 | | σ | 0.277-0.221=0.056 | | min | 5169.175-5169.348=-0.173 | | max | 5169.848-5169.877=-0.028 |
| | mean | 3420.600-3401.600=19.000 | | σ | 483.805-539.537=-55.732 | | min | 2868.000-2921.000=-53.000 | | max | 4151.000-4179.000=-28.000 |
| | mean | 9.314-9.578=-0.264 | | σ | 0.178-0.226=-0.048 | | min | 9.133-9.413=-0.280 | | max | 9.583-9.929=-0.345 |
|