iters=5 new-facts=1 prior-facts=1 | | mean | 294.680-297.319=-2.639 | | σ | 0.015-0.007=0.008 | | min | 294.664-297.313=-2.649 | | max | 294.699-297.327=-2.628 |
| | mean | 1519.000-1626.000=-107.000 | | σ | 0.000 | | min | 1519.000-1626.000=-107.000 | | max | 1519.000-1626.000=-107.000 |
| | mean | 0.389-0.384=0.005 | | σ | 0.011-0.001=0.010 | | min | 0.380-0.383=-0.002 | | max | 0.405-0.385=0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.942-1299.014=17.929 | | σ | 0.097-0.097=-0.000 | | min | 1316.890-1298.841=18.049 | | max | 1317.115-1299.068=18.048 |
| | mean | 1519.000-1626.000=-107.000 | | σ | 0.000 | | min | 1519.000-1626.000=-107.000 | | max | 1519.000-1626.000=-107.000 |
| | mean | 1.917-2.029=-0.112 | | σ | 0.069-0.146=-0.077 | | min | 1.850-1.852=-0.001 | | max | 1.989-2.175=-0.186 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.312-1719.183=-163.871 | | σ | 6.900-6.894=0.007 | | min | 1551.994-1716.002=-164.008 | | max | 1567.651-1731.512=-163.861 |
| | mean | 1519.000-1626.000=-107.000 | | σ | 0.000 | | min | 1519.000-1626.000=-107.000 | | max | 1519.000-1626.000=-107.000 |
| | mean | 2.392-3.038=-0.646 | | σ | 0.342-0.252=0.090 | | min | 2.074-2.748=-0.674 | | max | 2.907-3.400=-0.493 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.773-1981.927=-97.154 | | σ | 0.031-0.013=0.018 | | min | 1884.733-1981.914=-97.181 | | max | 1884.817-1981.947=-97.130 |
| | mean | 1768.400-1818.800=-50.400 | | σ | 203.969-210.423=-6.454 | | min | 1519.000-1626.000=-107.000 | | max | 1970.000-2131.000=-161.000 |
| | mean | 3.036-3.289=-0.254 | | σ | 0.180-0.235=-0.054 | | min | 2.864-3.099=-0.236 | | max | 3.300-3.698=-0.397 |
|