iters=5 new-facts=1 prior-facts=1 | | mean | 275.403-275.397=0.006 | | σ | 0.004-0.010=-0.006 | | min | 275.397-275.382=0.014 | | max | 275.406-275.408=-0.002 |
| | mean | 2764.000-2857.000=-93.000 | | σ | 0.000 | | min | 2764.000-2857.000=-93.000 | | max | 2764.000-2857.000=-93.000 |
| | mean | 0.418-0.419=-0.001 | | σ | 0.001-0.002=-0.000 | | min | 0.416-0.418=-0.002 | | max | 0.419-0.422=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2263.870-2263.872=-0.002 | | σ | 0.019-0.016=0.003 | | min | 2263.848-2263.847=0.001 | | max | 2263.891-2263.887=0.004 |
| | mean | 2764.000-2857.000=-93.000 | | σ | 0.000 | | min | 2764.000-2857.000=-93.000 | | max | 2764.000-2857.000=-93.000 |
| | mean | 3.120-3.089=0.031 | | σ | 0.122-0.191=-0.069 | | min | 2.926-2.900=0.026 | | max | 3.242-3.376=-0.134 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.893-4951.913=-0.019 | | σ | 0.821-0.816=0.005 | | min | 4951.377-4951.450=-0.073 | | max | 4953.353-4953.364=-0.011 |
| | mean | 2764.000-2857.000=-93.000 | | σ | 0.000 | | min | 2764.000-2857.000=-93.000 | | max | 2764.000-2857.000=-93.000 |
| | mean | 7.913-7.813=0.100 | | σ | 0.241-0.164=0.076 | | min | 7.688-7.674=0.014 | | max | 8.283-7.995=0.287 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5164.722-5164.798=-0.076 | | σ | 0.140-0.084=0.056 | | min | 5164.501-5164.705=-0.204 | | max | 5164.850-5164.869=-0.019 |
| | mean | 3372.400-3368.600=3.800 | | σ | 423.654-407.412=16.241 | | min | 2954.000-2857.000=97.000 | | max | 3801.000-3929.000=-128.000 |
| | mean | 9.247-9.424=-0.177 | | σ | 0.415-0.318=0.097 | | min | 8.633-9.088=-0.455 | | max | 9.628-9.815=-0.187 |
|