iters=5 new-facts=1 prior-facts=1 | | mean | 275.387-275.390=-0.003 | | σ | 0.010-0.005=0.005 | | min | 275.378-275.382=-0.004 | | max | 275.398-275.395=0.003 |
| | mean | 2857.000-2791.000=66.000 | | σ | 0.000 | | min | 2857.000-2791.000=66.000 | | max | 2857.000-2791.000=66.000 |
| | mean | 0.387-0.400=-0.014 | | σ | 0.004-0.009=-0.005 | | min | 0.384-0.386=-0.002 | | max | 0.394-0.407=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1935.782-1935.784=-0.002 | | σ | 0.011-0.004=0.007 | | min | 1935.770-1935.778=-0.008 | | max | 1935.800-1935.788=0.012 |
| | mean | 2857.000-2791.000=66.000 | | σ | 0.000 | | min | 2857.000-2791.000=66.000 | | max | 2857.000-2791.000=66.000 |
| | mean | 2.938-3.118=-0.180 | | σ | 0.249-0.195=0.055 | | min | 2.553-2.970=-0.416 | | max | 3.185-3.452=-0.267 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.396-4756.401=-0.006 | | σ | 1.054-0.964=0.090 | | min | 4755.151-4755.533=-0.382 | | max | 4758.076-4758.057=0.019 |
| | mean | 2857.000-2791.000=66.000 | | σ | 0.000 | | min | 2857.000-2791.000=66.000 | | max | 2857.000-2791.000=66.000 |
| | mean | 7.923-8.702=-0.779 | | σ | 0.363-0.218=0.145 | | min | 7.687-8.339=-0.652 | | max | 8.568-8.917=-0.350 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4946.927-4947.013=-0.086 | | σ | 0.159-0.012=0.147 | | min | 4946.646-4946.997=-0.351 | | max | 4947.022-4947.026=-0.005 |
| | mean | 3085.200-3073.600=11.600 | | σ | 306.785-289.911=16.874 | | min | 2857.000-2791.000=66.000 | | max | 3556.000-3370.000=186.000 |
| | mean | 8.477-8.817=-0.340 | | σ | 0.121-0.291=-0.170 | | min | 8.399-8.489=-0.090 | | max | 8.690-9.211=-0.521 |
|