iters=5 new-facts=1 prior-facts=1 | | mean | 269.378-273.610=-4.232 | | σ | 0.005-0.006=-0.001 | | min | 269.370-273.601=-4.231 | | max | 269.384-273.616=-4.232 |
| | mean | 2660.000-2838.000=-178.000 | | σ | 0.000 | | min | 2660.000-2838.000=-178.000 | | max | 2660.000-2838.000=-178.000 |
| | mean | 0.376-0.386=-0.010 | | σ | 0.005-0.007=-0.002 | | min | 0.373-0.381=-0.008 | | max | 0.385-0.396=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.752-1933.991=-4.239 | | σ | 0.016-0.006=0.010 | | min | 1929.726-1933.983=-4.257 | | max | 1929.770-1933.996=-4.227 |
| | mean | 2660.000-2838.000=-178.000 | | σ | 0.000 | | min | 2660.000-2838.000=-178.000 | | max | 2660.000-2838.000=-178.000 |
| | mean | 2.995-3.022=-0.027 | | σ | 0.052-0.068=-0.016 | | min | 2.918-2.936=-0.018 | | max | 3.063-3.093=-0.030 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.541-4754.660=-4.119 | | σ | 0.849-0.948=-0.099 | | min | 4750.094-4753.685=-3.591 | | max | 4752.054-4756.245=-4.191 |
| | mean | 2660.000-2838.000=-178.000 | | σ | 0.000 | | min | 2660.000-2838.000=-178.000 | | max | 2660.000-2838.000=-178.000 |
| | mean | 8.358-8.402=-0.044 | | σ | 0.426-0.508=-0.082 | | min | 7.609-7.667=-0.058 | | max | 8.626-9.054=-0.428 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.982-4945.215=-4.233 | | σ | 0.018-0.021=-0.003 | | min | 4940.957-4945.186=-4.229 | | max | 4940.999-4945.238=-4.239 |
| | mean | 2981.200-3019.400=-38.200 | | σ | 256.888-195.166=61.721 | | min | 2660.000-2838.000=-178.000 | | max | 3335.000-3309.000=26.000 |
| | mean | 8.435-8.635=-0.200 | | σ | 0.085-0.294=-0.210 | | min | 8.360-8.382=-0.022 | | max | 8.542-9.102=-0.560 |
|