iters=5 new-facts=1 prior-facts=1 | | mean | 324.686-324.707=-0.021 | | σ | 0.034-0.060=-0.025 | | min | 324.625-324.601=0.024 | | max | 324.706-324.743=-0.038 |
| | mean | 2810.000-2836.000=-26.000 | | σ | 0.000 | | min | 2810.000-2836.000=-26.000 | | max | 2810.000-2836.000=-26.000 |
| | mean | 0.427-0.431=-0.004 | | σ | 0.006-0.011=-0.005 | | min | 0.424-0.417=0.007 | | max | 0.439-0.441=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.247-1985.267=-0.020 | | σ | 0.018-0.012=0.006 | | min | 1985.222-1985.251=-0.030 | | max | 1985.269-1985.278=-0.009 |
| | mean | 2810.000-2836.000=-26.000 | | σ | 0.000 | | min | 2810.000-2836.000=-26.000 | | max | 2810.000-2836.000=-26.000 |
| | mean | 2.630-2.618=0.012 | | σ | 0.085-0.060=0.025 | | min | 2.562-2.557=0.006 | | max | 2.761-2.693=0.068 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.746-4808.796=-0.050 | | σ | 7.386-7.725=-0.339 | | min | 4805.381-4805.038=0.343 | | max | 4821.958-4822.612=-0.653 |
| | mean | 2810.000-2836.000=-26.000 | | σ | 0.000 | | min | 2810.000-2836.000=-26.000 | | max | 2810.000-2836.000=-26.000 |
| | mean | 8.936-8.272=0.664 | | σ | 0.168-0.506=-0.338 | | min | 8.681-7.757=0.923 | | max | 9.117-8.945=0.172 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.390-4996.461=-0.072 | | σ | 0.154-0.023=0.131 | | min | 4996.116-4996.433=-0.317 | | max | 4996.475-4996.487=-0.012 |
| | mean | 3059.600-3062.000=-2.400 | | σ | 316.687-302.185=14.502 | | min | 2810.000-2836.000=-26.000 | | max | 3540.000-3532.000=8.000 |
| | mean | 8.475-8.651=-0.176 | | σ | 0.129-0.391=-0.262 | | min | 8.307-8.368=-0.061 | | max | 8.664-9.297=-0.633 |
|