iters=5 new-facts=1 prior-facts=1 | | mean | 327.471-274.725=52.745 | | σ | 0.060-0.008=0.052 | | min | 327.364-274.715=52.649 | | max | 327.502-274.733=52.769 |
| | mean | 2484.000-2759.000=-275.000 | | σ | 0.000 | | min | 2484.000-2759.000=-275.000 | | max | 2484.000-2759.000=-275.000 |
| | mean | 0.431-0.381=0.050 | | σ | 0.007-0.007=-0.000 | | min | 0.427-0.377=0.050 | | max | 0.443-0.394=0.049 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.036-1935.174=52.862 | | σ | 0.008-0.008=-0.000 | | min | 1988.026-1935.162=52.864 | | max | 1988.047-1935.183=52.864 |
| | mean | 2484.000-2759.000=-275.000 | | σ | 0.000 | | min | 2484.000-2759.000=-275.000 | | max | 2484.000-2759.000=-275.000 |
| | mean | 2.622-2.535=0.086 | | σ | 0.077-0.183=-0.106 | | min | 2.541-2.247=0.294 | | max | 2.714-2.688=0.026 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4811.647-4758.816=52.831 | | σ | 7.680-7.568=0.112 | | min | 4808.147-4755.381=52.767 | | max | 4825.386-4772.353=53.032 |
| | mean | 2484.000-2759.000=-275.000 | | σ | 0.000 | | min | 2484.000-2759.000=-275.000 | | max | 2484.000-2759.000=-275.000 |
| | mean | 8.868-8.755=0.113 | | σ | 0.173-0.333=-0.160 | | min | 8.620-8.235=0.385 | | max | 9.079-8.998=0.080 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4999.103-4946.379=52.724 | | σ | 0.182-0.015=0.167 | | min | 4998.904-4946.364=52.540 | | max | 4999.269-4946.403=52.866 |
| | mean | 2952.200-3050.000=-97.800 | | σ | 253.307-324.086=-70.780 | | min | 2634.000-2759.000=-125.000 | | max | 3298.000-3492.000=-194.000 |
| | mean | 8.560-8.450=0.110 | | σ | 0.058-0.135=-0.077 | | min | 8.498-8.314=0.184 | | max | 8.640-8.622=0.018 |
|