iters=5 new-facts=1 prior-facts=1 | | mean | 262.594-286.791=-24.197 | | σ | 0.008-0.002=0.006 | | min | 262.581-286.789=-24.207 | | max | 262.599-286.794=-24.194 |
| | mean | 1515.000-1619.000=-104.000 | | σ | 0.000 | | min | 1515.000-1619.000=-104.000 | | max | 1515.000-1619.000=-104.000 |
| | mean | 0.356-0.367=-0.011 | | σ | 0.008-0.001=0.007 | | min | 0.347-0.366=-0.019 | | max | 0.364-0.368=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1262.655-1286.879=-24.223 | | σ | 0.091-0.017=0.074 | | min | 1262.612-1286.857=-24.246 | | max | 1262.818-1286.899=-24.081 |
| | mean | 1515.000-1619.000=-104.000 | | σ | 0.000 | | min | 1515.000-1619.000=-104.000 | | max | 1515.000-1619.000=-104.000 |
| | mean | 1.906-1.884=0.022 | | σ | 0.099-0.109=-0.010 | | min | 1.789-1.818=-0.030 | | max | 2.020-2.076=-0.056 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 2058.190-4110.247=-2052.057 | | σ | 7.023-7.415=-0.392 | | min | 2054.858-4106.917=-2052.059 | | max | 2070.742-4123.511=-2052.770 |
| | mean | 1515.000-1619.000=-104.000 | | σ | 0.000 | | min | 1515.000-1619.000=-104.000 | | max | 1515.000-1619.000=-104.000 |
| | mean | 4.545-7.293=-2.748 | | σ | 0.263-0.351=-0.088 | | min | 4.279-6.842=-2.562 | | max | 4.860-7.707=-2.847 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2047.396-4100.135=-2052.740 | | σ | 0.006-0.033=-0.028 | | min | 2047.391-4100.110=-2052.719 | | max | 2047.405-4100.193=-2052.788 |
| | mean | 1821.000-1806.200=14.800 | | σ | 196.757-161.838=34.919 | | min | 1515.000-1619.000=-104.000 | | max | 1982.000-2034.000=-52.000 |
| | mean | 4.433-7.789=-3.355 | | σ | 0.035-0.350=-0.315 | | min | 4.401-7.290=-2.889 | | max | 4.481-8.224=-3.743 |
|