iters=5 new-facts=1 prior-facts=1 | | mean | 272.790-272.789=0.001 | | σ | 0.007-0.005=0.002 | | min | 272.780-272.784=-0.004 | | max | 272.798-272.798=0.000 |
| | mean | 2771.000-2507.000=264.000 | | σ | 0.000 | | min | 2771.000-2507.000=264.000 | | max | 2771.000-2507.000=264.000 |
| | mean | 0.384-0.379=0.005 | | σ | 0.010-0.001=0.008 | | min | 0.376-0.378=-0.002 | | max | 0.398-0.381=0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.225-1933.225=-0.000 | | σ | 0.016-0.016=-0.000 | | min | 1933.206-1933.202=0.003 | | max | 1933.244-1933.243=0.002 |
| | mean | 2771.000-2507.000=264.000 | | σ | 0.000 | | min | 2771.000-2507.000=264.000 | | max | 2771.000-2507.000=264.000 |
| | mean | 3.042-3.192=-0.150 | | σ | 0.064-0.161=-0.097 | | min | 2.991-3.039=-0.048 | | max | 3.134-3.398=-0.264 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.968-4756.984=-0.017 | | σ | 7.578-7.543=0.035 | | min | 4753.474-4753.586=-0.112 | | max | 4770.522-4770.478=0.045 |
| | mean | 2771.000-2507.000=264.000 | | σ | 0.000 | | min | 2771.000-2507.000=264.000 | | max | 2771.000-2507.000=264.000 |
| | mean | 8.534-8.382=0.153 | | σ | 0.279-0.226=0.053 | | min | 8.317-7.994=0.323 | | max | 8.998-8.576=0.421 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.452-4944.307=0.145 | | σ | 0.017-0.197=-0.180 | | min | 4944.431-4944.078=0.352 | | max | 4944.474-4944.462=0.012 |
| | mean | 2990.800-2976.600=14.200 | | σ | 269.608-394.871=-125.263 | | min | 2771.000-2507.000=264.000 | | max | 3402.000-3517.000=-115.000 |
| | mean | 8.433-8.455=-0.021 | | σ | 0.085-0.086=-0.001 | | min | 8.357-8.385=-0.028 | | max | 8.569-8.590=-0.021 |
|