iters=5 new-facts=1 prior-facts=1 | | mean | 285.392-285.412=-0.020 | | σ | 0.007-0.014=-0.007 | | min | 285.386-285.391=-0.004 | | max | 285.401-285.430=-0.028 |
| | mean | 1632.000-1640.000=-8.000 | | σ | 0.000 | | min | 1632.000-1640.000=-8.000 | | max | 1632.000-1640.000=-8.000 |
| | mean | 0.382-0.377=0.005 | | σ | 0.007-0.007=0.000 | | min | 0.373-0.371=0.002 | | max | 0.391-0.389=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.353-1285.364=-0.011 | | σ | 0.131-0.111=0.020 | | min | 1285.286-1285.309=-0.023 | | max | 1285.586-1285.562=0.024 |
| | mean | 1632.000-1640.000=-8.000 | | σ | 0.000 | | min | 1632.000-1640.000=-8.000 | | max | 1632.000-1640.000=-8.000 |
| | mean | 1.964-2.029=-0.065 | | σ | 0.143-0.265=-0.123 | | min | 1.829-1.822=0.007 | | max | 2.151-2.449=-0.298 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.690-1807.715=-0.025 | | σ | 6.973-7.004=-0.031 | | min | 1804.359-1804.353=0.006 | | max | 1820.148-1820.229=-0.082 |
| | mean | 1632.000-1640.000=-8.000 | | σ | 0.000 | | min | 1632.000-1640.000=-8.000 | | max | 1632.000-1640.000=-8.000 |
| | mean | 4.140-4.211=-0.071 | | σ | 0.070-0.230=-0.160 | | min | 4.064-3.852=0.212 | | max | 4.206-4.440=-0.234 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.178-2070.197=-0.019 | | σ | 0.018-0.009=0.009 | | min | 2070.167-2070.186=-0.018 | | max | 2070.211-2070.207=0.003 |
| | mean | 1855.800-1836.400=19.400 | | σ | 199.416-173.961=25.455 | | min | 1632.000-1640.000=-8.000 | | max | 2084.000-2073.000=11.000 |
| | mean | 4.485-4.593=-0.108 | | σ | 0.083-0.160=-0.076 | | min | 4.407-4.474=-0.067 | | max | 4.581-4.871=-0.291 |
|