iters=5 new-facts=1 prior-facts=1 | | mean | 324.589-324.015=0.575 | | σ | 0.041-0.055=-0.014 | | min | 324.517-323.916=0.601 | | max | 324.615-324.042=0.573 |
| | mean | 2830.000-2497.000=333.000 | | σ | 0.000 | | min | 2830.000-2497.000=333.000 | | max | 2830.000-2497.000=333.000 |
| | mean | 0.423-0.427=-0.004 | | σ | 0.001-0.006=-0.005 | | min | 0.422-0.421=0.000 | | max | 0.425-0.437=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.144-1984.586=0.558 | | σ | 0.005-0.021=-0.016 | | min | 1985.138-1984.558=0.580 | | max | 1985.150-1984.611=0.540 |
| | mean | 2830.000-2497.000=333.000 | | σ | 0.000 | | min | 2830.000-2497.000=333.000 | | max | 2830.000-2497.000=333.000 |
| | mean | 2.592-2.598=-0.005 | | σ | 0.050-0.064=-0.014 | | min | 2.540-2.551=-0.011 | | max | 2.646-2.701=-0.055 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.740-4808.240=0.499 | | σ | 7.676-7.805=-0.129 | | min | 4805.235-4804.701=0.534 | | max | 4822.470-4822.202=0.268 |
| | mean | 2830.000-2497.000=333.000 | | σ | 0.000 | | min | 2830.000-2497.000=333.000 | | max | 2830.000-2497.000=333.000 |
| | mean | 8.873-8.931=-0.059 | | σ | 0.228-0.293=-0.065 | | min | 8.504-8.604=-0.100 | | max | 9.098-9.393=-0.294 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.273-4995.738=0.535 | | σ | 0.177-0.175=0.002 | | min | 4995.956-4995.426=0.531 | | max | 4996.365-4995.828=0.537 |
| | mean | 3048.600-2993.000=55.600 | | σ | 187.848-274.557=-86.709 | | min | 2830.000-2619.000=211.000 | | max | 3312.000-3316.000=-4.000 |
| | mean | 8.642-8.707=-0.065 | | σ | 0.209-0.255=-0.046 | | min | 8.400-8.424=-0.024 | | max | 8.834-9.120=-0.286 |
|