iters=5 new-facts=1 prior-facts=1 | | mean | 271.601-272.768=-1.167 | | σ | 0.007-0.006=0.001 | | min | 271.591-272.763=-1.172 | | max | 271.609-272.777=-1.169 |
| | mean | 2771.000-2411.000=360.000 | | σ | 0.000 | | min | 2771.000-2411.000=360.000 | | max | 2771.000-2411.000=360.000 |
| | mean | 0.384-0.392=-0.008 | | σ | 0.007-0.018=-0.011 | | min | 0.379-0.380=-0.001 | | max | 0.397-0.424=-0.027 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.003-1933.154=-1.152 | | σ | 0.011-0.021=-0.010 | | min | 1931.990-1933.130=-1.140 | | max | 1932.013-1933.177=-1.165 |
| | mean | 2771.000-2411.000=360.000 | | σ | 0.000 | | min | 2771.000-2411.000=360.000 | | max | 2771.000-2411.000=360.000 |
| | mean | 2.579-3.054=-0.475 | | σ | 0.129-0.194=-0.065 | | min | 2.475-2.730=-0.255 | | max | 2.736-3.217=-0.481 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.585-4753.910=-1.326 | | σ | 1.018-0.843=0.175 | | min | 4751.733-4753.449=-1.716 | | max | 4754.354-4755.415=-1.061 |
| | mean | 2771.000-2411.000=360.000 | | σ | 0.000 | | min | 2771.000-2411.000=360.000 | | max | 2771.000-2411.000=360.000 |
| | mean | 8.742-8.548=0.194 | | σ | 0.483-0.228=0.255 | | min | 7.997-8.221=-0.223 | | max | 9.231-8.854=0.378 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.212-4944.380=-1.168 | | σ | 0.015-0.019=-0.003 | | min | 4943.195-4944.354=-1.159 | | max | 4943.230-4944.399=-1.168 |
| | mean | 3040.600-2960.800=79.800 | | σ | 248.281-443.657=-195.376 | | min | 2771.000-2466.000=305.000 | | max | 3384.000-3557.000=-173.000 |
| | mean | 8.773-8.455=0.317 | | σ | 0.218-0.168=0.050 | | min | 8.472-8.302=0.170 | | max | 9.023-8.726=0.297 |
|