iters=5 new-facts=1 prior-facts=1 | | mean | 302.723-302.734=-0.011 | | σ | 0.033-0.022=0.011 | | min | 302.667-302.711=-0.044 | | max | 302.751-302.764=-0.013 |
| | mean | 1616.000-1518.000=98.000 | | σ | 0.000 | | min | 1616.000-1518.000=98.000 | | max | 1616.000-1518.000=98.000 |
| | mean | 0.396-0.391=0.005 | | σ | 0.013-0.006=0.007 | | min | 0.388-0.387=0.001 | | max | 0.419-0.401=0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.867-1324.865=0.002 | | σ | 0.094-0.092=0.001 | | min | 1324.815-1324.811=0.004 | | max | 1325.034-1325.027=0.006 |
| | mean | 1616.000-1518.000=98.000 | | σ | 0.000 | | min | 1616.000-1518.000=98.000 | | max | 1616.000-1518.000=98.000 |
| | mean | 1.922-1.933=-0.011 | | σ | 0.088-0.095=-0.006 | | min | 1.832-1.839=-0.007 | | max | 2.032-2.050=-0.018 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1563.360-1563.421=-0.061 | | σ | 6.910-6.813=0.097 | | min | 1560.057-1560.167=-0.110 | | max | 1575.716-1575.605=0.111 |
| | mean | 1616.000-1518.000=98.000 | | σ | 0.000 | | min | 1616.000-1518.000=98.000 | | max | 1616.000-1518.000=98.000 |
| | mean | 2.375-2.439=-0.064 | | σ | 0.401-0.260=0.141 | | min | 2.035-2.017=0.018 | | max | 2.918-2.672=0.245 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1892.823-1892.846=-0.023 | | σ | 0.014-0.044=-0.030 | | min | 1892.810-1892.819=-0.009 | | max | 1892.844-1892.923=-0.079 |
| | mean | 1759.400-1739.200=20.200 | | σ | 171.895-201.858=-29.963 | | min | 1616.000-1518.000=98.000 | | max | 2022.000-2015.000=7.000 |
| | mean | 2.925-3.024=-0.099 | | σ | 0.110-0.242=-0.132 | | min | 2.859-2.853=0.005 | | max | 3.120-3.447=-0.328 |
|