iters=5 new-facts=1 prior-facts=1 | | mean | 323.986-272.788=51.197 | | σ | 0.045-0.009=0.037 | | min | 323.905-272.784=51.121 | | max | 324.013-272.804=51.209 |
| | mean | 2770.000-2513.000=257.000 | | σ | 0.000 | | min | 2770.000-2513.000=257.000 | | max | 2770.000-2513.000=257.000 |
| | mean | 0.429-0.382=0.047 | | σ | 0.006-0.009=-0.003 | | min | 0.425-0.377=0.048 | | max | 0.439-0.398=0.041 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.585-1933.218=51.368 | | σ | 0.018-0.018=0.000 | | min | 1984.553-1933.193=51.360 | | max | 1984.600-1933.238=51.362 |
| | mean | 2770.000-2513.000=257.000 | | σ | 0.000 | | min | 2770.000-2513.000=257.000 | | max | 2770.000-2513.000=257.000 |
| | mean | 2.583-3.071=-0.488 | | σ | 0.076-0.090=-0.014 | | min | 2.471-3.008=-0.536 | | max | 2.653-3.229=-0.576 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.238-4756.886=51.352 | | σ | 7.778-7.296=0.482 | | min | 4804.739-4753.589=51.151 | | max | 4822.152-4769.937=52.215 |
| | mean | 2770.000-2513.000=257.000 | | σ | 0.000 | | min | 2770.000-2513.000=257.000 | | max | 2770.000-2513.000=257.000 |
| | mean | 9.006-8.278=0.728 | | σ | 0.086-0.373=-0.287 | | min | 8.918-7.737=1.182 | | max | 9.137-8.612=0.525 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.809-4944.449=51.359 | | σ | 0.019-0.021=-0.002 | | min | 4995.788-4944.422=51.366 | | max | 4995.835-4944.473=51.362 |
| | mean | 2988.800-2920.800=68.000 | | σ | 214.749-366.784=-152.035 | | min | 2770.000-2513.000=257.000 | | max | 3305.000-3429.000=-124.000 |
| | mean | 8.670-8.408=0.262 | | σ | 0.166-0.102=0.064 | | min | 8.495-8.253=0.242 | | max | 8.910-8.535=0.376 |
|