iters=5 new-facts=1 prior-facts=1 | | mean | 278.692-278.696=-0.004 | | σ | 0.014-0.011=0.003 | | min | 278.676-278.683=-0.007 | | max | 278.708-278.710=-0.002 |
| | mean | 2650.000-2636.000=14.000 | | σ | 0.000 | | min | 2650.000-2636.000=14.000 | | max | 2650.000-2636.000=14.000 |
| | mean | 0.419-0.420=-0.001 | | σ | 0.001-0.001=0.001 | | min | 0.418-0.420=-0.002 | | max | 0.421-0.421=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.838-2268.839=-0.001 | | σ | 0.014-0.018=-0.004 | | min | 2268.822-2268.814=0.008 | | max | 2268.853-2268.858=-0.004 |
| | mean | 2650.000-2636.000=14.000 | | σ | 0.000 | | min | 2650.000-2636.000=14.000 | | max | 2650.000-2636.000=14.000 |
| | mean | 3.509-3.652=-0.143 | | σ | 0.140-0.173=-0.034 | | min | 3.381-3.427=-0.046 | | max | 3.689-3.884=-0.195 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.894-4956.043=-0.149 | | σ | 0.958-0.888=0.070 | | min | 4955.064-4955.483=-0.419 | | max | 4957.553-4957.619=-0.066 |
| | mean | 2650.000-2636.000=14.000 | | σ | 0.000 | | min | 2650.000-2636.000=14.000 | | max | 2650.000-2636.000=14.000 |
| | mean | 8.133-8.012=0.121 | | σ | 0.403-0.288=0.115 | | min | 7.833-7.801=0.033 | | max | 8.842-8.512=0.330 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4964.396-5170.481=-206.085 | | σ | 461.223-0.359=460.865 | | min | 4139.335-5169.971=-1030.636 | | max | 5170.821-5170.826=-0.005 |
| | mean | 3375.200-3384.200=-9.000 | | σ | 452.866-419.555=33.311 | | min | 2748.000-2979.000=-231.000 | | max | 3949.000-3816.000=133.000 |
| | mean | 9.003-9.367=-0.365 | | σ | 0.916-0.290=0.627 | | min | 7.403-9.105=-1.703 | | max | 9.672-9.698=-0.026 |
|