iters=5 new-facts=1 prior-facts=1 | | mean | 285.665-324.775=-39.110 | | σ | 0.021-0.033=-0.012 | | min | 285.632-324.718=-39.086 | | max | 285.685-324.794=-39.110 |
| | mean | 1598.000-2830.000=-1232.000 | | σ | 0.000 | | min | 1598.000-2830.000=-1232.000 | | max | 1598.000-2830.000=-1232.000 |
| | mean | 0.375-0.428=-0.053 | | σ | 0.001-0.010=-0.009 | | min | 0.374-0.420=-0.046 | | max | 0.376-0.440=-0.064 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.633-1985.329=-699.696 | | σ | 0.123-0.012=0.111 | | min | 1285.575-1985.308=-699.733 | | max | 1285.853-1985.342=-699.488 |
| | mean | 1598.000-2830.000=-1232.000 | | σ | 0.000 | | min | 1598.000-2830.000=-1232.000 | | max | 1598.000-2830.000=-1232.000 |
| | mean | 1.882-2.613=-0.731 | | σ | 0.059-0.104=-0.045 | | min | 1.808-2.487=-0.680 | | max | 1.956-2.753=-0.796 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.994-4809.112=-3001.118 | | σ | 6.998-7.658=-0.660 | | min | 1804.649-4805.610=-3000.961 | | max | 1820.499-4822.811=-3002.312 |
| | mean | 1598.000-2830.000=-1232.000 | | σ | 0.000 | | min | 1598.000-2830.000=-1232.000 | | max | 1598.000-2830.000=-1232.000 |
| | mean | 4.269-8.796=-4.526 | | σ | 0.171-0.528=-0.357 | | min | 4.078-8.077=-3.999 | | max | 4.481-9.522=-5.042 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.467-4996.626=-2926.159 | | σ | 0.011-0.031=-0.020 | | min | 2070.459-4996.591=-2926.133 | | max | 2070.485-4996.663=-2926.177 |
| | mean | 1851.800-3071.800=-1220.000 | | σ | 209.992-313.606=-103.614 | | min | 1598.000-2830.000=-1232.000 | | max | 2087.000-3551.000=-1464.000 |
| | mean | 4.541-8.678=-4.137 | | σ | 0.107-0.466=-0.359 | | min | 4.416-8.417=-4.001 | | max | 4.687-9.501=-4.814 |
|