iters=5 new-facts=1 prior-facts=1 | | mean | 399.323-399.365=-0.042 | | σ | 0.075-0.081=-0.007 | | min | 399.226-399.227=-0.001 | | max | 399.379-399.418=-0.039 |
| | mean | 1628.000-1623.000=5.000 | | σ | 0.000 | | min | 1628.000-1623.000=5.000 | | max | 1628.000-1623.000=5.000 |
| | mean | 0.499-0.502=-0.004 | | σ | 0.008-0.012=-0.004 | | min | 0.493-0.489=0.003 | | max | 0.511-0.516=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1400.875-1400.832=0.042 | | σ | 0.045-0.008=0.038 | | min | 1400.837-1400.822=0.015 | | max | 1400.935-1400.840=0.095 |
| | mean | 1628.000-1623.000=5.000 | | σ | 0.000 | | min | 1628.000-1623.000=5.000 | | max | 1628.000-1623.000=5.000 |
| | mean | 2.192-1.985=0.207 | | σ | 0.271-0.057=0.214 | | min | 1.993-1.917=0.076 | | max | 2.574-2.039=0.536 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1923.080-1923.099=-0.019 | | σ | 7.088-7.048=0.039 | | min | 1919.820-1919.827=-0.007 | | max | 1935.756-1935.703=0.054 |
| | mean | 1628.000-1623.000=5.000 | | σ | 0.000 | | min | 1628.000-1623.000=5.000 | | max | 1628.000-1623.000=5.000 |
| | mean | 4.372-4.355=0.017 | | σ | 0.434-0.109=0.325 | | min | 4.003-4.209=-0.207 | | max | 5.103-4.473=0.630 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2185.769-2185.756=0.013 | | σ | 0.057-0.015=0.041 | | min | 2185.694-2185.743=-0.049 | | max | 2185.838-2185.782=0.055 |
| | mean | 1796.400-1827.600=-31.200 | | σ | 170.594-170.923=-0.329 | | min | 1628.000-1623.000=5.000 | | max | 2041.000-2064.000=-23.000 |
| | mean | 4.728-4.692=0.036 | | σ | 0.268-0.060=0.208 | | min | 4.553-4.612=-0.059 | | max | 5.203-4.761=0.442 |
|