iters=5 new-facts=1 prior-facts=1 | | mean | 272.017-272.018=-0.001 | | σ | 0.007-0.008=-0.000 | | min | 272.007-272.009=-0.002 | | max | 272.026-272.028=-0.002 |
| | mean | 2859.000-2883.000=-24.000 | | σ | 0.000 | | min | 2859.000-2883.000=-24.000 | | max | 2859.000-2883.000=-24.000 |
| | mean | 0.379-0.391=-0.012 | | σ | 0.004-0.011=-0.007 | | min | 0.376-0.379=-0.002 | | max | 0.387-0.402=-0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.433-1932.429=0.005 | | σ | 0.008-0.015=-0.007 | | min | 1932.422-1932.406=0.017 | | max | 1932.443-1932.444=-0.001 |
| | mean | 2859.000-2883.000=-24.000 | | σ | 0.000 | | min | 2859.000-2883.000=-24.000 | | max | 2859.000-2883.000=-24.000 |
| | mean | 3.016-3.036=-0.020 | | σ | 0.106-0.094=0.012 | | min | 2.910-2.941=-0.031 | | max | 3.194-3.148=0.045 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.046-4753.177=-0.132 | | σ | 0.585-0.828=-0.243 | | min | 4752.718-4752.726=-0.008 | | max | 4754.089-4754.651=-0.562 |
| | mean | 2859.000-2883.000=-24.000 | | σ | 0.000 | | min | 2859.000-2883.000=-24.000 | | max | 2859.000-2883.000=-24.000 |
| | mean | 8.603-8.427=0.175 | | σ | 0.149-0.465=-0.317 | | min | 8.489-7.734=0.755 | | max | 8.854-8.909=-0.055 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.630-4943.631=-0.001 | | σ | 0.019-0.016=0.003 | | min | 4943.614-4943.617=-0.002 | | max | 4943.651-4943.655=-0.004 |
| | mean | 3070.000-3083.600=-13.600 | | σ | 222.332-220.531=1.801 | | min | 2859.000-2883.000=-24.000 | | max | 3392.000-3418.000=-26.000 |
| | mean | 8.584-8.588=-0.004 | | σ | 0.231-0.120=0.111 | | min | 8.396-8.451=-0.056 | | max | 8.972-8.701=0.271 |
|