iters=5 new-facts=1 prior-facts=1 | | mean | 272.756-272.759=-0.003 | | σ | 0.008-0.006=0.001 | | min | 272.747-272.754=-0.007 | | max | 272.765-272.767=-0.002 |
| | mean | 2785.000-2704.000=81.000 | | σ | 0.000 | | min | 2785.000-2704.000=81.000 | | max | 2785.000-2704.000=81.000 |
| | mean | 0.379-0.383=-0.005 | | σ | 0.001-0.004=-0.003 | | min | 0.377-0.379=-0.002 | | max | 0.380-0.390=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.167-1933.130=0.037 | | σ | 0.020-0.011=0.010 | | min | 1933.142-1933.121=0.021 | | max | 1933.190-1933.146=0.044 |
| | mean | 2785.000-2704.000=81.000 | | σ | 0.000 | | min | 2785.000-2704.000=81.000 | | max | 2785.000-2704.000=81.000 |
| | mean | 2.972-3.103=-0.130 | | σ | 0.209-0.094=0.115 | | min | 2.611-2.990=-0.379 | | max | 3.153-3.189=-0.036 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.797-4753.838=2.959 | | σ | 7.662-0.938=6.724 | | min | 4752.956-4753.128=-0.172 | | max | 4770.495-4755.479=15.016 |
| | mean | 2785.000-2704.000=81.000 | | σ | 0.000 | | min | 2785.000-2704.000=81.000 | | max | 2785.000-2704.000=81.000 |
| | mean | 8.835-8.480=0.355 | | σ | 0.342-0.498=-0.156 | | min | 8.526-7.962=0.564 | | max | 9.300-9.063=0.237 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.324-4944.357=-0.033 | | σ | 0.149-0.018=0.130 | | min | 4944.060-4944.332=-0.272 | | max | 4944.415-4944.375=0.040 |
| | mean | 3009.600-2996.000=13.600 | | σ | 289.774-328.917=-39.143 | | min | 2785.000-2704.000=81.000 | | max | 3459.000-3465.000=-6.000 |
| | mean | 8.512-8.433=0.079 | | σ | 0.167-0.095=0.072 | | min | 8.407-8.327=0.080 | | max | 8.803-8.564=0.238 |
|