iters=5 new-facts=1 prior-facts=1 | | mean | 343.134-343.136=-0.002 | | σ | 0.068-0.068=-0.001 | | min | 343.013-343.014=-0.001 | | max | 343.173-343.174=-0.002 |
| | mean | 2843.000-2844.000=-1.000 | | σ | 0.000 | | min | 2843.000-2844.000=-1.000 | | max | 2843.000-2844.000=-1.000 |
| | mean | 0.443-0.438=0.005 | | σ | 0.005-0.005=0.000 | | min | 0.439-0.434=0.005 | | max | 0.449-0.447=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2003.705-2003.700=0.005 | | σ | 0.012-0.014=-0.002 | | min | 2003.684-2003.681=0.003 | | max | 2003.713 |
| | mean | 2843.000-2844.000=-1.000 | | σ | 0.000 | | min | 2843.000-2844.000=-1.000 | | max | 2843.000-2844.000=-1.000 |
| | mean | 2.601-2.726=-0.125 | | σ | 0.095-0.168=-0.072 | | min | 2.508-2.551=-0.043 | | max | 2.714-2.968=-0.254 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4827.392-4827.423=-0.031 | | σ | 7.768-7.733=0.035 | | min | 4823.766-4823.753=0.013 | | max | 4841.285-4841.251=0.035 |
| | mean | 2843.000-2844.000=-1.000 | | σ | 0.000 | | min | 2843.000-2844.000=-1.000 | | max | 2843.000-2844.000=-1.000 |
| | mean | 8.619-8.622=-0.003 | | σ | 0.840-0.976=-0.136 | | min | 7.720-7.779=-0.059 | | max | 9.424-9.986=-0.562 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5014.857-5014.916=-0.060 | | σ | 0.123-0.031=0.091 | | min | 5014.644-5014.876=-0.232 | | max | 5014.950-5014.953=-0.004 |
| | mean | 3063.400-3059.000=4.400 | | σ | 291.733-288.020=3.713 | | min | 2843.000-2844.000=-1.000 | | max | 3516.000-3505.000=11.000 |
| | mean | 8.547-8.496=0.052 | | σ | 0.099-0.101=-0.002 | | min | 8.501-8.365=0.136 | | max | 8.725-8.635=0.089 |
|