iters=5 new-facts=1 prior-facts=1 | | mean | 273.503-273.500=0.003 | | σ | 0.008-0.011=-0.004 | | min | 273.491-273.484=0.007 | | max | 273.510-273.516=-0.006 |
| | mean | 2869.000-2670.000=199.000 | | σ | 0.000 | | min | 2869.000-2670.000=199.000 | | max | 2869.000-2670.000=199.000 |
| | mean | 0.382-0.379=0.003 | | σ | 0.005-0.005=-0.000 | | min | 0.378-0.376=0.003 | | max | 0.391-0.389=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.900-1933.887=0.013 | | σ | 0.013-0.014=-0.001 | | min | 1933.890-1933.864=0.026 | | max | 1933.921-1933.901=0.020 |
| | mean | 2869.000-2670.000=199.000 | | σ | 0.000 | | min | 2869.000-2670.000=199.000 | | max | 2869.000-2670.000=199.000 |
| | mean | 2.905-3.042=-0.138 | | σ | 0.119-0.080=0.039 | | min | 2.740-2.932=-0.192 | | max | 3.062-3.123=-0.061 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.648-4754.529=0.119 | | σ | 0.844-0.938=-0.094 | | min | 4754.103-4753.777=0.326 | | max | 4756.134-4756.161=-0.027 |
| | mean | 2869.000-2670.000=199.000 | | σ | 0.000 | | min | 2869.000-2670.000=199.000 | | max | 2869.000-2670.000=199.000 |
| | mean | 8.821-8.646=0.175 | | σ | 0.478-0.634=-0.156 | | min | 8.438-7.642=0.796 | | max | 9.629-9.221=0.408 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.117-4945.118=-0.000 | | σ | 0.016-0.024=-0.008 | | min | 4945.097-4945.089=0.008 | | max | 4945.134-4945.143=-0.009 |
| | mean | 3071.400-2975.200=96.200 | | σ | 216.625-243.973=-27.348 | | min | 2869.000-2670.000=199.000 | | max | 3391.000-3310.000=81.000 |
| | mean | 8.686-8.473=0.213 | | σ | 0.191-0.055=0.136 | | min | 8.456-8.392=0.063 | | max | 8.976-8.528=0.448 |
|