iters=5 new-facts=1 prior-facts=1 | | mean | 273.501-270.139=3.362 | | σ | 0.005-0.009=-0.004 | | min | 273.493-270.131=3.362 | | max | 273.506-270.154=3.352 |
| | mean | 2620.000-2769.000=-149.000 | | σ | 0.000 | | min | 2620.000-2769.000=-149.000 | | max | 2620.000-2769.000=-149.000 |
| | mean | 0.378-0.377=0.002 | | σ | 0.004-0.004=0.000 | | min | 0.376-0.371=0.005 | | max | 0.386-0.382=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.892-1930.607=3.285 | | σ | 0.005-0.007=-0.002 | | min | 1933.883-1930.596=3.288 | | max | 1933.896-1930.615=3.281 |
| | mean | 2620.000-2769.000=-149.000 | | σ | 0.000 | | min | 2620.000-2769.000=-149.000 | | max | 2620.000-2769.000=-149.000 |
| | mean | 3.035-2.512=0.523 | | σ | 0.137-0.085=0.053 | | min | 2.820-2.431=0.390 | | max | 3.158-2.654=0.504 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4613.988-4751.332=-137.344 | | σ | 314.468-0.888=313.580 | | min | 4051.453-4750.819=-699.366 | | max | 4756.134-4752.914=3.220 |
| | mean | 2620.000-2769.000=-149.000 | | σ | 0.000 | | min | 2620.000-2769.000=-149.000 | | max | 2620.000-2769.000=-149.000 |
| | mean | 8.081-8.413=-0.332 | | σ | 0.725-0.465=0.260 | | min | 7.000-7.741=-0.742 | | max | 8.942-8.979=-0.038 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.056-4941.699=3.357 | | σ | 0.173-0.144=0.029 | | min | 4944.747-4941.443=3.304 | | max | 4945.160-4941.790=3.370 |
| | mean | 3014.000-3044.400=-30.400 | | σ | 378.325-235.302=143.023 | | min | 2620.000-2769.000=-149.000 | | max | 3543.000-3371.000=172.000 |
| | mean | 8.815-8.680=0.136 | | σ | 0.366-0.208=0.158 | | min | 8.538-8.394=0.144 | | max | 9.448-8.925=0.523 |
|