iters=5 new-facts=1 prior-facts=1 | | mean | 285.412-285.413=-0.001 | | σ | 0.011-0.012=-0.001 | | min | 285.396-285.393=0.003 | | max | 285.425-285.423=0.002 |
| | mean | 1638.000-1643.000=-5.000 | | σ | 0.000 | | min | 1638.000-1643.000=-5.000 | | max | 1638.000-1643.000=-5.000 |
| | mean | 0.381-0.379=0.002 | | σ | 0.010-0.007=0.003 | | min | 0.373-0.374=-0.000 | | max | 0.396-0.389=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.374-1285.375=-0.000 | | σ | 0.136-0.135=0.001 | | min | 1285.308-1285.307=0.001 | | max | 1285.618-1285.617=0.001 |
| | mean | 1638.000-1643.000=-5.000 | | σ | 0.000 | | min | 1638.000-1643.000=-5.000 | | max | 1638.000-1643.000=-5.000 |
| | mean | 1.884-1.937=-0.052 | | σ | 0.068-0.112=-0.045 | | min | 1.819-1.829=-0.010 | | max | 1.999-2.104=-0.104 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.712-1807.743=-0.031 | | σ | 7.005-6.987=0.019 | | min | 1804.367-1804.396=-0.030 | | max | 1820.228-1820.226=0.003 |
| | mean | 1638.000-1643.000=-5.000 | | σ | 0.000 | | min | 1638.000-1643.000=-5.000 | | max | 1638.000-1643.000=-5.000 |
| | mean | 4.162-4.269=-0.108 | | σ | 0.159-0.145=0.014 | | min | 3.954-4.127=-0.173 | | max | 4.400-4.491=-0.090 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.193-2070.196=-0.003 | | σ | 0.009-0.011=-0.002 | | min | 2070.184-2070.183=0.001 | | max | 2070.206-2070.212=-0.006 |
| | mean | 1847.000-1842.800=4.200 | | σ | 174.244-178.595=-4.351 | | min | 1638.000-1643.000=-5.000 | | max | 2090.000-2078.000=12.000 |
| | mean | 4.454-4.506=-0.052 | | σ | 0.053-0.041=0.012 | | min | 4.375-4.461=-0.087 | | max | 4.510-4.559=-0.049 |
|