iters=5 new-facts=1 prior-facts=1 | | mean | 345.171-345.202=-0.031 | | σ | 0.057-0.075=-0.018 | | min | 345.070-345.071=-0.002 | | max | 345.204-345.258=-0.055 |
| | mean | 2752.000-2729.000=23.000 | | σ | 0.000 | | min | 2752.000-2729.000=23.000 | | max | 2752.000-2729.000=23.000 |
| | mean | 0.444-0.447=-0.004 | | σ | 0.010-0.007=0.003 | | min | 0.438-0.442=-0.004 | | max | 0.462-0.459=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2007.364-2007.369=-0.005 | | σ | 0.011-0.015=-0.004 | | min | 2007.352-2007.354=-0.003 | | max | 2007.381-2007.392=-0.010 |
| | mean | 2752.000-2729.000=23.000 | | σ | 0.000 | | min | 2752.000-2729.000=23.000 | | max | 2752.000-2729.000=23.000 |
| | mean | 2.767-2.728=0.038 | | σ | 0.109-0.080=0.029 | | min | 2.662-2.643=0.019 | | max | 2.944-2.856=0.088 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4832.114-4832.156=-0.041 | | σ | 7.771-7.785=-0.014 | | min | 4828.236-4828.254=-0.018 | | max | 4846.008-4846.073=-0.065 |
| | mean | 2752.000-2729.000=23.000 | | σ | 0.000 | | min | 2752.000-2729.000=23.000 | | max | 2752.000-2729.000=23.000 |
| | mean | 8.351-8.825=-0.474 | | σ | 0.499-0.673=-0.174 | | min | 7.875-7.739=0.136 | | max | 9.148-9.407=-0.259 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5019.707-5019.763=-0.056 | | σ | 0.152-0.018=0.134 | | min | 5019.437-5019.742=-0.306 | | max | 5019.797-5019.785=0.012 |
| | mean | 3011.800-3008.200=3.600 | | σ | 306.889-253.238=53.650 | | min | 2752.000-2729.000=23.000 | | max | 3451.000-3342.000=109.000 |
| | mean | 9.739-9.702=0.037 | | σ | 0.496-0.104=0.393 | | min | 8.901-9.548=-0.647 | | max | 10.116-9.797=0.319 |
|