iters=5 new-facts=1 prior-facts=1 | | mean | 273.403-273.402=0.002 | | σ | 0.008-0.014=-0.005 | | min | 273.395-273.387=0.008 | | max | 273.414-273.416=-0.002 |
| | mean | 2513.000-2475.000=38.000 | | σ | 0.000 | | min | 2513.000-2475.000=38.000 | | max | 2513.000-2475.000=38.000 |
| | mean | 0.387-0.384=0.002 | | σ | 0.007-0.008=-0.001 | | min | 0.379-0.376=0.003 | | max | 0.396-0.395=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.839-1933.844=-0.005 | | σ | 0.006-0.007=-0.001 | | min | 1933.831-1933.835=-0.004 | | max | 1933.845-1933.854=-0.009 |
| | mean | 2513.000-2475.000=38.000 | | σ | 0.000 | | min | 2513.000-2475.000=38.000 | | max | 2513.000-2475.000=38.000 |
| | mean | 3.083-3.109=-0.026 | | σ | 0.159-0.133=0.026 | | min | 2.892-2.976=-0.084 | | max | 3.297-3.285=0.012 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.232-4754.366=-0.134 | | σ | 0.623-0.844=-0.221 | | min | 4753.767-4753.769=-0.002 | | max | 4755.328-4755.846=-0.517 |
| | mean | 2513.000-2475.000=38.000 | | σ | 0.000 | | min | 2513.000-2475.000=38.000 | | max | 2513.000-2475.000=38.000 |
| | mean | 8.560-8.812=-0.252 | | σ | 0.503-0.889=-0.386 | | min | 7.786-7.769=0.017 | | max | 9.020-10.152=-1.131 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.798-4944.730=0.068 | | σ | 0.082-0.206=-0.124 | | min | 4944.729-4944.388=0.341 | | max | 4944.899-4944.900=-0.001 |
| | mean | 2968.200-2988.200=-20.000 | | σ | 339.393-357.623=-18.230 | | min | 2528.000-2530.000=-2.000 | | max | 3293.000-3332.000=-39.000 |
| | mean | 8.729-8.627=0.102 | | σ | 0.218-0.161=0.057 | | min | 8.526-8.401=0.125 | | max | 9.045-8.835=0.211 |
|