iters=5 new-facts=1 prior-facts=1 | | mean | 277.716-277.719=-0.002 | | σ | 0.013-0.012=0.001 | | min | 277.701-277.701=0.001 | | max | 277.733-277.733=0.001 |
| | mean | 2673.000-2625.000=48.000 | | σ | 0.000 | | min | 2673.000-2625.000=48.000 | | max | 2673.000-2625.000=48.000 |
| | mean | 0.411-0.414=-0.004 | | σ | 0.001-0.000=0.000 | | min | 0.410-0.414=-0.004 | | max | 0.412-0.415=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.869-2267.889=-0.020 | | σ | 0.021-0.003=0.018 | | min | 2267.848-2267.886=-0.038 | | max | 2267.898-2267.892=0.006 |
| | mean | 2673.000-2625.000=48.000 | | σ | 0.000 | | min | 2673.000-2625.000=48.000 | | max | 2673.000-2625.000=48.000 |
| | mean | 3.133-2.968=0.165 | | σ | 0.136-0.128=0.007 | | min | 2.912-2.890=0.022 | | max | 3.247-3.194=0.053 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.058-4955.021=0.038 | | σ | 0.740-0.789=-0.049 | | min | 4954.598-4954.490=0.108 | | max | 4956.365-4956.404=-0.039 |
| | mean | 2673.000-2625.000=48.000 | | σ | 0.000 | | min | 2673.000-2625.000=48.000 | | max | 2673.000-2625.000=48.000 |
| | mean | 7.784-8.077=-0.293 | | σ | 0.118-0.281=-0.163 | | min | 7.662-7.865=-0.203 | | max | 7.930-8.414=-0.484 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.756-5169.756=-0.001 | | σ | 0.087-0.092=-0.005 | | min | 5169.681-5169.687=-0.006 | | max | 5169.854-5169.857=-0.003 |
| | mean | 3360.000-3386.400=-26.400 | | σ | 420.573-448.158=-27.585 | | min | 2943.000-2809.000=134.000 | | max | 3784.000-3985.000=-201.000 |
| | mean | 9.281-9.414=-0.132 | | σ | 0.232-0.373=-0.141 | | min | 8.958-8.877=0.081 | | max | 9.611-9.921=-0.310 |
|