iters=5 new-facts=1 prior-facts=1 | | mean | 277.719-277.711=0.008 | | σ | 0.008-0.010=-0.003 | | min | 277.708-277.697=0.011 | | max | 277.729-277.723=0.006 |
| | mean | 2649.000-2654.000=-5.000 | | σ | 0.000 | | min | 2649.000-2654.000=-5.000 | | max | 2649.000-2654.000=-5.000 |
| | mean | 0.407-0.409=-0.003 | | σ | 0.002-0.002=0.000 | | min | 0.404-0.408=-0.004 | | max | 0.408-0.411=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.892-2267.876=0.016 | | σ | 0.012-0.024=-0.012 | | min | 2267.881-2267.847=0.034 | | max | 2267.910-2267.902=0.008 |
| | mean | 2649.000-2654.000=-5.000 | | σ | 0.000 | | min | 2649.000-2654.000=-5.000 | | max | 2649.000-2654.000=-5.000 |
| | mean | 3.079-3.159=-0.081 | | σ | 0.229-0.152=0.077 | | min | 2.739-2.943=-0.204 | | max | 3.333-3.318=0.015 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.921-4955.064=-0.142 | | σ | 0.927-0.820=0.107 | | min | 4954.069-4954.563=-0.494 | | max | 4956.501-4956.522=-0.022 |
| | mean | 2649.000-2654.000=-5.000 | | σ | 0.000 | | min | 2649.000-2654.000=-5.000 | | max | 2649.000-2654.000=-5.000 |
| | mean | 7.924-7.906=0.017 | | σ | 0.318-0.256=0.062 | | min | 7.635-7.651=-0.017 | | max | 8.389-8.230=0.159 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.787-5169.713=0.074 | | σ | 0.086-0.154=-0.067 | | min | 5169.693-5169.475=0.217 | | max | 5169.855-5169.870=-0.015 |
| | mean | 3374.000-3351.600=22.400 | | σ | 518.675-425.034=93.641 | | min | 2909.000-2929.000=-20.000 | | max | 4117.000-3779.000=338.000 |
| | mean | 9.102-9.317=-0.216 | | σ | 0.163-0.306=-0.143 | | min | 8.870-8.930=-0.059 | | max | 9.301-9.685=-0.383 |
|