iters=5 new-facts=1 prior-facts=1 | | mean | 303.788-301.479=2.309 | | σ | 0.044-0.046=-0.002 | | min | 303.724-301.410=2.313 | | max | 303.831-301.520=2.311 |
| | mean | 1515.000-1512.000=3.000 | | σ | 0.000 | | min | 1515.000-1512.000=3.000 | | max | 1515.000-1512.000=3.000 |
| | mean | 0.389-0.390=-0.001 | | σ | 0.001-0.002=-0.001 | | min | 0.388-0.388=0.000 | | max | 0.390-0.393=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.326-1324.057=2.269 | | σ | 0.103-0.106=-0.003 | | min | 1326.194-1323.927=2.266 | | max | 1326.453-1324.194=2.259 |
| | mean | 1515.000-1512.000=3.000 | | σ | 0.000 | | min | 1515.000-1512.000=3.000 | | max | 1515.000-1512.000=3.000 |
| | mean | 1.953-1.925=0.028 | | σ | 0.127-0.115=0.012 | | min | 1.831-1.828=0.003 | | max | 2.112-2.059=0.054 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.388-1562.096=2.292 | | σ | 6.906-6.878=0.027 | | min | 1561.110-1558.815=2.295 | | max | 1576.737-1574.395=2.342 |
| | mean | 1515.000-1512.000=3.000 | | σ | 0.000 | | min | 1515.000-1512.000=3.000 | | max | 1515.000-1512.000=3.000 |
| | mean | 2.329-2.319=0.010 | | σ | 0.319-0.198=0.121 | | min | 2.062-2.065=-0.003 | | max | 2.685-2.541=0.144 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.273-1891.962=2.311 | | σ | 0.068-0.064=0.004 | | min | 1894.153-1891.852=2.300 | | max | 1894.314-1892.014=2.300 |
| | mean | 1727.200-1742.000=-14.800 | | σ | 205.566-219.800=-14.234 | | min | 1515.000-1512.000=3.000 | | max | 2018.000-2060.000=-42.000 |
| | mean | 3.004-2.957=0.047 | | σ | 0.186-0.206=-0.020 | | min | 2.857-2.731=0.125 | | max | 3.277-3.265=0.011 |
|