iters=5 new-facts=1 prior-facts=1 | | mean | 284.699-303.518=-18.820 | | σ | 0.040-0.059=-0.019 | | min | 284.644-303.425=-18.781 | | max | 284.743-303.572=-18.829 |
| | mean | 1513.000-1626.000=-113.000 | | σ | 0.000 | | min | 1513.000-1626.000=-113.000 | | max | 1513.000-1626.000=-113.000 |
| | mean | 0.399-0.394=0.006 | | σ | 0.008-0.006=0.002 | | min | 0.389-0.390=-0.001 | | max | 0.407-0.405=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.075-1326.065=-30.990 | | σ | 0.103-0.112=-0.009 | | min | 1294.958-1325.929=-30.970 | | max | 1295.208-1326.209=-31.001 |
| | mean | 1513.000-1626.000=-113.000 | | σ | 0.000 | | min | 1513.000-1626.000=-113.000 | | max | 1513.000-1626.000=-113.000 |
| | mean | 1.920-1.913=0.007 | | σ | 0.100-0.105=-0.004 | | min | 1.796-1.822=-0.026 | | max | 2.036-2.081=-0.045 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.191-1564.097=-24.906 | | σ | 6.863-6.907=-0.044 | | min | 1535.903-1560.778=-24.875 | | max | 1551.462-1576.447=-24.985 |
| | mean | 1513.000-1626.000=-113.000 | | σ | 0.000 | | min | 1513.000-1626.000=-113.000 | | max | 1513.000-1626.000=-113.000 |
| | mean | 2.283-2.213=0.070 | | σ | 0.273-0.134=0.139 | | min | 2.032-2.113=-0.081 | | max | 2.612-2.440=0.173 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.986-1894.004=-37.018 | | σ | 0.054-0.066=-0.012 | | min | 1856.935-1893.887=-36.953 | | max | 1857.063-1894.048=-36.986 |
| | mean | 1747.200-1768.200=-21.000 | | σ | 167.853-173.045=-5.192 | | min | 1513.000-1626.000=-113.000 | | max | 1902.000-2037.000=-135.000 |
| | mean | 3.052-2.911=0.141 | | σ | 0.240-0.076=0.164 | | min | 2.847-2.864=-0.017 | | max | 3.462-3.046=0.416 |
|