iters=5 new-facts=1 prior-facts=1 | | mean | 324.705-324.703=0.002 | | σ | 0.055-0.052=0.003 | | min | 324.609-324.612=-0.003 | | max | 324.739-324.740=-0.002 |
| | mean | 2838.000-2832.000=6.000 | | σ | 0.000 | | min | 2838.000-2832.000=6.000 | | max | 2838.000-2832.000=6.000 |
| | mean | 0.429-0.427=0.002 | | σ | 0.009-0.002=0.007 | | min | 0.421-0.424=-0.003 | | max | 0.444-0.430=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.259-1985.257=0.001 | | σ | 0.018-0.007=0.012 | | min | 1985.241-1985.248=-0.007 | | max | 1985.279-1985.263=0.015 |
| | mean | 2838.000-2832.000=6.000 | | σ | 0.000 | | min | 2838.000-2832.000=6.000 | | max | 2838.000-2832.000=6.000 |
| | mean | 2.698-2.691=0.007 | | σ | 0.255-0.156=0.099 | | min | 2.530-2.581=-0.051 | | max | 3.142-2.942=0.200 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.675-4808.882=-0.207 | | σ | 7.844-7.659=0.184 | | min | 4804.228-4805.416=-1.189 | | max | 4822.671-4822.583=0.088 |
| | mean | 2838.000-2832.000=6.000 | | σ | 0.000 | | min | 2838.000-2832.000=6.000 | | max | 2838.000-2832.000=6.000 |
| | mean | 8.747-8.941=-0.194 | | σ | 0.522-0.219=0.303 | | min | 7.844-8.616=-0.772 | | max | 9.197-9.178=0.019 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.469-4996.394=0.075 | | σ | 0.017-0.149=-0.132 | | min | 4996.449-4996.130=0.319 | | max | 4996.488-4996.481=0.007 |
| | mean | 3037.200-3066.600=-29.400 | | σ | 278.309-305.565=-27.256 | | min | 2838.000-2832.000=6.000 | | max | 3477.000-3538.000=-61.000 |
| | mean | 8.521-8.543=-0.021 | | σ | 0.104-0.160=-0.056 | | min | 8.449-8.426=0.024 | | max | 8.702-8.821=-0.119 |
|