iters=5 new-facts=1 prior-facts=1 | | mean | 271.758-270.588=1.170 | | σ | 0.006-0.017=-0.011 | | min | 271.754-270.576=1.178 | | max | 271.767-270.618=1.149 |
| | mean | 2875.000-2768.000=107.000 | | σ | 0.000 | | min | 2875.000-2768.000=107.000 | | max | 2875.000-2768.000=107.000 |
| | mean | 0.380-0.382=-0.002 | | σ | 0.003-0.006=-0.002 | | min | 0.378-0.379=-0.001 | | max | 0.386-0.392=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.183-1931.041=1.142 | | σ | 0.012-0.006=0.007 | | min | 1932.167-1931.033=1.134 | | max | 1932.202-1931.048=1.154 |
| | mean | 2875.000-2768.000=107.000 | | σ | 0.000 | | min | 2875.000-2768.000=107.000 | | max | 2875.000-2768.000=107.000 |
| | mean | 2.817-2.962=-0.146 | | σ | 0.214-0.156=0.058 | | min | 2.474-2.697=-0.223 | | max | 2.988-3.077=-0.088 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.758-4751.846=0.911 | | σ | 1.016-0.808=0.208 | | min | 4751.897-4751.379=0.518 | | max | 4754.521-4753.288=1.233 |
| | mean | 2875.000-2768.000=107.000 | | σ | 0.000 | | min | 2875.000-2768.000=107.000 | | max | 2875.000-2768.000=107.000 |
| | mean | 8.745-7.975=0.769 | | σ | 0.283-0.318=-0.036 | | min | 8.286-7.733=0.553 | | max | 9.058-8.531=0.526 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.368-4942.230=1.138 | | σ | 0.010-0.023=-0.013 | | min | 4943.357-4942.205=1.152 | | max | 4943.377-4942.260=1.118 |
| | mean | 3041.000-3032.000=9.000 | | σ | 258.805-319.601=-60.796 | | min | 2875.000-2768.000=107.000 | | max | 3465.000-3513.000=-48.000 |
| | mean | 8.410-8.346=0.064 | | σ | 0.041-0.141=-0.100 | | min | 8.356-8.186=0.170 | | max | 8.466-8.562=-0.095 |
|