iters=5 new-facts=1 prior-facts=1 | | mean | 278.844-278.841=0.003 | | σ | 0.010-0.010=-0.000 | | min | 278.832-278.826=0.006 | | max | 278.857-278.852=0.004 |
| | mean | 2731.000-2695.000=36.000 | | σ | 0.000 | | min | 2731.000-2695.000=36.000 | | max | 2731.000-2695.000=36.000 |
| | mean | 0.409-0.415=-0.006 | | σ | 0.001-0.014=-0.012 | | min | 0.407-0.406=0.001 | | max | 0.410-0.439=-0.028 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.900-2268.899=0.001 | | σ | 0.019-0.014=0.005 | | min | 2268.873-2268.876=-0.004 | | max | 2268.922-2268.913=0.009 |
| | mean | 2731.000-2695.000=36.000 | | σ | 0.000 | | min | 2731.000-2695.000=36.000 | | max | 2731.000-2695.000=36.000 |
| | mean | 3.207-2.911=0.297 | | σ | 0.168-0.141=0.027 | | min | 2.919-2.742=0.176 | | max | 3.352-3.132=0.220 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.042-4954.252=-0.210 | | σ | 1.057-0.919=0.138 | | min | 4953.240-4953.743=-0.502 | | max | 4955.826-4955.889=-0.063 |
| | mean | 2731.000-2695.000=36.000 | | σ | 0.000 | | min | 2731.000-2695.000=36.000 | | max | 2731.000-2695.000=36.000 |
| | mean | 8.046-8.157=-0.112 | | σ | 0.392-0.515=-0.122 | | min | 7.794-7.804=-0.010 | | max | 8.739-9.011=-0.272 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.748-5168.747=0.000 | | σ | 0.210-0.124=0.087 | | min | 5168.403-5168.557=-0.154 | | max | 5168.935-5168.903=0.032 |
| | mean | 3365.400-3398.400=-33.000 | | σ | 410.562-491.711=-81.150 | | min | 2965.000-2807.000=158.000 | | max | 3785.000-4072.000=-287.000 |
| | mean | 9.201-9.297=-0.096 | | σ | 0.568-0.267=0.300 | | min | 8.540-9.028=-0.488 | | max | 9.813-9.616=0.197 |
|