iters=5 new-facts=1 prior-facts=1 | | mean | 324.709-324.011=0.698 | | σ | 0.039-0.052=-0.013 | | min | 324.639-323.917=0.722 | | max | 324.732-324.040=0.692 |
| | mean | 2811.000-2710.000=101.000 | | σ | 0.000 | | min | 2811.000-2710.000=101.000 | | max | 2811.000-2710.000=101.000 |
| | mean | 0.422-0.427=-0.005 | | σ | 0.001-0.002=-0.001 | | min | 0.421-0.426=-0.005 | | max | 0.423-0.429=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.271-1984.589=0.683 | | σ | 0.007-0.018=-0.011 | | min | 1985.264-1984.557=0.707 | | max | 1985.282-1984.603=0.679 |
| | mean | 2811.000-2710.000=101.000 | | σ | 0.000 | | min | 2811.000-2710.000=101.000 | | max | 2811.000-2710.000=101.000 |
| | mean | 2.615-2.652=-0.037 | | σ | 0.074-0.141=-0.067 | | min | 2.552-2.544=0.008 | | max | 2.702-2.895=-0.193 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.890-4808.152=0.738 | | σ | 7.653-7.784=-0.131 | | min | 4805.356-4804.234=1.122 | | max | 4822.579-4822.068=0.511 |
| | mean | 2811.000-2710.000=101.000 | | σ | 0.000 | | min | 2811.000-2710.000=101.000 | | max | 2811.000-2710.000=101.000 |
| | mean | 8.705-8.524=0.182 | | σ | 0.572-0.302=0.270 | | min | 7.712-8.136=-0.424 | | max | 9.098-8.874=0.224 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467-4995.808=0.659 | | σ | 0.016-0.017=-0.001 | | min | 4996.450-4995.789=0.661 | | max | 4996.485-4995.832=0.652 |
| | mean | 3015.800-3009.200=6.600 | | σ | 207.944-254.332=-46.388 | | min | 2811.000-2710.000=101.000 | | max | 3301.000-3330.000=-29.000 |
| | mean | 8.667-8.821=-0.154 | | σ | 0.104-0.367=-0.263 | | min | 8.541-8.481=0.060 | | max | 8.810-9.434=-0.623 |
|