iters=5 new-facts=1 prior-facts=1 | | mean | 294.415-294.415=0.000 | | σ | 0.016-0.018=-0.002 | | min | 294.395-294.393=0.002 | | max | 294.438-294.440=-0.002 |
| | mean | 1655.000-1638.000=17.000 | | σ | 0.000 | | min | 1655.000-1638.000=17.000 | | max | 1655.000-1638.000=17.000 |
| | mean | 0.395-0.390=0.005 | | σ | 0.011-0.009=0.002 | | min | 0.380-0.383=-0.002 | | max | 0.403-0.401=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.714-1316.696=0.018 | | σ | 0.086-0.077=0.009 | | min | 1316.565-1316.565=0.000 | | max | 1316.784-1316.771=0.013 |
| | mean | 1655.000-1638.000=17.000 | | σ | 0.000 | | min | 1655.000-1638.000=17.000 | | max | 1655.000-1638.000=17.000 |
| | mean | 1.886-1.894=-0.007 | | σ | 0.050-0.080=-0.030 | | min | 1.828-1.827=0.001 | | max | 1.944-2.029=-0.085 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1736.930-1736.943=-0.013 | | σ | 6.935-6.906=0.029 | | min | 1733.645-1733.696=-0.051 | | max | 1749.332-1749.292=0.040 |
| | mean | 1655.000-1638.000=17.000 | | σ | 0.000 | | min | 1655.000-1638.000=17.000 | | max | 1655.000-1638.000=17.000 |
| | mean | 3.186-3.067=0.119 | | σ | 0.415-0.360=0.056 | | min | 2.572-2.624=-0.052 | | max | 3.696-3.506=0.190 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1999.658-1999.669=-0.011 | | σ | 0.012-0.018=-0.006 | | min | 1999.643-1999.642=0.002 | | max | 1999.675-1999.687=-0.012 |
| | mean | 1891.200-1868.600=22.600 | | σ | 197.772-193.833=3.939 | | min | 1655.000-1638.000=17.000 | | max | 2114.000-2111.000=3.000 |
| | mean | 3.322-3.343=-0.021 | | σ | 0.098-0.096=0.002 | | min | 3.184-3.257=-0.073 | | max | 3.412-3.495=-0.083 |
|