iters=5 new-facts=1 prior-facts=1 | | mean | 271.641-271.649=-0.008 | | σ | 0.008-0.011=-0.002 | | min | 271.629-271.637=-0.008 | | max | 271.652-271.663=-0.012 |
| | mean | 2785.000-2665.000=120.000 | | σ | 0.000 | | min | 2785.000-2665.000=120.000 | | max | 2785.000-2665.000=120.000 |
| | mean | 0.391-0.387=0.004 | | σ | 0.011-0.008=0.003 | | min | 0.378-0.377=0.001 | | max | 0.408-0.400=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.113-1932.120=-0.007 | | σ | 0.008-0.017=-0.010 | | min | 1932.105-1932.100=0.005 | | max | 1932.123-1932.147=-0.024 |
| | mean | 2785.000-2665.000=120.000 | | σ | 0.000 | | min | 2785.000-2665.000=120.000 | | max | 2785.000-2665.000=120.000 |
| | mean | 2.545-2.627=-0.082 | | σ | 0.111-0.122=-0.011 | | min | 2.471-2.494=-0.023 | | max | 2.741-2.790=-0.049 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.599-4752.587=0.012 | | σ | 0.853-0.891=-0.038 | | min | 4752.089-4752.065=0.024 | | max | 4754.118-4754.173=-0.055 |
| | mean | 2785.000-2665.000=120.000 | | σ | 0.000 | | min | 2785.000-2665.000=120.000 | | max | 2785.000-2665.000=120.000 |
| | mean | 8.511-8.582=-0.071 | | σ | 0.428-0.548=-0.120 | | min | 7.780-7.683=0.097 | | max | 8.896-9.167=-0.271 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.042-4942.982=0.060 | | σ | 0.083-0.201=-0.118 | | min | 4942.968-4942.646=0.322 | | max | 4943.133-4943.150=-0.017 |
| | mean | 3037.800-3013.200=24.600 | | σ | 201.635-313.756=-112.121 | | min | 2785.000-2665.000=120.000 | | max | 3313.000-3326.000=-13.000 |
| | mean | 8.613-8.891=-0.278 | | σ | 0.245-0.308=-0.062 | | min | 8.388-8.517=-0.129 | | max | 8.985-9.259=-0.274 |
|