iters=5 new-facts=1 prior-facts=1 | | mean | 294.678-294.411=0.267 | | σ | 0.013-0.013=0.000 | | min | 294.659-294.389=0.270 | | max | 294.695-294.423=0.272 |
| | mean | 1653.000-1661.000=-8.000 | | σ | 0.000 | | min | 1653.000-1661.000=-8.000 | | max | 1653.000-1661.000=-8.000 |
| | mean | 0.379-0.382=-0.004 | | σ | 0.008-0.001=0.007 | | min | 0.364-0.380=-0.016 | | max | 0.384-0.384=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.927-1316.694=0.233 | | σ | 0.110-0.075=0.035 | | min | 1316.854-1316.566=0.288 | | max | 1317.121-1316.758=0.364 |
| | mean | 1653.000-1661.000=-8.000 | | σ | 0.000 | | min | 1653.000-1661.000=-8.000 | | max | 1653.000-1661.000=-8.000 |
| | mean | 1.889-1.912=-0.023 | | σ | 0.061-0.074=-0.013 | | min | 1.838-1.843=-0.005 | | max | 1.985-2.030=-0.045 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.293-1736.955=-181.663 | | σ | 6.865-6.901=-0.036 | | min | 1551.985-1733.760=-181.775 | | max | 1567.567-1749.298=-181.731 |
| | mean | 1653.000-1661.000=-8.000 | | σ | 0.000 | | min | 1653.000-1661.000=-8.000 | | max | 1653.000-1661.000=-8.000 |
| | mean | 2.277-2.927=-0.650 | | σ | 0.234-0.399=-0.165 | | min | 2.124-2.586=-0.463 | | max | 2.685-3.557=-0.872 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.781-1999.654=-114.873 | | σ | 0.030-0.016=0.014 | | min | 1884.761-1999.632=-114.870 | | max | 1884.832-1999.671=-114.838 |
| | mean | 1767.600-1872.200=-104.600 | | σ | 127.845-185.937=-58.093 | | min | 1653.000-1661.000=-8.000 | | max | 1964.000-2106.000=-142.000 |
| | mean | 2.915-3.349=-0.434 | | σ | 0.234-0.142=0.092 | | min | 2.707-3.213=-0.506 | | max | 3.290-3.504=-0.214 |
|