iters=5 new-facts=1 prior-facts=1 | | mean | 326.637-326.633=0.003 | | σ | 0.049-0.050=-0.001 | | min | 326.553-326.546=0.007 | | max | 326.675-326.673=0.002 |
| | mean | 2855.000-2639.000=216.000 | | σ | 0.000 | | min | 2855.000-2639.000=216.000 | | max | 2855.000-2639.000=216.000 |
| | mean | 0.430-0.424=0.006 | | σ | 0.005-0.002=0.004 | | min | 0.425-0.422=0.003 | | max | 0.437-0.425=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.793-1988.809=-0.015 | | σ | 0.024-0.003=0.021 | | min | 1988.773-1988.803=-0.030 | | max | 1988.820-1988.811=0.009 |
| | mean | 2855.000-2639.000=216.000 | | σ | 0.000 | | min | 2855.000-2639.000=216.000 | | max | 2855.000-2639.000=216.000 |
| | mean | 2.712-2.672=0.040 | | σ | 0.169-0.056=0.113 | | min | 2.584-2.615=-0.031 | | max | 3.003-2.756=0.247 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.554-4813.572=-0.018 | | σ | 7.825-7.756=0.069 | | min | 4809.707-4809.828=-0.121 | | max | 4827.546-4827.442=0.104 |
| | mean | 2855.000-2639.000=216.000 | | σ | 0.000 | | min | 2855.000-2639.000=216.000 | | max | 2855.000-2639.000=216.000 |
| | mean | 8.934-8.705=0.230 | | σ | 0.532-0.658=-0.126 | | min | 8.168-7.736=0.432 | | max | 9.503-9.303=0.200 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.130-5001.068=0.062 | | σ | 0.163-0.206=-0.043 | | min | 5000.841-5000.828=0.013 | | max | 5001.235-5001.268=-0.033 |
| | mean | 3015.200-3016.000=-0.800 | | σ | 183.130-285.606=-102.476 | | min | 2855.000-2639.000=216.000 | | max | 3302.000-3388.000=-86.000 |
| | mean | 9.604-9.848=-0.244 | | σ | 0.555-0.268=0.288 | | min | 8.755-9.481=-0.726 | | max | 10.264-10.219=0.045 |
|