iters=5 new-facts=1 prior-facts=1 | | mean | 324.709-324.712=-0.003 | | σ | 0.039-0.036=0.003 | | min | 324.639-324.648=-0.009 | | max | 324.732-324.740=-0.008 |
| | mean | 2811.000-2824.000=-13.000 | | σ | 0.000 | | min | 2811.000-2824.000=-13.000 | | max | 2811.000-2824.000=-13.000 |
| | mean | 0.422-0.422=0.000 | | σ | 0.001-0.001=-0.000 | | min | 0.421-0.421=0.000 | | max | 0.423-0.423=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.271-1985.265=0.006 | | σ | 0.007-0.008=-0.001 | | min | 1985.264-1985.252=0.012 | | max | 1985.282-1985.271=0.011 |
| | mean | 2811.000-2824.000=-13.000 | | σ | 0.000 | | min | 2811.000-2824.000=-13.000 | | max | 2811.000-2824.000=-13.000 |
| | mean | 2.615-2.582=0.033 | | σ | 0.074-0.060=0.014 | | min | 2.552-2.529=0.023 | | max | 2.702-2.670=0.032 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.890-4808.867=0.023 | | σ | 7.653-7.656=-0.003 | | min | 4805.356-4805.359=-0.003 | | max | 4822.579-4822.563=0.017 |
| | mean | 2811.000-2824.000=-13.000 | | σ | 0.000 | | min | 2811.000-2824.000=-13.000 | | max | 2811.000-2824.000=-13.000 |
| | mean | 8.705-8.726=-0.021 | | σ | 0.572-0.217=0.355 | | min | 7.712-8.462=-0.750 | | max | 9.098-9.013=0.085 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467-4996.472=-0.005 | | σ | 0.016-0.018=-0.002 | | min | 4996.450-4996.447=0.003 | | max | 4996.485-4996.492=-0.007 |
| | mean | 3015.800-3041.000=-25.200 | | σ | 207.944-190.653=17.291 | | min | 2811.000-2824.000=-13.000 | | max | 3301.000-3313.000=-12.000 |
| | mean | 8.667-8.898=-0.230 | | σ | 0.104-0.306=-0.202 | | min | 8.541-8.539=0.001 | | max | 8.810-9.375=-0.565 |
|