iters=5 new-facts=1 prior-facts=1 | | mean | 323.986-272.792=51.194 | | σ | 0.045-0.010=0.035 | | min | 323.905-272.782=51.123 | | max | 324.013-272.806=51.207 |
| | mean | 2770.000-2772.000=-2.000 | | σ | 0.000 | | min | 2770.000-2772.000=-2.000 | | max | 2770.000-2772.000=-2.000 |
| | mean | 0.429-0.383=0.046 | | σ | 0.006-0.007=-0.001 | | min | 0.425-0.377=0.048 | | max | 0.439-0.396=0.044 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.585-1933.226=51.360 | | σ | 0.018-0.021=-0.002 | | min | 1984.553-1933.211=51.342 | | max | 1984.600-1933.261=51.339 |
| | mean | 2770.000-2772.000=-2.000 | | σ | 0.000 | | min | 2770.000-2772.000=-2.000 | | max | 2770.000-2772.000=-2.000 |
| | mean | 2.583-3.100=-0.517 | | σ | 0.076-0.131=-0.055 | | min | 2.471-2.949=-0.478 | | max | 2.653-3.262=-0.609 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.238-4756.748=51.491 | | σ | 7.778-7.693=0.085 | | min | 4804.739-4753.053=51.687 | | max | 4822.152-4770.504=51.648 |
| | mean | 2770.000-2772.000=-2.000 | | σ | 0.000 | | min | 2770.000-2772.000=-2.000 | | max | 2770.000-2772.000=-2.000 |
| | mean | 9.006-8.367=0.639 | | σ | 0.086-0.505=-0.419 | | min | 8.918-7.768=1.150 | | max | 9.137-8.926=0.211 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.809-4944.398=51.411 | | σ | 0.019-0.151=-0.132 | | min | 4995.788-4944.129=51.659 | | max | 4995.835-4944.486=51.349 |
| | mean | 2988.800-3014.800=-26.000 | | σ | 214.749-304.611=-89.862 | | min | 2770.000-2772.000=-2.000 | | max | 3305.000-3473.000=-168.000 |
| | mean | 8.670-8.483=0.187 | | σ | 0.166-0.133=0.033 | | min | 8.495-8.397=0.098 | | max | 8.910-8.718=0.192 |
|