iters=5 new-facts=1 prior-facts=1 | | mean | 271.289-271.278=0.011 | | σ | 0.009-0.011=-0.002 | | min | 271.281-271.266=0.015 | | max | 271.304-271.291=0.013 |
| | mean | 2767.000-2850.000=-83.000 | | σ | 0.000 | | min | 2767.000-2850.000=-83.000 | | max | 2767.000-2850.000=-83.000 |
| | mean | 0.380-0.387=-0.007 | | σ | 0.006-0.012=-0.005 | | min | 0.372-0.372=-0.000 | | max | 0.388-0.401=-0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.719-1931.718=0.001 | | σ | 0.015-0.007=0.008 | | min | 1931.700-1931.709=-0.009 | | max | 1931.734-1931.725=0.008 |
| | mean | 2767.000-2850.000=-83.000 | | σ | 0.000 | | min | 2767.000-2850.000=-83.000 | | max | 2767.000-2850.000=-83.000 |
| | mean | 2.929-3.030=-0.101 | | σ | 0.308-0.220=0.088 | | min | 2.393-2.806=-0.412 | | max | 3.143-3.372=-0.229 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.531-4752.478=0.052 | | σ | 0.814-0.909=-0.095 | | min | 4752.083-4751.908=0.175 | | max | 4753.983-4754.075=-0.092 |
| | mean | 2767.000-2850.000=-83.000 | | σ | 0.000 | | min | 2767.000-2850.000=-83.000 | | max | 2767.000-2850.000=-83.000 |
| | mean | 7.944-8.506=-0.562 | | σ | 0.317-0.632=-0.315 | | min | 7.699-7.812=-0.112 | | max | 8.439-9.185=-0.746 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.841-4942.850=-0.009 | | σ | 0.166-0.147=0.020 | | min | 4942.545-4942.590=-0.045 | | max | 4942.936-4942.935=0.000 |
| | mean | 3049.200-3063.800=-14.600 | | σ | 341.825-265.251=76.574 | | min | 2767.000-2850.000=-83.000 | | max | 3562.000-3458.000=104.000 |
| | mean | 8.472-8.645=-0.173 | | σ | 0.181-0.151=0.029 | | min | 8.294-8.484=-0.190 | | max | 8.686-8.804=-0.118 |
|