iters=5 new-facts=1 prior-facts=1 | | mean | 271.949-271.953=-0.004 | | σ | 0.003-0.002=0.002 | | min | 271.943-271.951=-0.008 | | max | 271.952-271.955=-0.003 |
| | mean | 2772.000-2778.000=-6.000 | | σ | 0.000 | | min | 2772.000-2778.000=-6.000 | | max | 2772.000-2778.000=-6.000 |
| | mean | 0.379-0.378=0.001 | | σ | 0.001-0.001=-0.001 | | min | 0.378-0.376=0.002 | | max | 0.380-0.380=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.321-1932.322=-0.001 | | σ | 0.007-0.003=0.004 | | min | 1932.310-1932.316=-0.006 | | max | 1932.327-1932.325=0.002 |
| | mean | 2772.000-2778.000=-6.000 | | σ | 0.000 | | min | 2772.000-2778.000=-6.000 | | max | 2772.000-2778.000=-6.000 |
| | mean | 3.112-3.018=0.094 | | σ | 0.131-0.065=0.066 | | min | 3.008-2.958=0.050 | | max | 3.260-3.127=0.133 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.975-4753.117=-0.142 | | σ | 0.995-0.890=0.105 | | min | 4752.049-4752.587=-0.538 | | max | 4754.669-4754.691=-0.022 |
| | mean | 2772.000-2778.000=-6.000 | | σ | 0.000 | | min | 2772.000-2778.000=-6.000 | | max | 2772.000-2778.000=-6.000 |
| | mean | 8.367-8.322=0.045 | | σ | 0.593-0.594=-0.001 | | min | 7.640-7.584=0.056 | | max | 8.994-8.941=0.054 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.560-4943.416=0.144 | | σ | 0.014-0.192=-0.179 | | min | 4943.545-4943.199=0.346 | | max | 4943.576-4943.564=0.012 |
| | mean | 3037.400-3025.000=12.400 | | σ | 308.841-228.680=80.161 | | min | 2772.000-2778.000=-6.000 | | max | 3493.000-3325.000=168.000 |
| | mean | 8.489-8.550=-0.061 | | σ | 0.152-0.140=0.012 | | min | 8.346-8.450=-0.104 | | max | 8.671-8.790=-0.119 |
|