iters=5 new-facts=1 prior-facts=1 | | mean | 279.434-279.436=-0.002 | | σ | 0.010-0.005=0.005 | | min | 279.421-279.432=-0.011 | | max | 279.446-279.443=0.003 |
| | mean | 2634.000-2685.000=-51.000 | | σ | 0.000 | | min | 2634.000-2685.000=-51.000 | | max | 2634.000-2685.000=-51.000 |
| | mean | 0.414-0.413=0.001 | | σ | 0.005-0.004=0.000 | | min | 0.410-0.410=-0.000 | | max | 0.420-0.421=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2269.499-2269.495=0.005 | | σ | 0.010-0.009=0.001 | | min | 2269.481-2269.479=0.002 | | max | 2269.507-2269.504=0.003 |
| | mean | 2634.000-2685.000=-51.000 | | σ | 0.000 | | min | 2634.000-2685.000=-51.000 | | max | 2634.000-2685.000=-51.000 |
| | mean | 2.921-2.909=0.012 | | σ | 0.078-0.084=-0.006 | | min | 2.858-2.811=0.048 | | max | 3.050-3.043=0.007 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.897-4954.871=0.026 | | σ | 0.912-0.908=0.005 | | min | 4954.294-4954.308=-0.015 | | max | 4956.512-4956.480=0.032 |
| | mean | 2634.000-2685.000=-51.000 | | σ | 0.000 | | min | 2634.000-2685.000=-51.000 | | max | 2634.000-2685.000=-51.000 |
| | mean | 7.981-8.099=-0.118 | | σ | 0.413-0.355=0.058 | | min | 7.718-7.774=-0.056 | | max | 8.691-8.609=0.082 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.438-5169.239=0.199 | | σ | 0.088-0.314=-0.227 | | min | 5169.342-5168.820=0.522 | | max | 5169.505-5169.506=-0.001 |
| | mean | 3474.600-3399.600=75.000 | | σ | 465.328-484.723=-19.395 | | min | 2808.000-2820.000=-12.000 | | max | 4019.000-4064.000=-45.000 |
| | mean | 9.312-9.521=-0.209 | | σ | 0.478-0.502=-0.024 | | min | 8.532-9.136=-0.604 | | max | 9.700-10.397=-0.696 |
|