iters=5 new-facts=1 prior-facts=1 | | mean | 297.301-297.317=-0.016 | | σ | 0.022-0.004=0.019 | | min | 297.278-297.313=-0.035 | | max | 297.334-297.323=0.012 |
| | mean | 1625.000-1602.000=23.000 | | σ | 0.000 | | min | 1625.000-1602.000=23.000 | | max | 1625.000-1602.000=23.000 |
| | mean | 0.391-0.388=0.004 | | σ | 0.007-0.001=0.006 | | min | 0.387-0.387=0.001 | | max | 0.405-0.389=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.003-1299.023=-0.021 | | σ | 0.093-0.073=0.020 | | min | 1298.841-1298.896=-0.055 | | max | 1299.072-1299.079=-0.007 |
| | mean | 1625.000-1602.000=23.000 | | σ | 0.000 | | min | 1625.000-1602.000=23.000 | | max | 1625.000-1602.000=23.000 |
| | mean | 1.927-2.015=-0.088 | | σ | 0.057-0.153=-0.096 | | min | 1.853-1.865=-0.012 | | max | 2.009-2.172=-0.163 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.180-1719.186=-0.006 | | σ | 6.963-6.886=0.077 | | min | 1715.959-1716.004=-0.045 | | max | 1731.634-1731.501=0.132 |
| | mean | 1625.000-1602.000=23.000 | | σ | 0.000 | | min | 1625.000-1602.000=23.000 | | max | 1625.000-1602.000=23.000 |
| | mean | 3.109-2.964=0.145 | | σ | 0.547-0.215=0.332 | | min | 2.636-2.775=-0.138 | | max | 4.046-3.299=0.748 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.955-1981.935=0.020 | | σ | 0.009-0.043=-0.034 | | min | 1981.949-1981.866=0.083 | | max | 1981.970-1981.984=-0.014 |
| | mean | 1827.200-1820.000=7.200 | | σ | 211.772-220.330=-8.559 | | min | 1625.000-1602.000=23.000 | | max | 2103.000-2131.000=-28.000 |
| | mean | 3.178-3.329=-0.151 | | σ | 0.057-0.417=-0.359 | | min | 3.104-3.051=0.053 | | max | 3.262-4.062=-0.799 |
|