iters=5 new-facts=1 prior-facts=1 | | mean | 324.012-272.788=51.224 | | σ | 0.052-0.009=0.043 | | min | 323.920-272.784=51.136 | | max | 324.039-272.804=51.235 |
| | mean | 2515.000-2513.000=2.000 | | σ | 0.000 | | min | 2515.000-2513.000=2.000 | | max | 2515.000-2513.000=2.000 |
| | mean | 0.429-0.382=0.047 | | σ | 0.005-0.009=-0.004 | | min | 0.425-0.377=0.048 | | max | 0.437-0.398=0.039 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.591-1933.218=51.373 | | σ | 0.017-0.018=-0.001 | | min | 1984.572-1933.193=51.379 | | max | 1984.610-1933.238=51.372 |
| | mean | 2515.000-2513.000=2.000 | | σ | 0.000 | | min | 2515.000-2513.000=2.000 | | max | 2515.000-2513.000=2.000 |
| | mean | 2.662-3.071=-0.409 | | σ | 0.096-0.090=0.006 | | min | 2.570-3.008=-0.438 | | max | 2.812-3.229=-0.417 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.234-4756.886=51.348 | | σ | 7.771-7.296=0.476 | | min | 4804.670-4753.589=51.081 | | max | 4822.135-4769.937=52.198 |
| | mean | 2515.000-2513.000=2.000 | | σ | 0.000 | | min | 2515.000-2513.000=2.000 | | max | 2515.000-2513.000=2.000 |
| | mean | 8.854-8.278=0.576 | | σ | 0.182-0.373=-0.190 | | min | 8.641-7.737=0.904 | | max | 9.092-8.612=0.480 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.806-4944.449=51.356 | | σ | 0.020-0.021=-0.001 | | min | 4995.786-4944.422=51.364 | | max | 4995.827-4944.473=51.354 |
| | mean | 2973.400-2920.800=52.600 | | σ | 407.210-366.784=40.426 | | min | 2515.000-2513.000=2.000 | | max | 3488.000-3429.000=59.000 |
| | mean | 8.629-8.408=0.221 | | σ | 0.195-0.102=0.092 | | min | 8.467-8.253=0.215 | | max | 8.924-8.535=0.389 |
|