iters=5 new-facts=1 prior-facts=1 | | mean | 324.766-272.791=51.975 | | σ | 0.053-0.006=0.047 | | min | 324.671-272.784=51.887 | | max | 324.794-272.795=51.998 |
| | mean | 2822.000-2772.000=50.000 | | σ | 0.000 | | min | 2822.000-2772.000=50.000 | | max | 2822.000-2772.000=50.000 |
| | mean | 0.431-0.379=0.052 | | σ | 0.010-0.001=0.008 | | min | 0.423-0.377=0.046 | | max | 0.442-0.380=0.062 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317-1933.215=52.102 | | σ | 0.022-0.013=0.009 | | min | 1985.297-1933.193=52.104 | | max | 1985.343-1933.225=52.118 |
| | mean | 2822.000-2772.000=50.000 | | σ | 0.000 | | min | 2822.000-2772.000=50.000 | | max | 2822.000-2772.000=50.000 |
| | mean | 2.636-3.030=-0.394 | | σ | 0.134-0.028=0.106 | | min | 2.518-2.997=-0.479 | | max | 2.812-3.066=-0.254 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.120-4756.926=52.194 | | σ | 7.705-7.598=0.107 | | min | 4805.573-4753.445=52.129 | | max | 4822.903-4770.518=52.385 |
| | mean | 2822.000-2772.000=50.000 | | σ | 0.000 | | min | 2822.000-2772.000=50.000 | | max | 2822.000-2772.000=50.000 |
| | mean | 8.833-8.716=0.117 | | σ | 0.473-0.323=0.150 | | min | 7.993-8.306=-0.313 | | max | 9.127-9.176=-0.049 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.626-4944.385=52.241 | | σ | 0.024-0.160=-0.136 | | min | 4996.593-4944.100=52.493 | | max | 4996.653-4944.476=52.177 |
| | mean | 3054.400-2987.800=66.600 | | σ | 303.324-211.143=92.181 | | min | 2822.000-2772.000=50.000 | | max | 3520.000-3298.000=222.000 |
| | mean | 8.512-8.602=-0.091 | | σ | 0.122-0.193=-0.071 | | min | 8.410-8.437=-0.027 | | max | 8.723-8.913=-0.191 |
|