iters=5 new-facts=1 prior-facts=1 | | mean | 269.381-273.611=-4.230 | | σ | 0.007-0.003=0.004 | | min | 269.372-273.606=-4.234 | | max | 269.390-273.613=-4.223 |
| | mean | 2423.000-2844.000=-421.000 | | σ | 0.000 | | min | 2423.000-2844.000=-421.000 | | max | 2423.000-2844.000=-421.000 |
| | mean | 0.378-0.388=-0.010 | | σ | 0.003-0.011=-0.009 | | min | 0.376-0.382=-0.006 | | max | 0.383-0.408=-0.025 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.745-1933.998=-4.253 | | σ | 0.011-0.007=0.004 | | min | 1929.730-1933.988=-4.257 | | max | 1929.758-1934.006=-4.249 |
| | mean | 2423.000-2844.000=-421.000 | | σ | 0.000 | | min | 2423.000-2844.000=-421.000 | | max | 2423.000-2844.000=-421.000 |
| | mean | 2.943-3.097=-0.154 | | σ | 0.130-0.316=-0.186 | | min | 2.798-2.743=0.055 | | max | 3.072-3.587=-0.515 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.490-4754.768=-4.278 | | σ | 0.859-0.876=-0.017 | | min | 4750.056-4754.237=-4.181 | | max | 4752.026-4756.327=-4.301 |
| | mean | 2423.000-2844.000=-421.000 | | σ | 0.000 | | min | 2423.000-2844.000=-421.000 | | max | 2423.000-2844.000=-421.000 |
| | mean | 8.535-8.610=-0.075 | | σ | 0.424-0.615=-0.191 | | min | 7.854-7.633=0.221 | | max | 8.898-9.305=-0.407 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.913-4945.223=-4.310 | | σ | 0.152-0.019=0.132 | | min | 4940.643-4945.207=-4.564 | | max | 4940.994-4945.252=-4.258 |
| | mean | 2920.600-3046.800=-126.200 | | σ | 330.766-219.311=111.455 | | min | 2423.000-2844.000=-421.000 | | max | 3303.000-3374.000=-71.000 |
| | mean | 8.523-8.687=-0.165 | | σ | 0.135-0.212=-0.077 | | min | 8.397-8.466=-0.069 | | max | 8.735-8.964=-0.228 |
|