iters=5 new-facts=1 prior-facts=1 | | mean | 324.587-324.016=0.571 | | σ | 0.046-0.043=0.003 | | min | 324.506-323.940=0.565 | | max | 324.614-324.043=0.571 |
| | mean | 2826.000-2778.000=48.000 | | σ | 0.000 | | min | 2826.000-2778.000=48.000 | | max | 2826.000-2778.000=48.000 |
| | mean | 0.430-0.425=0.005 | | σ | 0.008-0.004=0.004 | | min | 0.422-0.422=0.000 | | max | 0.443-0.433=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.141-1984.580=0.561 | | σ | 0.016-0.025=-0.009 | | min | 1985.123-1984.550=0.574 | | max | 1985.159-1984.606=0.553 |
| | mean | 2826.000-2778.000=48.000 | | σ | 0.000 | | min | 2826.000-2778.000=48.000 | | max | 2826.000-2778.000=48.000 |
| | mean | 2.796-2.626=0.170 | | σ | 0.308-0.150=0.158 | | min | 2.574-2.474=0.100 | | max | 3.327-2.860=0.467 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.653-4808.180=0.473 | | σ | 7.688-7.762=-0.075 | | min | 4804.903-4804.425=0.478 | | max | 4822.400-4822.062=0.339 |
| | mean | 2826.000-2778.000=48.000 | | σ | 0.000 | | min | 2826.000-2778.000=48.000 | | max | 2826.000-2778.000=48.000 |
| | mean | 8.664-8.213=0.451 | | σ | 0.504-0.580=-0.076 | | min | 7.880-7.726=0.154 | | max | 9.154-9.137=0.017 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.349-4995.801=0.548 | | σ | 0.024-0.020=0.004 | | min | 4996.318-4995.781=0.537 | | max | 4996.374-4995.824=0.549 |
| | mean | 3049.200-3050.000=-0.800 | | σ | 301.212-329.643=-28.431 | | min | 2826.000-2778.000=48.000 | | max | 3529.000-3543.000=-14.000 |
| | mean | 8.620-8.487=0.133 | | σ | 0.166-0.174=-0.008 | | min | 8.463-8.331=0.132 | | max | 8.868-8.784=0.084 |
|