iters=5 new-facts=1 prior-facts=1 | | mean | 277.710-277.718=-0.007 | | σ | 0.010-0.010=-0.001 | | min | 277.698-277.702=-0.005 | | max | 277.725-277.730=-0.005 |
| | mean | 2628.000-2627.000=1.000 | | σ | 0.000 | | min | 2628.000-2627.000=1.000 | | max | 2628.000-2627.000=1.000 |
| | mean | 0.410-0.409=0.001 | | σ | 0.001-0.001=-0.001 | | min | 0.410-0.407=0.003 | | max | 0.411-0.411=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.887-2267.865=0.022 | | σ | 0.003-0.022=-0.019 | | min | 2267.883-2267.848=0.035 | | max | 2267.891-2267.899=-0.008 |
| | mean | 2628.000-2627.000=1.000 | | σ | 0.000 | | min | 2628.000-2627.000=1.000 | | max | 2628.000-2627.000=1.000 |
| | mean | 2.984-3.124=-0.139 | | σ | 0.130-0.150=-0.020 | | min | 2.892-2.880=0.013 | | max | 3.214-3.254=-0.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.966-4955.089=-0.123 | | σ | 0.556-0.850=-0.294 | | min | 4954.671-4954.612=0.059 | | max | 4955.957-4956.603=-0.646 |
| | mean | 2628.000-2627.000=1.000 | | σ | 0.000 | | min | 2628.000-2627.000=1.000 | | max | 2628.000-2627.000=1.000 |
| | mean | 7.919-7.886=0.033 | | σ | 0.191-0.183=0.008 | | min | 7.747-7.656=0.091 | | max | 8.241-8.148=0.093 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.788-5169.650=0.138 | | σ | 0.088-0.218=-0.130 | | min | 5169.691-5169.340=0.352 | | max | 5169.865-5169.845=0.020 |
| | mean | 3360.600-3359.800=0.800 | | σ | 452.645-419.061=33.584 | | min | 2768.000-2944.000=-176.000 | | max | 3962.000-3782.000=180.000 |
| | mean | 9.381-9.519=-0.137 | | σ | 0.276-0.227=0.048 | | min | 9.051-9.345=-0.294 | | max | 9.659-9.906=-0.248 |
|