iters=5 new-facts=1 prior-facts=1 | | mean | 270.144-270.140=0.004 | | σ | 0.008-0.007=0.001 | | min | 270.136-270.131=0.006 | | max | 270.152-270.148=0.004 |
| | mean | 2790.000-2771.000=19.000 | | σ | 0.000 | | min | 2790.000-2771.000=19.000 | | max | 2790.000-2771.000=19.000 |
| | mean | 0.382-0.378=0.004 | | σ | 0.013-0.005=0.008 | | min | 0.371-0.370=0.001 | | max | 0.404-0.383=0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.597-1930.613=-0.016 | | σ | 0.026-0.007=0.019 | | min | 1930.555-1930.602=-0.046 | | max | 1930.620-1930.620=-0.000 |
| | mean | 2790.000-2771.000=19.000 | | σ | 0.000 | | min | 2790.000-2771.000=19.000 | | max | 2790.000-2771.000=19.000 |
| | mean | 2.523-2.481=0.042 | | σ | 0.129-0.038=0.091 | | min | 2.371-2.443=-0.072 | | max | 2.712-2.523=0.189 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.190-4751.364=-0.174 | | σ | 1.031-0.840=0.191 | | min | 4750.235-4750.891=-0.656 | | max | 4752.944-4752.858=0.086 |
| | mean | 2790.000-2771.000=19.000 | | σ | 0.000 | | min | 2790.000-2771.000=19.000 | | max | 2790.000-2771.000=19.000 |
| | mean | 8.935-8.256=0.680 | | σ | 0.404-0.415=-0.011 | | min | 8.400-7.653=0.747 | | max | 9.449-8.619=0.830 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.772-4941.777=-0.005 | | σ | 0.012-0.023=-0.011 | | min | 4941.761-4941.756=0.006 | | max | 4941.791-4941.812=-0.021 |
| | mean | 3045.200-3031.400=13.800 | | σ | 205.020-209.027=-4.007 | | min | 2790.000-2771.000=19.000 | | max | 3324.000-3314.000=10.000 |
| | mean | 8.506-8.593=-0.087 | | σ | 0.136-0.328=-0.191 | | min | 8.367-8.322=0.045 | | max | 8.680-9.124=-0.444 |
|