iters=5 new-facts=1 prior-facts=1 | | mean | 272.010-272.016=-0.006 | | σ | 0.008-0.009=-0.001 | | min | 272.004-272.002=0.002 | | max | 272.023-272.024=-0.000 |
| | mean | 2761.000-2701.000=60.000 | | σ | 0.000 | | min | 2761.000-2701.000=60.000 | | max | 2761.000-2701.000=60.000 |
| | mean | 0.385-0.390=-0.005 | | σ | 0.008-0.010=-0.002 | | min | 0.375-0.379=-0.004 | | max | 0.392-0.403=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.431-1932.435=-0.004 | | σ | 0.004-0.017=-0.014 | | min | 1932.427-1932.409=0.018 | | max | 1932.436-1932.449=-0.013 |
| | mean | 2761.000-2701.000=60.000 | | σ | 0.000 | | min | 2761.000-2701.000=60.000 | | max | 2761.000-2701.000=60.000 |
| | mean | 3.013-2.971=0.042 | | σ | 0.058-0.148=-0.090 | | min | 2.962-2.738=0.224 | | max | 3.103-3.102=0.001 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.164-4753.121=0.043 | | σ | 0.823-0.863=-0.039 | | min | 4752.701-4752.637=0.064 | | max | 4754.628-4754.657=-0.029 |
| | mean | 2761.000-2701.000=60.000 | | σ | 0.000 | | min | 2761.000-2701.000=60.000 | | max | 2761.000-2701.000=60.000 |
| | mean | 8.433-8.747=-0.314 | | σ | 0.511-0.306=0.205 | | min | 7.593-8.410=-0.817 | | max | 8.876-9.096=-0.220 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.632-4943.557=0.075 | | σ | 0.022-0.160=-0.138 | | min | 4943.609-4943.273=0.336 | | max | 4943.657-4943.650=0.007 |
| | mean | 3029.200-2973.600=55.600 | | σ | 243.314-228.514=14.800 | | min | 2761.000-2701.000=60.000 | | max | 3355.000-3291.000=64.000 |
| | mean | 8.501-8.508=-0.006 | | σ | 0.173-0.060=0.112 | | min | 8.335-8.414=-0.079 | | max | 8.772-8.562=0.210 |
|