iters=5 new-facts=1 prior-facts=1 | | mean | 324.738-324.760=-0.021 | | σ | 0.043-0.048=-0.006 | | min | 324.662-324.674=-0.011 | | max | 324.763-324.789=-0.027 |
| | mean | 2843.000-2450.000=393.000 | | σ | 0.000 | | min | 2843.000-2450.000=393.000 | | max | 2843.000-2450.000=393.000 |
| | mean | 0.426-0.426=-0.001 | | σ | 0.005-0.002=0.003 | | min | 0.423-0.424=-0.001 | | max | 0.434-0.429=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.322-1985.325=-0.003 | | σ | 0.014-0.008=0.005 | | min | 1985.300-1985.316=-0.017 | | max | 1985.335-1985.335=-0.001 |
| | mean | 2843.000-2450.000=393.000 | | σ | 0.000 | | min | 2843.000-2450.000=393.000 | | max | 2843.000-2450.000=393.000 |
| | mean | 2.672-2.606=0.066 | | σ | 0.132-0.109=0.022 | | min | 2.520-2.504=0.016 | | max | 2.872-2.739=0.133 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.089-4809.085=0.004 | | σ | 7.736-7.670=0.067 | | min | 4805.605-4805.542=0.063 | | max | 4822.928-4822.804=0.124 |
| | mean | 2843.000-2450.000=393.000 | | σ | 0.000 | | min | 2843.000-2450.000=393.000 | | max | 2843.000-2450.000=393.000 |
| | mean | 8.969-8.676=0.293 | | σ | 0.487-0.396=0.091 | | min | 8.245-8.169=0.076 | | max | 9.565-9.148=0.417 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.566-4996.631=-0.065 | | σ | 0.181-0.020=0.161 | | min | 4996.247-4996.606=-0.360 | | max | 4996.674-4996.651=0.023 |
| | mean | 3086.000-3015.400=70.600 | | σ | 259.533-283.473=-23.940 | | min | 2843.000-2611.000=232.000 | | max | 3358.000-3372.000=-14.000 |
| | mean | 9.158-8.659=0.499 | | σ | 0.551-0.156=0.395 | | min | 8.528-8.472=0.056 | | max | 9.899-8.860=1.039 |
|