iters=5 new-facts=1 prior-facts=1 | | mean | 297.584-297.591=-0.007 | | σ | 0.013-0.007=0.006 | | min | 297.565-297.585=-0.020 | | max | 297.600-297.602=-0.002 |
| | mean | 1529.000-1512.000=17.000 | | σ | 0.000 | | min | 1529.000-1512.000=17.000 | | max | 1529.000-1512.000=17.000 |
| | mean | 0.392-0.392=-0.001 | | σ | 0.008-0.007=0.000 | | min | 0.385-0.387=-0.001 | | max | 0.404-0.402=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1320.544-1320.548=-0.005 | | σ | 0.085-0.097=-0.012 | | min | 1320.392-1320.375=0.018 | | max | 1320.599-1320.600=-0.001 |
| | mean | 1529.000-1512.000=17.000 | | σ | 0.000 | | min | 1529.000-1512.000=17.000 | | max | 1529.000-1512.000=17.000 |
| | mean | 1.977-1.915=0.062 | | σ | 0.089-0.052=0.037 | | min | 1.870-1.860=0.010 | | max | 2.066-1.995=0.071 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1740.712-1740.718=-0.006 | | σ | 6.899-6.935=-0.036 | | min | 1737.519-1737.526=-0.007 | | max | 1753.049-1753.121=-0.072 |
| | mean | 1529.000-1512.000=17.000 | | σ | 0.000 | | min | 1529.000-1512.000=17.000 | | max | 1529.000-1512.000=17.000 |
| | mean | 2.997-2.984=0.013 | | σ | 0.357-0.425=-0.069 | | min | 2.599-2.682=-0.083 | | max | 3.503-3.727=-0.223 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2003.463-2003.473=-0.010 | | σ | 0.009-0.012=-0.003 | | min | 2003.452-2003.464=-0.012 | | max | 2003.474-2003.493=-0.019 |
| | mean | 1799.000-1801.000=-2.000 | | σ | 211.068-222.757=-11.689 | | min | 1533.000-1512.000=21.000 | | max | 1996.000-2082.000=-86.000 |
| | mean | 3.240-3.265=-0.025 | | σ | 0.106-0.131=-0.025 | | min | 3.138-3.117=0.021 | | max | 3.395-3.464=-0.069 |
|