iters=5 new-facts=1 prior-facts=1 | | mean | 326.572-326.455=0.117 | | σ | 0.060-0.030=0.030 | | min | 326.465-326.403=0.062 | | max | 326.609-326.475=0.133 |
| | mean | 2836.000-2823.000=13.000 | | σ | 0.000 | | min | 2836.000-2823.000=13.000 | | max | 2836.000-2823.000=13.000 |
| | mean | 0.430-0.422=0.008 | | σ | 0.015-0.002=0.013 | | min | 0.421-0.420=0.001 | | max | 0.455-0.425=0.030 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.735-1988.619=0.116 | | σ | 0.019-0.005=0.015 | | min | 1988.705-1988.613=0.092 | | max | 1988.750-1988.625=0.125 |
| | mean | 2836.000-2823.000=13.000 | | σ | 0.000 | | min | 2836.000-2823.000=13.000 | | max | 2836.000-2823.000=13.000 |
| | mean | 2.649-2.712=-0.064 | | σ | 0.076-0.109=-0.033 | | min | 2.561-2.635=-0.074 | | max | 2.766-2.897=-0.131 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.473-4813.458=0.015 | | σ | 7.810-7.698=0.112 | | min | 4809.615-4809.943=-0.328 | | max | 4827.439-4827.229=0.211 |
| | mean | 2836.000-2823.000=13.000 | | σ | 0.000 | | min | 2836.000-2823.000=13.000 | | max | 2836.000-2823.000=13.000 |
| | mean | 8.910-8.779=0.131 | | σ | 0.239-0.293=-0.054 | | min | 8.635-8.414=0.221 | | max | 9.130-9.119=0.012 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.076-5000.871=0.205 | | σ | 0.143-0.328=-0.185 | | min | 5000.825-5000.285=0.540 | | max | 5001.182-5001.037=0.145 |
| | mean | 3030.000-3036.400=-6.400 | | σ | 200.259-194.235=6.023 | | min | 2836.000-2823.000=13.000 | | max | 3312.000-3314.000=-2.000 |
| | mean | 9.778-9.686=0.093 | | σ | 0.395-0.285=0.110 | | min | 9.189-9.265=-0.076 | | max | 10.217-10.020=0.197 |
|