iters=5 new-facts=1 prior-facts=1 | | mean | 275.760-275.759=0.002 | | σ | 0.010-0.013=-0.003 | | min | 275.750-275.747=0.003 | | max | 275.774-275.778=-0.005 |
| | mean | 2488.000-2647.000=-159.000 | | σ | 0.000 | | min | 2488.000-2647.000=-159.000 | | max | 2488.000-2647.000=-159.000 |
| | mean | 0.407-0.410=-0.003 | | σ | 0.011-0.017=-0.006 | | min | 0.399-0.394=0.005 | | max | 0.422-0.434=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.290-2168.292=-0.003 | | σ | 0.008-0.004=0.003 | | min | 2168.277-2168.289=-0.013 | | max | 2168.296-2168.300=-0.004 |
| | mean | 2488.000-2647.000=-159.000 | | σ | 0.000 | | min | 2488.000-2647.000=-159.000 | | max | 2488.000-2647.000=-159.000 |
| | mean | 2.994-3.014=-0.020 | | σ | 0.151-0.163=-0.013 | | min | 2.772-2.782=-0.010 | | max | 3.121-3.235=-0.114 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.103-5047.865=0.238 | | σ | 0.925-0.402=0.523 | | min | 5047.572-5047.585=-0.013 | | max | 5049.752-5048.562=1.190 |
| | mean | 2488.000-2647.000=-159.000 | | σ | 0.000 | | min | 2488.000-2647.000=-159.000 | | max | 2488.000-2647.000=-159.000 |
| | mean | 8.848-8.909=-0.060 | | σ | 0.489-0.531=-0.042 | | min | 8.082-8.034=0.048 | | max | 9.282-9.453=-0.171 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.238-5179.225=0.013 | | σ | 0.079-0.085=-0.006 | | min | 5179.181-5179.134=0.046 | | max | 5179.338-5179.313=0.025 |
| | mean | 3226.600-3212.800=13.800 | | σ | 397.394-382.877=14.518 | | min | 2683.000-2670.000=13.000 | | max | 3732.000-3687.000=45.000 |
| | mean | 9.923-9.601=0.322 | | σ | 0.291-0.574=-0.284 | | min | 9.599-8.697=0.902 | | max | 10.243-10.203=0.040 |
|