iters=5 new-facts=1 prior-facts=1 | | mean | 277.718-277.725=-0.008 | | σ | 0.009-0.023=-0.014 | | min | 277.707-277.703=0.004 | | max | 277.729-277.764=-0.035 |
| | mean | 2740.000-2742.000=-2.000 | | σ | 0.000 | | min | 2740.000-2742.000=-2.000 | | max | 2740.000-2742.000=-2.000 |
| | mean | 0.409-0.411=-0.002 | | σ | 0.001-0.001=-0.000 | | min | 0.407-0.409=-0.002 | | max | 0.410-0.413=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.873-2267.876=-0.003 | | σ | 0.023-0.017=0.006 | | min | 2267.848-2267.847=0.000 | | max | 2267.894-2267.889=0.005 |
| | mean | 2740.000-2742.000=-2.000 | | σ | 0.000 | | min | 2740.000-2742.000=-2.000 | | max | 2740.000-2742.000=-2.000 |
| | mean | 3.189-3.151=0.038 | | σ | 0.178-0.128=0.050 | | min | 2.933-2.944=-0.011 | | max | 3.388-3.270=0.118 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.801-4954.942=-0.141 | | σ | 1.107-0.817=0.289 | | min | 4953.395-4954.164=-0.769 | | max | 4956.500-4956.326=0.174 |
| | mean | 2740.000-2742.000=-2.000 | | σ | 0.000 | | min | 2740.000-2742.000=-2.000 | | max | 2740.000-2742.000=-2.000 |
| | mean | 8.038-7.768=0.270 | | σ | 0.281-0.199=0.082 | | min | 7.675-7.548=0.127 | | max | 8.320-8.053=0.267 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.688-5169.682=0.005 | | σ | 0.208-0.136=0.071 | | min | 5169.344-5169.473=-0.129 | | max | 5169.854-5169.855=-0.001 |
| | mean | 3369.000-3372.600=-3.600 | | σ | 403.762-406.252=-2.490 | | min | 2972.000-2973.000=-1.000 | | max | 3779.000-3785.000=-6.000 |
| | mean | 9.352-9.223=0.128 | | σ | 0.195-0.460=-0.266 | | min | 9.074-8.437=0.637 | | max | 9.623-9.624=-0.001 |
|