iters=5 new-facts=1 prior-facts=1 | | mean | 266.784-266.785=-0.000 | | σ | 0.010-0.004=0.005 | | min | 266.774-266.781=-0.007 | | max | 266.799-266.792=0.007 |
| | mean | 2470.000-2474.000=-4.000 | | σ | 0.000 | | min | 2470.000-2474.000=-4.000 | | max | 2470.000-2474.000=-4.000 |
| | mean | 0.378-0.373=0.005 | | σ | 0.009-0.002=0.007 | | min | 0.372-0.371=0.001 | | max | 0.392-0.375=0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.207-1927.204=0.003 | | σ | 0.011-0.012=-0.002 | | min | 1927.197-1927.185=0.011 | | max | 1927.223-1927.219=0.003 |
| | mean | 2470.000-2474.000=-4.000 | | σ | 0.000 | | min | 2470.000-2474.000=-4.000 | | max | 2470.000-2474.000=-4.000 |
| | mean | 2.999-3.056=-0.057 | | σ | 0.072-0.095=-0.023 | | min | 2.890-2.960=-0.070 | | max | 3.088-3.186=-0.098 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.738-4747.767=-0.029 | | σ | 0.822-0.785=0.038 | | min | 4747.220-4747.357=-0.137 | | max | 4749.191-4749.163=0.028 |
| | mean | 2470.000-2474.000=-4.000 | | σ | 0.000 | | min | 2470.000-2474.000=-4.000 | | max | 2470.000-2474.000=-4.000 |
| | mean | 8.317-8.165=0.152 | | σ | 0.531-0.425=0.105 | | min | 7.810-7.861=-0.051 | | max | 9.071-8.911=0.159 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.166-4938.171=-0.004 | | σ | 0.082-0.083=-0.002 | | min | 4938.103-4938.106=-0.004 | | max | 4938.257-4938.264=-0.006 |
| | mean | 2943.600-2939.800=3.800 | | σ | 416.301-389.762=26.540 | | min | 2470.000-2474.000=-4.000 | | max | 3514.000-3466.000=48.000 |
| | mean | 8.440-8.473=-0.033 | | σ | 0.100-0.162=-0.062 | | min | 8.340-8.329=0.011 | | max | 8.577-8.717=-0.141 |
|