iters=5 new-facts=1 prior-facts=1 | | mean | 271.957-272.767=-0.809 | | σ | 0.005-0.008=-0.003 | | min | 271.952-272.758=-0.805 | | max | 271.964-272.779=-0.814 |
| | mean | 2748.000-2842.000=-94.000 | | σ | 0.000 | | min | 2748.000-2842.000=-94.000 | | max | 2748.000-2842.000=-94.000 |
| | mean | 0.384-0.385=-0.001 | | σ | 0.008-0.006=0.001 | | min | 0.380-0.379=0.001 | | max | 0.398-0.393=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.318-1933.149=-0.832 | | σ | 0.006-0.017=-0.011 | | min | 1932.309-1933.123=-0.814 | | max | 1932.324-1933.168=-0.844 |
| | mean | 2748.000-2842.000=-94.000 | | σ | 0.000 | | min | 2748.000-2842.000=-94.000 | | max | 2748.000-2842.000=-94.000 |
| | mean | 3.045-2.988=0.057 | | σ | 0.074-0.108=-0.033 | | min | 2.961-2.826=0.135 | | max | 3.148-3.122=0.026 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.976-4753.791=-0.816 | | σ | 1.018-0.593=0.426 | | min | 4752.028-4753.465=-1.438 | | max | 4754.706-4754.847=-0.140 |
| | mean | 2748.000-2842.000=-94.000 | | σ | 0.000 | | min | 2748.000-2842.000=-94.000 | | max | 2748.000-2842.000=-94.000 |
| | mean | 8.638-8.468=0.170 | | σ | 0.460-0.395=0.065 | | min | 7.887-7.848=0.039 | | max | 9.015-8.875=0.139 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.558-4944.384=-0.827 | | σ | 0.015-0.015=-0.001 | | min | 4943.541-4944.369=-0.827 | | max | 4943.574-4944.402=-0.828 |
| | mean | 2989.600-3018.600=-29.000 | | σ | 221.785-253.737=-31.951 | | min | 2748.000-2842.000=-94.000 | | max | 3312.000-3431.000=-119.000 |
| | mean | 8.520-8.405=0.116 | | σ | 0.087-0.046=0.041 | | min | 8.433-8.358=0.074 | | max | 8.641-8.478=0.163 |
|