iters=5 new-facts=1 prior-facts=1 | | mean | 271.757-270.125=1.632 | | σ | 0.005-0.007=-0.002 | | min | 271.751-270.117=1.634 | | max | 271.764-270.133=1.631 |
| | mean | 2846.000-2773.000=73.000 | | σ | 0.000 | | min | 2846.000-2773.000=73.000 | | max | 2846.000-2773.000=73.000 |
| | mean | 0.380-0.375=0.006 | | σ | 0.006-0.004=0.002 | | min | 0.375-0.371=0.004 | | max | 0.391-0.382=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.176-1930.588=1.588 | | σ | 0.006-0.019=-0.012 | | min | 1932.167-1930.567=1.600 | | max | 1932.182-1930.609=1.573 |
| | mean | 2846.000-2773.000=73.000 | | σ | 0.000 | | min | 2846.000-2773.000=73.000 | | max | 2846.000-2773.000=73.000 |
| | mean | 3.065-2.571=0.494 | | σ | 0.104-0.158=-0.054 | | min | 2.968-2.444=0.524 | | max | 3.197-2.795=0.402 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.944-4751.134=1.810 | | σ | 0.896-0.802=0.094 | | min | 4752.375-4750.661=1.715 | | max | 4754.536-4752.558=1.979 |
| | mean | 2846.000-2773.000=73.000 | | σ | 0.000 | | min | 2846.000-2773.000=73.000 | | max | 2846.000-2773.000=73.000 |
| | mean | 8.383-8.141=0.242 | | σ | 0.379-0.402=-0.024 | | min | 8.048-7.763=0.285 | | max | 9.034-8.667=0.368 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.376-4941.533=1.843 | | σ | 0.021-0.082=-0.061 | | min | 4943.346-4941.455=1.892 | | max | 4943.396-4941.634=1.761 |
| | mean | 3061.600-3028.200=33.400 | | σ | 231.380-299.916=-68.536 | | min | 2846.000-2773.000=73.000 | | max | 3404.000-3470.000=-66.000 |
| | mean | 8.699-8.629=0.070 | | σ | 0.176-0.374=-0.198 | | min | 8.486-8.264=0.222 | | max | 8.968-9.181=-0.213 |
|