iters=5 new-facts=1 prior-facts=1 | | mean | 285.409-285.410=-0.002 | | σ | 0.009-0.016=-0.006 | | min | 285.396-285.386=0.009 | | max | 285.421-285.426=-0.005 |
| | mean | 1641.000-1632.000=9.000 | | σ | 0.000 | | min | 1641.000-1632.000=9.000 | | max | 1641.000-1632.000=9.000 |
| | mean | 0.375-0.377=-0.002 | | σ | 0.007-0.007=-0.000 | | min | 0.369-0.373=-0.004 | | max | 0.384-0.390=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.376-1285.348=0.028 | | σ | 0.125-0.070=0.055 | | min | 1285.315-1285.308=0.007 | | max | 1285.600-1285.473=0.127 |
| | mean | 1641.000-1632.000=9.000 | | σ | 0.000 | | min | 1641.000-1632.000=9.000 | | max | 1641.000-1632.000=9.000 |
| | mean | 2.122-1.926=0.196 | | σ | 0.277-0.142=0.135 | | min | 1.843-1.816=0.028 | | max | 2.439-2.172=0.267 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.736-1807.784=-0.049 | | σ | 6.991-6.972=0.019 | | min | 1804.381-1804.433=-0.052 | | max | 1820.225-1820.243=-0.018 |
| | mean | 1641.000-1632.000=9.000 | | σ | 0.000 | | min | 1641.000-1632.000=9.000 | | max | 1641.000-1632.000=9.000 |
| | mean | 4.270-4.474=-0.205 | | σ | 0.169-0.256=-0.088 | | min | 4.074-4.183=-0.109 | | max | 4.454-4.883=-0.429 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.199-2070.199=-0.000 | | σ | 0.012-0.008=0.004 | | min | 2070.184-2070.187=-0.003 | | max | 2070.219-2070.209=0.009 |
| | mean | 1852.000-1848.000=4.000 | | σ | 187.900-189.178=-1.278 | | min | 1641.000-1632.000=9.000 | | max | 2088.000-2085.000=3.000 |
| | mean | 4.610-4.544=0.067 | | σ | 0.126-0.044=0.082 | | min | 4.483-4.490=-0.007 | | max | 4.810-4.582=0.228 |
|