iters=5 new-facts=1 prior-facts=1 | | mean | 285.412-324.763=-39.350 | | σ | 0.011-0.057=-0.046 | | min | 285.397-324.661=-39.265 | | max | 285.424-324.795=-39.370 |
| | mean | 1644.000-2468.000=-824.000 | | σ | 0.000 | | min | 1644.000-2468.000=-824.000 | | max | 1644.000-2468.000=-824.000 |
| | mean | 0.380-0.435=-0.055 | | σ | 0.007-0.009=-0.002 | | min | 0.370-0.428=-0.058 | | max | 0.389-0.448=-0.059 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.373-1985.318=-699.946 | | σ | 0.133-0.016=0.117 | | min | 1285.305-1985.290=-699.985 | | max | 1285.611-1985.332=-699.721 |
| | mean | 1644.000-2468.000=-824.000 | | σ | 0.000 | | min | 1644.000-2468.000=-824.000 | | max | 1644.000-2468.000=-824.000 |
| | mean | 1.877-2.624=-0.747 | | σ | 0.055-0.077=-0.022 | | min | 1.829-2.563=-0.734 | | max | 1.972-2.736=-0.764 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.753-4809.098=-3001.345 | | σ | 6.987-7.728=-0.741 | | min | 1804.380-4805.586=-3001.206 | | max | 1820.235-4822.922=-3002.687 |
| | mean | 1644.000-2468.000=-824.000 | | σ | 0.000 | | min | 1644.000-2468.000=-824.000 | | max | 1644.000-2468.000=-824.000 |
| | mean | 4.299-9.058=-4.759 | | σ | 0.173-0.263=-0.090 | | min | 4.067-8.783=-4.716 | | max | 4.491-9.353=-4.862 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.195-4996.559=-2926.364 | | σ | 0.011-0.172=-0.161 | | min | 2070.183-4996.254=-2926.070 | | max | 2070.212-4996.657=-2926.445 |
| | mean | 1844.800-2956.600=-1111.800 | | σ | 189.405-434.988=-245.583 | | min | 1644.000-2468.000=-824.000 | | max | 2087.000-3542.000=-1455.000 |
| | mean | 4.514-8.558=-4.044 | | σ | 0.059-0.109=-0.050 | | min | 4.439-8.449=-4.010 | | max | 4.580-8.706=-4.126 |
|