iters=5 new-facts=1 prior-facts=1 | | mean | 272.757-271.957=0.800 | | σ | 0.007-0.007=0.000 | | min | 272.748-271.949=0.798 | | max | 272.765-271.964=0.800 |
| | mean | 2773.000-2772.000=1.000 | | σ | 0.000 | | min | 2773.000-2772.000=1.000 | | max | 2773.000-2772.000=1.000 |
| | mean | 0.381-0.390=-0.009 | | σ | 0.008-0.009=-0.001 | | min | 0.377-0.380=-0.003 | | max | 0.395-0.401=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.159-1932.320=0.839 | | σ | 0.015-0.010=0.005 | | min | 1933.146-1932.309=0.837 | | max | 1933.176-1932.334=0.842 |
| | mean | 2773.000-2772.000=1.000 | | σ | 0.000 | | min | 2773.000-2772.000=1.000 | | max | 2773.000-2772.000=1.000 |
| | mean | 3.057-3.028=0.029 | | σ | 0.051-0.057=-0.006 | | min | 3.008-2.991=0.017 | | max | 3.123-3.129=-0.006 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.922-4753.089=3.833 | | σ | 7.579-0.921=6.657 | | min | 4753.391-4752.583=0.808 | | max | 4770.477-4754.728=15.749 |
| | mean | 2773.000-2772.000=1.000 | | σ | 0.000 | | min | 2773.000-2772.000=1.000 | | max | 2773.000-2772.000=1.000 |
| | mean | 8.742-8.570=0.172 | | σ | 0.432-0.419=0.013 | | min | 8.340-8.036=0.304 | | max | 9.459-8.927=0.532 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.322-4943.556=0.766 | | σ | 0.164-0.011=0.152 | | min | 4944.031-4943.544=0.486 | | max | 4944.409-4943.569=0.841 |
| | mean | 2996.800-3013.400=-16.600 | | σ | 282.298-284.771=-2.473 | | min | 2773.000-2772.000=1.000 | | max | 3420.000-3433.000=-13.000 |
| | mean | 8.442-8.361=0.081 | | σ | 0.096-0.035=0.061 | | min | 8.302-8.307=-0.005 | | max | 8.549-8.401=0.148 |
|