iters=5 new-facts=1 prior-facts=1 | | mean | 324.708-324.704=0.005 | | σ | 0.032-0.055=-0.023 | | min | 324.651-324.606=0.045 | | max | 324.726-324.736=-0.009 |
| | mean | 2828.000-2425.000=403.000 | | σ | 0.000 | | min | 2828.000-2425.000=403.000 | | max | 2828.000-2425.000=403.000 |
| | mean | 0.422-0.427=-0.005 | | σ | 0.001-0.008=-0.007 | | min | 0.420-0.422=-0.002 | | max | 0.423-0.441=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.238-1985.265=-0.027 | | σ | 0.046-0.011=0.035 | | min | 1985.157-1985.247=-0.090 | | max | 1985.268-1985.277=-0.009 |
| | mean | 2828.000-2425.000=403.000 | | σ | 0.000 | | min | 2828.000-2425.000=403.000 | | max | 2828.000-2425.000=403.000 |
| | mean | 2.590-2.626=-0.036 | | σ | 0.072-0.100=-0.028 | | min | 2.497-2.532=-0.036 | | max | 2.667-2.763=-0.096 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.626-4808.742=-0.115 | | σ | 7.820-7.751=0.069 | | min | 4804.269-4804.805=-0.536 | | max | 4822.587-4822.598=-0.011 |
| | mean | 2828.000-2425.000=403.000 | | σ | 0.000 | | min | 2828.000-2425.000=403.000 | | max | 2828.000-2425.000=403.000 |
| | mean | 8.820-8.717=0.103 | | σ | 0.226-0.589=-0.364 | | min | 8.464-7.670=0.794 | | max | 9.017-9.066=-0.049 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.465-4996.465=0.001 | | σ | 0.023-0.010=0.013 | | min | 4996.438-4996.455=-0.017 | | max | 4996.489-4996.475=0.014 |
| | mean | 3071.000-2938.000=133.000 | | σ | 230.366-432.475=-202.109 | | min | 2828.000-2425.000=403.000 | | max | 3407.000-3513.000=-106.000 |
| | mean | 8.786-8.543=0.243 | | σ | 0.152-0.106=0.046 | | min | 8.537-8.437=0.099 | | max | 8.939-8.689=0.250 |
|