iters=5 new-facts=1 prior-facts=1 | | mean | 275.755-275.760=-0.006 | | σ | 0.011-0.010=0.001 | | min | 275.741-275.750=-0.009 | | max | 275.767-275.774=-0.007 |
| | mean | 2689.000-2488.000=201.000 | | σ | 0.000 | | min | 2689.000-2488.000=201.000 | | max | 2689.000-2488.000=201.000 |
| | mean | 0.405-0.407=-0.001 | | σ | 0.009-0.011=-0.002 | | min | 0.398-0.399=-0.000 | | max | 0.418-0.422=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.286-2168.290=-0.003 | | σ | 0.006-0.008=-0.002 | | min | 2168.277-2168.277=0.000 | | max | 2168.291-2168.296=-0.004 |
| | mean | 2689.000-2488.000=201.000 | | σ | 0.000 | | min | 2689.000-2488.000=201.000 | | max | 2689.000-2488.000=201.000 |
| | mean | 2.975-2.994=-0.019 | | σ | 0.217-0.151=0.066 | | min | 2.682-2.772=-0.090 | | max | 3.258-3.121=0.137 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.149-5048.103=0.046 | | σ | 0.916-0.925=-0.010 | | min | 5047.544-5047.572=-0.028 | | max | 5049.774-5049.752=0.022 |
| | mean | 2689.000-2488.000=201.000 | | σ | 0.000 | | min | 2689.000-2488.000=201.000 | | max | 2689.000-2488.000=201.000 |
| | mean | 8.761-8.848=-0.088 | | σ | 0.539-0.489=0.050 | | min | 8.061-8.082=-0.021 | | max | 9.301-9.282=0.019 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.229-5179.238=-0.009 | | σ | 0.076-0.079=-0.002 | | min | 5179.143-5179.181=-0.038 | | max | 5179.310-5179.338=-0.028 |
| | mean | 3227.400-3226.600=0.800 | | σ | 389.684-397.394=-7.711 | | min | 2702.000-2683.000=19.000 | | max | 3736.000-3732.000=4.000 |
| | mean | 9.771-9.923=-0.152 | | σ | 0.657-0.291=0.367 | | min | 8.728-9.599=-0.870 | | max | 10.438-10.243=0.195 |
|