iters=5 new-facts=1 prior-facts=1 | | mean | 271.622-271.623=-0.001 | | σ | 0.007-0.008=-0.001 | | min | 271.611-271.616=-0.006 | | max | 271.628-271.636=-0.009 |
| | mean | 2857.000-2850.000=7.000 | | σ | 0.000 | | min | 2857.000-2850.000=7.000 | | max | 2857.000-2850.000=7.000 |
| | mean | 0.380-0.388=-0.007 | | σ | 0.007-0.007=-0.000 | | min | 0.377-0.380=-0.004 | | max | 0.393-0.396=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.040-1932.040=-0.000 | | σ | 0.017-0.007=0.010 | | min | 1932.011-1932.032=-0.022 | | max | 1932.056-1932.049=0.007 |
| | mean | 2857.000-2850.000=7.000 | | σ | 0.000 | | min | 2857.000-2850.000=7.000 | | max | 2857.000-2850.000=7.000 |
| | mean | 2.949-3.114=-0.165 | | σ | 0.166-0.167=-0.002 | | min | 2.757-2.937=-0.180 | | max | 3.192-3.358=-0.167 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.852-4752.705=0.147 | | σ | 0.799-0.873=-0.073 | | min | 4752.418-4751.944=0.473 | | max | 4754.279-4754.212=0.067 |
| | mean | 2857.000-2850.000=7.000 | | σ | 0.000 | | min | 2857.000-2850.000=7.000 | | max | 2857.000-2850.000=7.000 |
| | mean | 7.922-8.041=-0.119 | | σ | 0.350-0.427=-0.077 | | min | 7.714-7.699=0.015 | | max | 8.540-8.701=-0.161 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.157-4943.159=-0.002 | | σ | 0.149-0.161=-0.013 | | min | 4942.891-4942.873=0.018 | | max | 4943.232-4943.263=-0.031 |
| | mean | 3086.200-3053.200=33.000 | | σ | 307.026-260.175=46.850 | | min | 2857.000-2850.000=7.000 | | max | 3564.000-3446.000=118.000 |
| | mean | 8.459-8.444=0.015 | | σ | 0.114-0.112=0.002 | | min | 8.366-8.322=0.044 | | max | 8.648-8.621=0.027 |
|