iters=5 new-facts=1 prior-facts=1 | | mean | 274.367-274.368=-0.002 | | σ | 0.006-0.005=0.001 | | min | 274.359-274.360=-0.001 | | max | 274.373-274.373=0.000 |
| | mean | 2421.000-2465.000=-44.000 | | σ | 0.000 | | min | 2421.000-2465.000=-44.000 | | max | 2421.000-2465.000=-44.000 |
| | mean | 0.385-0.386=-0.002 | | σ | 0.004-0.004=-0.001 | | min | 0.382-0.383=-0.001 | | max | 0.392-0.393=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.758-1934.760=-0.003 | | σ | 0.015-0.008=0.007 | | min | 1934.737-1934.753=-0.016 | | max | 1934.777-1934.773=0.004 |
| | mean | 2421.000-2465.000=-44.000 | | σ | 0.000 | | min | 2421.000-2465.000=-44.000 | | max | 2421.000-2465.000=-44.000 |
| | mean | 2.954-2.889=0.064 | | σ | 0.091-0.164=-0.073 | | min | 2.827-2.694=0.133 | | max | 3.057-3.017=0.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4755.393-4755.181=0.213 | | σ | 0.997-0.836=0.161 | | min | 4754.443-4754.463=-0.020 | | max | 4757.091-4756.561=0.531 |
| | mean | 2421.000-2465.000=-44.000 | | σ | 0.000 | | min | 2421.000-2465.000=-44.000 | | max | 2421.000-2465.000=-44.000 |
| | mean | 8.653-8.692=-0.039 | | σ | 0.321-0.502=-0.181 | | min | 8.320-7.850=0.471 | | max | 9.082-9.054=0.028 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.981-4945.981=-0.001 | | σ | 0.019-0.023=-0.004 | | min | 4945.961-4945.956=0.005 | | max | 4946.003-4946.008=-0.005 |
| | mean | 2918.000-2992.600=-74.600 | | σ | 332.282-315.620=16.663 | | min | 2421.000-2574.000=-153.000 | | max | 3308.000-3394.000=-86.000 |
| | mean | 8.502-8.558=-0.056 | | σ | 0.123-0.080=0.043 | | min | 8.361-8.474=-0.114 | | max | 8.686-8.660=0.027 |
|