iters=5 new-facts=1 prior-facts=1 | | mean | 297.584-297.301=0.283 | | σ | 0.006-0.019=-0.012 | | min | 297.578-297.268=0.311 | | max | 297.594-297.313=0.281 |
| | mean | 1637.000-1513.000=124.000 | | σ | 0.000 | | min | 1637.000-1513.000=124.000 | | max | 1637.000-1513.000=124.000 |
| | mean | 0.390-0.389=0.001 | | σ | 0.004-0.002=0.002 | | min | 0.387-0.385=0.003 | | max | 0.397-0.391=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1320.548-1298.692=21.856 | | σ | 0.030-0.049=-0.019 | | min | 1320.515-1298.611=21.904 | | max | 1320.595-1298.726=21.869 |
| | mean | 1637.000-1513.000=124.000 | | σ | 0.000 | | min | 1637.000-1513.000=124.000 | | max | 1637.000-1513.000=124.000 |
| | mean | 2.110-1.888=0.222 | | σ | 0.271-0.059=0.211 | | min | 1.873-1.829=0.044 | | max | 2.535-1.982=0.553 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1740.687-1718.874=21.813 | | σ | 6.916-6.881=0.035 | | min | 1737.431-1715.690=21.742 | | max | 1753.053-1731.179=21.874 |
| | mean | 1637.000-1513.000=124.000 | | σ | 0.000 | | min | 1637.000-1513.000=124.000 | | max | 1637.000-1513.000=124.000 |
| | mean | 3.239-2.890=0.349 | | σ | 0.241-0.261=-0.020 | | min | 2.984-2.530=0.455 | | max | 3.499-3.224=0.275 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2003.478-1981.593=21.885 | | σ | 0.016-0.032=-0.016 | | min | 2003.449-1981.538=21.911 | | max | 2003.488-1981.622=21.865 |
| | mean | 1892.600-1784.200=108.400 | | σ | 219.069-219.908=-0.839 | | min | 1637.000-1525.000=112.000 | | max | 2159.000-2082.000=77.000 |
| | mean | 3.334-3.313=0.020 | | σ | 0.131-0.370=-0.239 | | min | 3.157-3.027=0.129 | | max | 3.468-3.949=-0.481 |
|