iters=5 new-facts=1 prior-facts=1 | | mean | 278.824-278.826=-0.001 | | σ | 0.004-0.005=-0.000 | | min | 278.822-278.820=0.001 | | max | 278.832-278.830=0.002 |
| | mean | 2697.000-2641.000=56.000 | | σ | 0.000 | | min | 2697.000-2641.000=56.000 | | max | 2697.000-2641.000=56.000 |
| | mean | 0.412-0.411=0.001 | | σ | 0.006-0.004=0.001 | | min | 0.407-0.407=-0.000 | | max | 0.419-0.418=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.882-2268.885=-0.003 | | σ | 0.018-0.021=-0.003 | | min | 2268.868-2268.849=0.018 | | max | 2268.914-2268.901=0.013 |
| | mean | 2697.000-2641.000=56.000 | | σ | 0.000 | | min | 2697.000-2641.000=56.000 | | max | 2697.000-2641.000=56.000 |
| | mean | 3.134-2.904=0.229 | | σ | 0.205-0.078=0.127 | | min | 2.913-2.847=0.067 | | max | 3.392-3.041=0.351 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.170-4954.274=-0.105 | | σ | 1.022-0.885=0.137 | | min | 4953.353-4953.779=-0.425 | | max | 4955.945-4955.849=0.096 |
| | mean | 2697.000-2641.000=56.000 | | σ | 0.000 | | min | 2697.000-2641.000=56.000 | | max | 2697.000-2641.000=56.000 |
| | mean | 8.068-7.946=0.122 | | σ | 0.420-0.275=0.144 | | min | 7.665-7.632=0.033 | | max | 8.708-8.279=0.430 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.826-5168.827=-0.000 | | σ | 0.088-0.095=-0.007 | | min | 5168.729-5168.720=0.009 | | max | 5168.903-5168.901=0.002 |
| | mean | 3341.200-3399.400=-58.200 | | σ | 396.533-463.511=-66.977 | | min | 2947.000-2814.000=133.000 | | max | 3740.000-4023.000=-283.000 |
| | mean | 9.223-9.402=-0.179 | | σ | 0.216-0.237=-0.022 | | min | 8.976-9.146=-0.170 | | max | 9.537-9.708=-0.171 |
|