iters=5 new-facts=1 prior-facts=1 | | mean | 324.769-324.761=0.009 | | σ | 0.036-0.043=-0.007 | | min | 324.705-324.684=0.021 | | max | 324.787-324.790=-0.003 |
| | mean | 2837.000-2840.000=-3.000 | | σ | 0.000 | | min | 2837.000-2840.000=-3.000 | | max | 2837.000-2840.000=-3.000 |
| | mean | 0.419-0.417=0.002 | | σ | 0.008-0.002=0.007 | | min | 0.415-0.416=-0.001 | | max | 0.434-0.420=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.316-1985.313=0.003 | | σ | 0.014-0.015=-0.001 | | min | 1985.294-1985.292=0.002 | | max | 1985.328-1985.334=-0.006 |
| | mean | 2837.000-2840.000=-3.000 | | σ | 0.000 | | min | 2837.000-2840.000=-3.000 | | max | 2837.000-2840.000=-3.000 |
| | mean | 2.622-2.636=-0.014 | | σ | 0.075-0.129=-0.054 | | min | 2.559-2.515=0.044 | | max | 2.751-2.817=-0.066 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.101-4809.111=-0.010 | | σ | 7.745-7.773=-0.028 | | min | 4805.538-4805.604=-0.065 | | max | 4822.955-4823.016=-0.061 |
| | mean | 2837.000-2840.000=-3.000 | | σ | 0.000 | | min | 2837.000-2840.000=-3.000 | | max | 2837.000-2840.000=-3.000 |
| | mean | 9.002-9.162=-0.160 | | σ | 0.349-0.341=0.009 | | min | 8.504-8.925=-0.421 | | max | 9.395-9.755=-0.360 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.628-4996.552=0.076 | | σ | 0.024-0.151=-0.127 | | min | 4996.604-4996.285=0.319 | | max | 4996.658-4996.646=0.012 |
| | mean | 3026.200-3047.600=-21.400 | | σ | 267.319-270.853=-3.533 | | min | 2837.000-2840.000=-3.000 | | max | 3454.000-3465.000=-11.000 |
| | mean | 8.420-8.503=-0.083 | | σ | 0.075-0.114=-0.039 | | min | 8.290-8.444=-0.153 | | max | 8.477-8.705=-0.229 |
|