iters=5 new-facts=1 prior-facts=1 | | mean | 285.248-269.377=15.871 | | σ | 0.043-0.004=0.039 | | min | 285.187-269.373=15.814 | | max | 285.289-269.382=15.908 |
| | mean | 1650.000-2757.000=-1107.000 | | σ | 0.000 | | min | 1650.000-2757.000=-1107.000 | | max | 1650.000-2757.000=-1107.000 |
| | mean | 0.403-0.376=0.027 | | σ | 0.009-0.005=0.004 | | min | 0.392-0.371=0.021 | | max | 0.411-0.384=0.027 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.198-1929.752=-634.554 | | σ | 0.112-0.004=0.108 | | min | 1295.080-1929.747=-634.668 | | max | 1295.338-1929.755=-634.417 |
| | mean | 1650.000-2757.000=-1107.000 | | σ | 0.000 | | min | 1650.000-2757.000=-1107.000 | | max | 1650.000-2757.000=-1107.000 |
| | mean | 1.914-3.083=-1.169 | | σ | 0.090-0.104=-0.014 | | min | 1.816-2.989=-1.173 | | max | 2.015-3.197=-1.182 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1538.078-4750.378=-3212.300 | | σ | 4.047-0.931=3.116 | | min | 1536.047-4749.631=-3213.584 | | max | 1545.309-4752.005=-3206.696 |
| | mean | 1650.000-2757.000=-1107.000 | | σ | 0.000 | | min | 1650.000-2757.000=-1107.000 | | max | 1650.000-2757.000=-1107.000 |
| | mean | 2.257-8.476=-6.220 | | σ | 0.208-0.459=-0.251 | | min | 2.022-7.809=-5.786 | | max | 2.448-8.925=-6.477 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.100-4940.987=-3083.887 | | σ | 0.056-0.015=0.041 | | min | 1857.040-4940.968=-3083.927 | | max | 1857.163-4941.000=-3083.837 |
| | mean | 1775.200-3042.800=-1267.600 | | σ | 128.712-239.603=-110.892 | | min | 1650.000-2757.000=-1107.000 | | max | 1907.000-3331.000=-1424.000 |
| | mean | 3.016-8.511=-5.495 | | σ | 0.122-0.123=-0.000 | | min | 2.877-8.373=-5.496 | | max | 3.200-8.683=-5.483 |
|