iters=5 new-facts=1 prior-facts=1 | | mean | 271.759-271.754=0.004 | | σ | 0.008-0.003=0.005 | | min | 271.749-271.750=-0.001 | | max | 271.769-271.759=0.010 |
| | mean | 2879.000-2807.000=72.000 | | σ | 0.000 | | min | 2879.000-2807.000=72.000 | | max | 2879.000-2807.000=72.000 |
| | mean | 0.383-0.380=0.003 | | σ | 0.011-0.004=0.007 | | min | 0.377-0.377=-0.000 | | max | 0.403-0.388=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.175-1932.187=-0.011 | | σ | 0.012-0.015=-0.003 | | min | 1932.162-1932.172=-0.010 | | max | 1932.188-1932.212=-0.023 |
| | mean | 2879.000-2807.000=72.000 | | σ | 0.000 | | min | 2879.000-2807.000=72.000 | | max | 2879.000-2807.000=72.000 |
| | mean | 2.959-2.800=0.158 | | σ | 0.137-0.281=-0.144 | | min | 2.731-2.429=0.302 | | max | 3.073-3.064=0.009 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.925-4752.945=-0.020 | | σ | 0.912-0.900=0.012 | | min | 4752.389-4752.386=0.003 | | max | 4754.542-4754.539=0.002 |
| | mean | 2879.000-2807.000=72.000 | | σ | 0.000 | | min | 2879.000-2807.000=72.000 | | max | 2879.000-2807.000=72.000 |
| | mean | 8.470-8.190=0.279 | | σ | 0.568-0.651=-0.083 | | min | 7.644-7.557=0.087 | | max | 9.054-9.036=0.018 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.302-4943.231=0.071 | | σ | 0.158-0.172=-0.014 | | min | 4943.021-4943.035=-0.015 | | max | 4943.397-4943.375=0.022 |
| | mean | 3041.400-3066.800=-25.400 | | σ | 243.415-324.181=-80.766 | | min | 2879.000-2807.000=72.000 | | max | 3425.000-3556.000=-131.000 |
| | mean | 8.454-8.436=0.018 | | σ | 0.098-0.089=0.009 | | min | 8.381-8.339=0.042 | | max | 8.618-8.565=0.053 |
|