iters=5 new-facts=1 prior-facts=1 | | mean | 277.715-277.718=-0.003 | | σ | 0.010-0.013=-0.004 | | min | 277.701-277.702=-0.001 | | max | 277.725-277.736=-0.011 |
| | mean | 2650.000-2641.000=9.000 | | σ | 0.000 | | min | 2650.000-2641.000=9.000 | | max | 2650.000-2641.000=9.000 |
| | mean | 0.410-0.410=0.000 | | σ | 0.003-0.002=0.002 | | min | 0.407-0.408=-0.001 | | max | 0.415-0.412=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.892-2267.879=0.013 | | σ | 0.002-0.014=-0.012 | | min | 2267.889-2267.855=0.035 | | max | 2267.894-2267.887=0.007 |
| | mean | 2650.000-2641.000=9.000 | | σ | 0.000 | | min | 2650.000-2641.000=9.000 | | max | 2650.000-2641.000=9.000 |
| | mean | 3.006-2.918=0.088 | | σ | 0.200-0.061=0.139 | | min | 2.816-2.875=-0.059 | | max | 3.326-3.025=0.301 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.062-4954.830=0.232 | | σ | 0.826-1.015=-0.189 | | min | 4954.600-4954.095=0.505 | | max | 4956.535-4956.564=-0.029 |
| | mean | 2650.000-2641.000=9.000 | | σ | 0.000 | | min | 2650.000-2641.000=9.000 | | max | 2650.000-2641.000=9.000 |
| | mean | 7.945-7.979=-0.034 | | σ | 0.187-0.158=0.030 | | min | 7.706-7.780=-0.074 | | max | 8.171-8.210=-0.039 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.783-5169.788=-0.005 | | σ | 0.092-0.085=0.007 | | min | 5169.676-5169.695=-0.019 | | max | 5169.871-5169.863=0.007 |
| | mean | 3441.400-3390.000=51.400 | | σ | 469.934-454.157=15.776 | | min | 2863.000-2811.000=52.000 | | max | 4112.000-3998.000=114.000 |
| | mean | 9.460-9.382=0.078 | | σ | 0.176-0.344=-0.168 | | min | 9.216-8.984=0.232 | | max | 9.660-9.755=-0.095 |
|