iters=5 new-facts=1 prior-facts=1 | | mean | 278.850-278.849=0.001 | | σ | 0.004-0.005=-0.001 | | min | 278.845-278.845=0.000 | | max | 278.854-278.858=-0.003 |
| | mean | 2682.000-2736.000=-54.000 | | σ | 0.000 | | min | 2682.000-2736.000=-54.000 | | max | 2682.000-2736.000=-54.000 |
| | mean | 0.411-0.410=0.000 | | σ | 0.004-0.004=0.000 | | min | 0.407-0.407=-0.000 | | max | 0.418-0.418=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.906-2268.903=0.003 | | σ | 0.011-0.014=-0.003 | | min | 2268.894-2268.887=0.008 | | max | 2268.922-2268.918=0.004 |
| | mean | 2682.000-2736.000=-54.000 | | σ | 0.000 | | min | 2682.000-2736.000=-54.000 | | max | 2682.000-2736.000=-54.000 |
| | mean | 3.208-2.947=0.261 | | σ | 0.227-0.164=0.062 | | min | 2.876-2.851=0.025 | | max | 3.504-3.238=0.266 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.281-4953.928=0.353 | | σ | 0.849-1.133=-0.284 | | min | 4953.866-4952.871=0.994 | | max | 4955.797-4955.818=-0.021 |
| | mean | 2682.000-2736.000=-54.000 | | σ | 0.000 | | min | 2682.000-2736.000=-54.000 | | max | 2682.000-2736.000=-54.000 |
| | mean | 8.007-7.993=0.014 | | σ | 0.376-0.405=-0.028 | | min | 7.639-7.668=-0.029 | | max | 8.618-8.670=-0.052 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.742-5168.809=-0.067 | | σ | 0.128-0.084=0.044 | | min | 5168.548-5168.743=-0.195 | | max | 5168.908-5168.903=0.005 |
| | mean | 3355.000-3438.600=-83.600 | | σ | 408.538-490.788=-82.250 | | min | 2949.000-2796.000=153.000 | | max | 3766.000-4086.000=-320.000 |
| | mean | 9.126-9.415=-0.289 | | σ | 0.261-0.270=-0.009 | | min | 8.683-8.988=-0.305 | | max | 9.338-9.656=-0.319 |
|