iters=5 new-facts=1 prior-facts=1 | | mean | 278.697-278.696=0.001 | | σ | 0.014-0.012=0.002 | | min | 278.683-278.686=-0.003 | | max | 278.719-278.715=0.005 |
| | mean | 2632.000-2637.000=-5.000 | | σ | 0.000 | | min | 2632.000-2637.000=-5.000 | | max | 2632.000-2637.000=-5.000 |
| | mean | 0.421-0.427=-0.006 | | σ | 0.002-0.013=-0.011 | | min | 0.419-0.416=0.003 | | max | 0.424-0.442=-0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.871-2268.868=0.002 | | σ | 0.010-0.014=-0.005 | | min | 2268.856-2268.844=0.011 | | max | 2268.879-2268.880=-0.001 |
| | mean | 2632.000-2637.000=-5.000 | | σ | 0.000 | | min | 2632.000-2637.000=-5.000 | | max | 2632.000-2637.000=-5.000 |
| | mean | 3.027-3.126=-0.099 | | σ | 0.194-0.072=0.123 | | min | 2.878-3.024=-0.146 | | max | 3.368-3.215=0.153 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.251-4952.263=-0.012 | | σ | 0.875-0.907=-0.032 | | min | 4951.425-4951.425=-0.000 | | max | 4953.743-4953.817=-0.074 |
| | mean | 2632.000-2637.000=-5.000 | | σ | 0.000 | | min | 2632.000-2637.000=-5.000 | | max | 2632.000-2637.000=-5.000 |
| | mean | 7.962-7.849=0.113 | | σ | 0.103-0.132=-0.028 | | min | 7.809-7.713=0.096 | | max | 8.079-8.038=0.041 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.871-5167.075=-0.204 | | σ | 0.314-0.007=0.307 | | min | 5166.373-5167.063=-0.691 | | max | 5167.085-5167.083=0.002 |
| | mean | 3347.800-3303.000=44.800 | | σ | 451.569-487.702=-36.133 | | min | 2734.000-2637.000=97.000 | | max | 3941.000-3751.000=190.000 |
| | mean | 9.705-9.193=0.512 | | σ | 0.527-0.153=0.374 | | min | 9.107-9.047=0.060 | | max | 10.329-9.409=0.919 |
|