iters=5 new-facts=1 prior-facts=1 | | mean | 278.848-278.847=0.001 | | σ | 0.007-0.004=0.002 | | min | 278.839-278.840=-0.001 | | max | 278.854-278.851=0.003 |
| | mean | 2680.000-2739.000=-59.000 | | σ | 0.000 | | min | 2680.000-2739.000=-59.000 | | max | 2680.000-2739.000=-59.000 |
| | mean | 0.414-0.410=0.003 | | σ | 0.005-0.006=-0.001 | | min | 0.406-0.406=0.001 | | max | 0.417-0.417=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.905-2268.899=0.006 | | σ | 0.015-0.017=-0.002 | | min | 2268.883-2268.881=0.003 | | max | 2268.919-2268.919=0.000 |
| | mean | 2680.000-2739.000=-59.000 | | σ | 0.000 | | min | 2680.000-2739.000=-59.000 | | max | 2680.000-2739.000=-59.000 |
| | mean | 3.222-2.964=0.258 | | σ | 0.206-0.100=0.105 | | min | 2.930-2.903=0.027 | | max | 3.507-3.141=0.366 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.285-4954.262=0.022 | | σ | 0.858-0.795=0.063 | | min | 4953.854-4953.781=0.074 | | max | 4955.817-4955.671=0.146 |
| | mean | 2680.000-2739.000=-59.000 | | σ | 0.000 | | min | 2680.000-2739.000=-59.000 | | max | 2680.000-2739.000=-59.000 |
| | mean | 7.988-7.952=0.037 | | σ | 0.410-0.090=0.320 | | min | 7.662-7.835=-0.173 | | max | 8.690-8.086=0.604 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.816-5168.817=-0.001 | | σ | 0.079-0.082=-0.003 | | min | 5168.749-5168.746=0.004 | | max | 5168.905-5168.906=-0.001 |
| | mean | 3365.200-3423.000=-57.800 | | σ | 416.138-469.866=-53.728 | | min | 2954.000-2827.000=127.000 | | max | 3786.000-4060.000=-274.000 |
| | mean | 9.405-9.202=0.203 | | σ | 0.338-0.436=-0.098 | | min | 9.085-8.496=0.589 | | max | 9.961-9.697=0.264 |
|