iters=5 new-facts=1 prior-facts=1 | | mean | 292.431-292.429=0.002 | | σ | 0.017-0.013=0.004 | | min | 292.405-292.407=-0.002 | | max | 292.450-292.441=0.009 |
| | mean | 2831.000-2837.000=-6.000 | | σ | 0.000 | | min | 2831.000-2837.000=-6.000 | | max | 2831.000-2837.000=-6.000 |
| | mean | 0.398-0.398=-0.000 | | σ | 0.002-0.002=0.000 | | min | 0.396-0.395=0.001 | | max | 0.401-0.401=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1952.963-1952.972=-0.009 | | σ | 0.019-0.019=-0.001 | | min | 1952.937-1952.939=-0.001 | | max | 1952.982-1952.988=-0.006 |
| | mean | 2831.000-2837.000=-6.000 | | σ | 0.000 | | min | 2831.000-2837.000=-6.000 | | max | 2831.000-2837.000=-6.000 |
| | mean | 2.579-2.633=-0.054 | | σ | 0.042-0.088=-0.046 | | min | 2.535-2.561=-0.027 | | max | 2.625-2.743=-0.118 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4778.914-4778.878=0.035 | | σ | 7.744-7.634=0.110 | | min | 4775.324-4775.302=0.021 | | max | 4792.766-4792.531=0.234 |
| | mean | 2831.000-2837.000=-6.000 | | σ | 0.000 | | min | 2831.000-2837.000=-6.000 | | max | 2831.000-2837.000=-6.000 |
| | mean | 9.096-8.684=0.412 | | σ | 0.406-0.453=-0.046 | | min | 8.783-7.979=0.804 | | max | 9.792-9.234=0.558 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4966.231-4966.373=-0.141 | | σ | 0.378-0.208=0.170 | | min | 4965.665-4966.030=-0.364 | | max | 4966.541-4966.543=-0.002 |
| | mean | 3053.400-3038.600=14.800 | | σ | 217.482-204.071=13.411 | | min | 2831.000-2837.000=-6.000 | | max | 3329.000-3317.000=12.000 |
| | mean | 8.567-8.596=-0.029 | | σ | 0.140-0.254=-0.113 | | min | 8.367-8.369=-0.002 | | max | 8.682-9.008=-0.326 |
|