iters=5 new-facts=1 prior-facts=1 | | mean | 271.600-271.599=0.001 | | σ | 0.006-0.006=-0.000 | | min | 271.594-271.591=0.003 | | max | 271.605-271.605=-0.001 |
| | mean | 2473.000-2489.000=-16.000 | | σ | 0.000 | | min | 2473.000-2489.000=-16.000 | | max | 2473.000-2489.000=-16.000 |
| | mean | 0.384-0.380=0.004 | | σ | 0.004-0.004=0.000 | | min | 0.380-0.376=0.004 | | max | 0.389-0.386=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.999-1931.992=0.007 | | σ | 0.011-0.017=-0.005 | | min | 1931.980-1931.976=0.004 | | max | 1932.008-1932.013=-0.004 |
| | mean | 2473.000-2489.000=-16.000 | | σ | 0.000 | | min | 2473.000-2489.000=-16.000 | | max | 2473.000-2489.000=-16.000 |
| | mean | 2.577-2.504=0.074 | | σ | 0.106-0.104=0.002 | | min | 2.466-2.422=0.045 | | max | 2.712-2.679=0.033 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.810-4752.730=0.080 | | σ | 0.821-0.902=-0.081 | | min | 4752.328-4752.257=0.071 | | max | 4754.273-4754.332=-0.059 |
| | mean | 2473.000-2489.000=-16.000 | | σ | 0.000 | | min | 2473.000-2489.000=-16.000 | | max | 2473.000-2489.000=-16.000 |
| | mean | 7.882-8.551=-0.668 | | σ | 0.417-0.574=-0.157 | | min | 7.541-7.571=-0.030 | | max | 8.597-8.987=-0.390 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.155-4943.147=0.007 | | σ | 0.145-0.140=0.004 | | min | 4942.898-4942.898=0.000 | | max | 4943.241-4943.225=0.016 |
| | mean | 2941.400-2935.400=6.000 | | σ | 377.533-310.927=66.605 | | min | 2473.000-2489.000=-16.000 | | max | 3435.000-3318.000=117.000 |
| | mean | 8.539-8.419=0.121 | | σ | 0.226-0.088=0.138 | | min | 8.351-8.312=0.040 | | max | 8.910-8.543=0.367 |
|