iters=5 new-facts=1 prior-facts=1 | | mean | 324.581-324.581=-0.001 | | σ | 0.051-0.053=-0.002 | | min | 324.490-324.488=0.002 | | max | 324.612-324.618=-0.006 |
| | mean | 2845.000-2749.000=96.000 | | σ | 0.000 | | min | 2845.000-2749.000=96.000 | | max | 2845.000-2749.000=96.000 |
| | mean | 0.423-0.423=0.000 | | σ | 0.001-0.001=-0.000 | | min | 0.421-0.421=0.000 | | max | 0.424-0.424=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.148-1985.142=0.006 | | σ | 0.012-0.019=-0.007 | | min | 1985.132-1985.110=0.022 | | max | 1985.164-1985.159=0.005 |
| | mean | 2845.000-2749.000=96.000 | | σ | 0.000 | | min | 2845.000-2749.000=96.000 | | max | 2845.000-2749.000=96.000 |
| | mean | 2.590-2.612=-0.021 | | σ | 0.053-0.121=-0.068 | | min | 2.539-2.501=0.038 | | max | 2.658-2.786=-0.128 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.455-4808.761=-0.306 | | σ | 7.839-7.653=0.186 | | min | 4804.354-4805.239=-0.885 | | max | 4822.453-4822.450=0.002 |
| | mean | 2845.000-2749.000=96.000 | | σ | 0.000 | | min | 2845.000-2749.000=96.000 | | max | 2845.000-2749.000=96.000 |
| | mean | 8.672-8.686=-0.014 | | σ | 0.852-0.548=0.304 | | min | 7.655-7.726=-0.071 | | max | 9.873-9.054=0.819 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.272-4996.206=0.066 | | σ | 0.149-0.201=-0.052 | | min | 4996.008-4995.978=0.030 | | max | 4996.366-4996.368=-0.002 |
| | mean | 3049.000-3026.400=22.600 | | σ | 215.781-213.754=2.027 | | min | 2845.000-2749.000=96.000 | | max | 3363.000-3314.000=49.000 |
| | mean | 8.640-8.608=0.032 | | σ | 0.242-0.147=0.095 | | min | 8.397-8.452=-0.055 | | max | 9.011-8.780=0.231 |
|