iters=5 new-facts=1 prior-facts=1 | | mean | 272.772-273.586=-0.814 | | σ | 0.006-0.009=-0.003 | | min | 272.764-273.572=-0.809 | | max | 272.781-273.595=-0.814 |
| | mean | 2491.000-2679.000=-188.000 | | σ | 0.000 | | min | 2491.000-2679.000=-188.000 | | max | 2491.000-2679.000=-188.000 |
| | mean | 0.383-0.388=-0.005 | | σ | 0.008-0.006=0.002 | | min | 0.372-0.384=-0.012 | | max | 0.393-0.398=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.150-1934.002=-0.851 | | σ | 0.016-0.010=0.006 | | min | 1933.125-1933.987=-0.862 | | max | 1933.164-1934.015=-0.852 |
| | mean | 2491.000-2679.000=-188.000 | | σ | 0.000 | | min | 2491.000-2679.000=-188.000 | | max | 2491.000-2679.000=-188.000 |
| | mean | 2.991-3.083=-0.092 | | σ | 0.106-0.085=0.021 | | min | 2.820-3.013=-0.193 | | max | 3.085-3.212=-0.127 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.911-4754.844=-0.934 | | σ | 0.854-0.825=0.030 | | min | 4753.357-4754.388=-1.031 | | max | 4755.424-4756.316=-0.893 |
| | mean | 2491.000-2679.000=-188.000 | | σ | 0.000 | | min | 2491.000-2679.000=-188.000 | | max | 2491.000-2679.000=-188.000 |
| | mean | 8.599-7.984=0.615 | | σ | 0.519-0.356=0.162 | | min | 7.926-7.784=0.142 | | max | 9.363-8.615=0.748 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.316-4945.217=-0.901 | | σ | 0.141-0.007=0.134 | | min | 4944.064-4945.209=-1.145 | | max | 4944.399-4945.225=-0.826 |
| | mean | 2896.000-2995.200=-99.200 | | σ | 358.837-361.763=-2.926 | | min | 2491.000-2679.000=-188.000 | | max | 3402.000-3523.000=-121.000 |
| | mean | 8.625-8.482=0.143 | | σ | 0.341-0.124=0.217 | | min | 8.368-8.373=-0.005 | | max | 9.171-8.646=0.525 |
|