iters=5 new-facts=1 prior-facts=1 | | mean | 266.780-266.776=0.004 | | σ | 0.005-0.006=-0.001 | | min | 266.776-266.767=0.009 | | max | 266.787-266.783=0.004 |
| | mean | 2471.000-2660.000=-189.000 | | σ | 0.000 | | min | 2471.000-2660.000=-189.000 | | max | 2471.000-2660.000=-189.000 |
| | mean | 0.366-0.364=0.002 | | σ | 0.004-0.002=0.002 | | min | 0.364-0.361=0.002 | | max | 0.373-0.366=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.209-1927.210=-0.001 | | σ | 0.009-0.010=-0.001 | | min | 1927.201-1927.197=0.004 | | max | 1927.222-1927.223=-0.001 |
| | mean | 2471.000-2660.000=-189.000 | | σ | 0.000 | | min | 2471.000-2660.000=-189.000 | | max | 2471.000-2660.000=-189.000 |
| | mean | 3.022-2.850=0.172 | | σ | 0.342-0.112=0.230 | | min | 2.505-2.703=-0.198 | | max | 3.450-3.002=0.448 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.753-4747.655=0.097 | | σ | 0.778-0.849=-0.071 | | min | 4747.294-4746.898=0.396 | | max | 4749.135-4749.112=0.022 |
| | mean | 2471.000-2660.000=-189.000 | | σ | 0.000 | | min | 2471.000-2660.000=-189.000 | | max | 2471.000-2660.000=-189.000 |
| | mean | 8.196-8.079=0.117 | | σ | 0.361-0.304=0.057 | | min | 7.826-7.734=0.092 | | max | 8.734-8.503=0.231 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.090-4938.159=-0.070 | | σ | 0.210-0.084=0.126 | | min | 4937.734-4938.081=-0.347 | | max | 4938.247-4938.254=-0.008 |
| | mean | 2932.600-3003.800=-71.200 | | σ | 404.824-383.304=21.520 | | min | 2471.000-2660.000=-189.000 | | max | 3459.000-3554.000=-95.000 |
| | mean | 8.497-8.466=0.032 | | σ | 0.152-0.144=0.008 | | min | 8.384-8.339=0.045 | | max | 8.685-8.642=0.043 |
|