iters=5 new-facts=1 prior-facts=1 | | mean | 272.792-272.793=-0.001 | | σ | 0.010-0.009=0.001 | | min | 272.782-272.782=-0.000 | | max | 272.806-272.802=0.004 |
| | mean | 2772.000-2499.000=273.000 | | σ | 0.000 | | min | 2772.000-2499.000=273.000 | | max | 2772.000-2499.000=273.000 |
| | mean | 0.383-0.386=-0.003 | | σ | 0.007-0.014=-0.006 | | min | 0.377-0.379=-0.001 | | max | 0.396-0.410=-0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.226-1933.218=0.008 | | σ | 0.021-0.017=0.003 | | min | 1933.211-1933.201=0.010 | | max | 1933.261-1933.238=0.023 |
| | mean | 2772.000-2499.000=273.000 | | σ | 0.000 | | min | 2772.000-2499.000=273.000 | | max | 2772.000-2499.000=273.000 |
| | mean | 3.100-3.018=0.082 | | σ | 0.131-0.181=-0.051 | | min | 2.949-2.759=0.190 | | max | 3.262-3.246=0.016 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.748-4756.968=-0.220 | | σ | 7.693-7.645=0.048 | | min | 4753.053-4753.472=-0.419 | | max | 4770.504-4770.643=-0.139 |
| | mean | 2772.000-2499.000=273.000 | | σ | 0.000 | | min | 2772.000-2499.000=273.000 | | max | 2772.000-2499.000=273.000 |
| | mean | 8.367-8.617=-0.250 | | σ | 0.505-0.295=0.210 | | min | 7.768-8.223=-0.454 | | max | 8.926-8.929=-0.003 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.398-4944.454=-0.056 | | σ | 0.151-0.025=0.126 | | min | 4944.129-4944.418=-0.289 | | max | 4944.486-4944.477=0.009 |
| | mean | 3014.800-2927.000=87.800 | | σ | 304.611-367.182=-62.571 | | min | 2772.000-2499.000=273.000 | | max | 3473.000-3436.000=37.000 |
| | mean | 8.483-8.401=0.082 | | σ | 0.133-0.056=0.077 | | min | 8.397-8.348=0.049 | | max | 8.718-8.473=0.245 |
|