iters=5 new-facts=1 prior-facts=1 | | mean | 285.601-350.829=-65.228 | | σ | 0.008-0.070=-0.061 | | min | 285.590-350.705=-65.115 | | max | 285.610-350.872=-65.261 |
| | mean | 1642.000-2729.000=-1087.000 | | σ | 0.000 | | min | 1642.000-2729.000=-1087.000 | | max | 1642.000-2729.000=-1087.000 |
| | mean | 0.376-0.458=-0.082 | | σ | 0.001-0.006=-0.005 | | min | 0.375-0.452=-0.078 | | max | 0.378-0.464=-0.087 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.546-2012.904=-727.358 | | σ | 0.086-0.009=0.077 | | min | 1285.503-2012.891=-727.387 | | max | 1285.699-2012.914=-727.215 |
| | mean | 1642.000-2729.000=-1087.000 | | σ | 0.000 | | min | 1642.000-2729.000=-1087.000 | | max | 1642.000-2729.000=-1087.000 |
| | mean | 1.880-2.713=-0.833 | | σ | 0.074-0.071=0.003 | | min | 1.808-2.606=-0.798 | | max | 1.997-2.792=-0.795 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.956-4837.661=-3029.705 | | σ | 7.080-7.867=-0.787 | | min | 1804.591-4833.834=-3029.242 | | max | 1820.607-4851.725=-3031.118 |
| | mean | 1642.000-2729.000=-1087.000 | | σ | 0.000 | | min | 1642.000-2729.000=-1087.000 | | max | 1642.000-2729.000=-1087.000 |
| | mean | 4.156-8.355=-4.199 | | σ | 0.165-0.446=-0.280 | | min | 4.018-7.958=-3.940 | | max | 4.418-9.089=-4.670 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.388-5025.397=-2955.010 | | σ | 0.006-0.015=-0.009 | | min | 2070.379-5025.372=-2954.993 | | max | 2070.394-5025.410=-2955.016 |
| | mean | 1866.000-3031.800=-1165.800 | | σ | 195.071-357.028=-161.957 | | min | 1642.000-2729.000=-1087.000 | | max | 2090.000-3557.000=-1467.000 |
| | mean | 4.505-9.737=-5.232 | | σ | 0.038-0.352=-0.315 | | min | 4.461-9.143=-4.682 | | max | 4.562-10.076=-5.514 |
|