iters=5 new-facts=1 prior-facts=1 | | mean | 285.405-286.826=-1.421 | | σ | 0.033-0.039=-0.006 | | min | 285.367-286.777=-1.410 | | max | 285.445-286.865=-1.421 |
| | mean | 1638.000-1621.000=17.000 | | σ | 0.000 | | min | 1638.000-1621.000=17.000 | | max | 1638.000-1621.000=17.000 |
| | mean | 0.389-0.396=-0.007 | | σ | 0.006-0.007=-0.001 | | min | 0.382-0.389=-0.007 | | max | 0.394-0.402=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.781-1297.270=-1.489 | | σ | 0.113-0.084=0.029 | | min | 1295.674-1297.164=-1.490 | | max | 1295.971-1297.380=-1.408 |
| | mean | 1638.000-1621.000=17.000 | | σ | 0.000 | | min | 1638.000-1621.000=17.000 | | max | 1638.000-1621.000=17.000 |
| | mean | 2.002-2.192=-0.189 | | σ | 0.187-0.037=0.151 | | min | 1.804-2.140=-0.337 | | max | 2.207-2.230=-0.023 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1540.014-1541.381=-1.367 | | σ | 6.805-6.815=-0.010 | | min | 1536.850-1538.189=-1.339 | | max | 1552.184-1553.568=-1.384 |
| | mean | 1638.000-1621.000=17.000 | | σ | 0.000 | | min | 1638.000-1621.000=17.000 | | max | 1638.000-1621.000=17.000 |
| | mean | 2.387-2.328=0.059 | | σ | 0.182-0.161=0.021 | | min | 2.138-2.139=-0.002 | | max | 2.593-2.498=0.095 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.702-1859.113=-1.410 | | σ | 0.051-0.065=-0.014 | | min | 1857.654-1859.028=-1.374 | | max | 1857.772-1859.192=-1.420 |
| | mean | 1780.000-1768.600=11.400 | | σ | 139.755-135.686=4.069 | | min | 1638.000-1621.000=17.000 | | max | 1924.000-1907.000=17.000 |
| | mean | 3.020-3.108=-0.089 | | σ | 0.198-0.241=-0.043 | | min | 2.873-2.870=0.003 | | max | 3.362-3.454=-0.092 |
|