iters=5 new-facts=1 prior-facts=1 | | mean | 272.095-272.110=-0.015 | | σ | 0.015-0.007=0.008 | | min | 272.079-272.101=-0.022 | | max | 272.120-272.117=0.003 |
| | mean | 2885.000-2902.000=-17.000 | | σ | 0.000 | | min | 2885.000-2902.000=-17.000 | | max | 2885.000-2902.000=-17.000 |
| | mean | 0.387-0.383=0.005 | | σ | 0.010-0.009=0.001 | | min | 0.379-0.375=0.004 | | max | 0.403-0.398=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.536-1932.540=-0.004 | | σ | 0.005-0.023=-0.018 | | min | 1932.530-1932.517=0.013 | | max | 1932.542-1932.566=-0.024 |
| | mean | 2885.000-2902.000=-17.000 | | σ | 0.000 | | min | 2885.000-2902.000=-17.000 | | max | 2885.000-2902.000=-17.000 |
| | mean | 2.948-2.940=0.007 | | σ | 0.203-0.274=-0.071 | | min | 2.630-2.474=0.157 | | max | 3.196-3.198=-0.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.296-4753.158=0.138 | | σ | 0.822-0.969=-0.147 | | min | 4752.882-4752.288=0.594 | | max | 4754.762-4754.820=-0.058 |
| | mean | 2885.000-2902.000=-17.000 | | σ | 0.000 | | min | 2885.000-2902.000=-17.000 | | max | 2885.000-2902.000=-17.000 |
| | mean | 8.350-8.405=-0.055 | | σ | 0.310-0.520=-0.210 | | min | 7.798-7.543=0.255 | | max | 8.531-8.830=-0.299 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.661-4943.728=-0.067 | | σ | 0.166-0.018=0.148 | | min | 4943.366-4943.705=-0.339 | | max | 4943.753-4943.754=-0.001 |
| | mean | 3074.600-3077.200=-2.600 | | σ | 188.516-199.230=-10.714 | | min | 2885.000-2902.000=-17.000 | | max | 3323.000-3388.000=-65.000 |
| | mean | 8.606-8.672=-0.066 | | σ | 0.208-0.245=-0.038 | | min | 8.447-8.387=0.061 | | max | 8.960-8.955=0.005 |
|