iters=5 new-facts=1 prior-facts=1 | | mean | 399.351-399.354=-0.003 | | σ | 0.088-0.089=-0.001 | | min | 399.224-399.223=0.001 | | max | 399.421-399.418=0.002 |
| | mean | 1618.000-1569.000=49.000 | | σ | 0.000 | | min | 1618.000-1569.000=49.000 | | max | 1618.000-1569.000=49.000 |
| | mean | 0.497-0.495=0.002 | | σ | 0.011-0.005=0.006 | | min | 0.489-0.492=-0.003 | | max | 0.516-0.503=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1400.843-1400.855=-0.012 | | σ | 0.023-0.031=-0.008 | | min | 1400.832-1400.835=-0.004 | | max | 1400.885-1400.907=-0.022 |
| | mean | 1618.000-1569.000=49.000 | | σ | 0.000 | | min | 1618.000-1569.000=49.000 | | max | 1618.000-1569.000=49.000 |
| | mean | 2.035-2.178=-0.143 | | σ | 0.096-0.235=-0.138 | | min | 1.964-2.043=-0.079 | | max | 2.201-2.595=-0.394 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1923.085-1923.095=-0.010 | | σ | 7.090-7.043=0.048 | | min | 1919.804-1919.813=-0.009 | | max | 1935.765-1935.687=0.078 |
| | mean | 1618.000-1569.000=49.000 | | σ | 0.000 | | min | 1618.000-1569.000=49.000 | | max | 1618.000-1569.000=49.000 |
| | mean | 4.470-4.361=0.109 | | σ | 0.326-0.153=0.172 | | min | 4.016-4.165=-0.148 | | max | 4.887-4.567=0.320 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2185.759-2185.756=0.003 | | σ | 0.015-0.017=-0.002 | | min | 2185.747-2185.740=0.007 | | max | 2185.782-2185.785=-0.003 |
| | mean | 1823.600-1841.200=-17.600 | | σ | 171.363-232.977=-61.614 | | min | 1618.000-1569.000=49.000 | | max | 2060.000-2131.000=-71.000 |
| | mean | 4.676-4.707=-0.032 | | σ | 0.107-0.060=0.047 | | min | 4.565-4.642=-0.077 | | max | 4.840-4.774=0.067 |
|