iters=5 new-facts=1 prior-facts=1 | | mean | 285.412-326.575=-41.162 | | σ | 0.011-0.043=-0.032 | | min | 285.397-326.499=-41.102 | | max | 285.424-326.605=-41.180 |
| | mean | 1644.000-2590.000=-946.000 | | σ | 0.000 | | min | 1644.000-2590.000=-946.000 | | max | 1644.000-2590.000=-946.000 |
| | mean | 0.380-0.425=-0.045 | | σ | 0.007-0.008=-0.000 | | min | 0.370-0.420=-0.050 | | max | 0.389-0.439=-0.050 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.373-1988.737=-703.364 | | σ | 0.133-0.011=0.122 | | min | 1285.305-1988.723=-703.417 | | max | 1285.611-1988.749=-703.138 |
| | mean | 1644.000-2590.000=-946.000 | | σ | 0.000 | | min | 1644.000-2590.000=-946.000 | | max | 1644.000-2590.000=-946.000 |
| | mean | 1.877-2.733=-0.856 | | σ | 0.055-0.128=-0.073 | | min | 1.829-2.612=-0.783 | | max | 1.972-2.885=-0.913 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.753-4813.606=-3005.853 | | σ | 6.987-7.742=-0.755 | | min | 1804.380-4810.070=-3005.690 | | max | 1820.235-4827.454=-3007.218 |
| | mean | 1644.000-2590.000=-946.000 | | σ | 0.000 | | min | 1644.000-2590.000=-946.000 | | max | 1644.000-2590.000=-946.000 |
| | mean | 4.299-8.618=-4.320 | | σ | 0.173-0.667=-0.494 | | min | 4.067-7.800=-3.732 | | max | 4.491-9.437=-4.947 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.195-5001.135=-2930.941 | | σ | 0.011-0.022=-0.011 | | min | 2070.183-5001.112=-2930.929 | | max | 2070.212-5001.159=-2930.946 |
| | mean | 1844.800-2951.400=-1106.600 | | σ | 189.405-349.685=-160.280 | | min | 1644.000-2590.000=-946.000 | | max | 2087.000-3445.000=-1358.000 |
| | mean | 4.514-9.607=-5.093 | | σ | 0.059-0.543=-0.484 | | min | 4.439-8.676=-4.237 | | max | 4.580-10.002=-5.422 |
|