iters=5 new-facts=1 prior-facts=1 | | mean | 324.580-324.586=-0.006 | | σ | 0.053-0.044=0.009 | | min | 324.487-324.508=-0.021 | | max | 324.611-324.611=0.000 |
| | mean | 2753.000-2792.000=-39.000 | | σ | 0.000 | | min | 2753.000-2792.000=-39.000 | | max | 2753.000-2792.000=-39.000 |
| | mean | 0.421-0.425=-0.004 | | σ | 0.002-0.001=0.000 | | min | 0.419-0.423=-0.004 | | max | 0.423-0.426=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.144-1985.138=0.006 | | σ | 0.015-0.019=-0.005 | | min | 1985.118-1985.105=0.013 | | max | 1985.155-1985.152=0.002 |
| | mean | 2753.000-2792.000=-39.000 | | σ | 0.000 | | min | 2753.000-2792.000=-39.000 | | max | 2753.000-2792.000=-39.000 |
| | mean | 2.682-2.564=0.118 | | σ | 0.161-0.050=0.111 | | min | 2.577-2.514=0.063 | | max | 2.947-2.644=0.303 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.745-4808.762=-0.017 | | σ | 7.653-7.631=0.023 | | min | 4805.224-4805.292=-0.068 | | max | 4822.435-4822.411=0.023 |
| | mean | 2753.000-2792.000=-39.000 | | σ | 0.000 | | min | 2753.000-2792.000=-39.000 | | max | 2753.000-2792.000=-39.000 |
| | mean | 8.918-8.690=0.228 | | σ | 0.290-0.298=-0.008 | | min | 8.746-8.329=0.418 | | max | 9.433-9.006=0.427 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.317-4996.350=-0.033 | | σ | 0.045-0.015=0.030 | | min | 4996.241-4996.336=-0.095 | | max | 4996.356-4996.369=-0.013 |
| | mean | 3034.400-3044.400=-10.000 | | σ | 339.863-200.377=139.486 | | min | 2753.000-2792.000=-39.000 | | max | 3543.000-3315.000=228.000 |
| | mean | 8.500-8.589=-0.089 | | σ | 0.152-0.116=0.036 | | min | 8.421-8.428=-0.007 | | max | 8.771-8.726=0.045 |
|