iters=5 new-facts=1 prior-facts=1 | | mean | 270.217-270.219=-0.002 | | σ | 0.006-0.007=-0.001 | | min | 270.207-270.209=-0.001 | | max | 270.223-270.228=-0.005 |
| | mean | 2586.000-2640.000=-54.000 | | σ | 0.000 | | min | 2586.000-2640.000=-54.000 | | max | 2586.000-2640.000=-54.000 |
| | mean | 0.372-0.374=-0.002 | | σ | 0.001-0.005=-0.004 | | min | 0.371-0.371=0.001 | | max | 0.373-0.383=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.688-1930.684=0.004 | | σ | 0.009-0.017=-0.007 | | min | 1930.680-1930.658=0.022 | | max | 1930.702-1930.696=0.006 |
| | mean | 2586.000-2640.000=-54.000 | | σ | 0.000 | | min | 2586.000-2640.000=-54.000 | | max | 2586.000-2640.000=-54.000 |
| | mean | 2.532-2.569=-0.037 | | σ | 0.129-0.120=0.008 | | min | 2.441-2.409=0.032 | | max | 2.754-2.675=0.078 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.152-4751.217=-0.065 | | σ | 0.866-0.810=0.056 | | min | 4750.600-4750.761=-0.161 | | max | 4752.689-4752.656=0.033 |
| | mean | 2586.000-2640.000=-54.000 | | σ | 0.000 | | min | 2586.000-2640.000=-54.000 | | max | 2586.000-2640.000=-54.000 |
| | mean | 8.714-8.142=0.572 | | σ | 0.679-0.395=0.284 | | min | 7.703-7.671=0.031 | | max | 9.394-8.678=0.715 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.621-4941.623=-0.002 | | σ | 0.086-0.084=0.002 | | min | 4941.549-4941.553=-0.004 | | max | 4941.716-4941.721=-0.004 |
| | mean | 3024.800-2969.200=55.600 | | σ | 311.880-340.307=-28.427 | | min | 2605.000-2640.000=-35.000 | | max | 3419.000-3451.000=-32.000 |
| | mean | 8.672-8.478=0.194 | | σ | 0.174-0.199=-0.024 | | min | 8.499-8.310=0.190 | | max | 8.890-8.768=0.121 |
|