iters=5 new-facts=1 prior-facts=1 | | mean | 285.246-285.253=-0.007 | | σ | 0.036-0.036=0.000 | | min | 285.196-285.201=-0.006 | | max | 285.285-285.287=-0.002 |
| | mean | 1637.000-1628.000=9.000 | | σ | 0.000 | | min | 1637.000-1628.000=9.000 | | max | 1637.000-1628.000=9.000 |
| | mean | 0.383-0.402=-0.019 | | σ | 0.002-0.012=-0.010 | | min | 0.380-0.389=-0.008 | | max | 0.385-0.414=-0.028 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.188-1295.193=-0.005 | | σ | 0.102-0.106=-0.004 | | min | 1295.066-1295.073=-0.007 | | max | 1295.296-1295.324=-0.028 |
| | mean | 1637.000-1628.000=9.000 | | σ | 0.000 | | min | 1637.000-1628.000=9.000 | | max | 1637.000-1628.000=9.000 |
| | mean | 1.921-1.940=-0.020 | | σ | 0.092-0.182=-0.090 | | min | 1.823-1.792=0.031 | | max | 2.033-2.240=-0.207 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1538.081-1538.151=-0.070 | | σ | 4.011-4.009=0.002 | | min | 1536.039-1536.140=-0.101 | | max | 1545.245-1545.316=-0.071 |
| | mean | 1637.000-1628.000=9.000 | | σ | 0.000 | | min | 1637.000-1628.000=9.000 | | max | 1637.000-1628.000=9.000 |
| | mean | 2.221-2.413=-0.192 | | σ | 0.235-0.235=-0.000 | | min | 2.031-2.027=0.004 | | max | 2.489-2.609=-0.121 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.106-1857.103=0.003 | | σ | 0.051-0.052=-0.001 | | min | 1857.052-1857.057=-0.005 | | max | 1857.174-1857.180=-0.006 |
| | mean | 1776.600-1770.800=5.800 | | σ | 121.574-122.730=-1.156 | | min | 1637.000-1628.000=9.000 | | max | 1893.000-1888.000=5.000 |
| | mean | 3.052-3.035=0.017 | | σ | 0.243-0.252=-0.008 | | min | 2.857-2.824=0.033 | | max | 3.467-3.460=0.007 |
|