iters=5 new-facts=1 prior-facts=1 | | mean | 324.709-273.610=51.099 | | σ | 0.048-0.007=0.041 | | min | 324.624-273.601=51.023 | | max | 324.739-273.618=51.121 |
| | mean | 2824.000-2845.000=-21.000 | | σ | 0.000 | | min | 2824.000-2845.000=-21.000 | | max | 2824.000-2845.000=-21.000 |
| | mean | 0.423-0.387=0.036 | | σ | 0.001-0.010=-0.010 | | min | 0.423-0.379=0.044 | | max | 0.424-0.403=0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.262-1934.001=51.261 | | σ | 0.015-0.019=-0.004 | | min | 1985.238-1933.973=51.265 | | max | 1985.278-1934.023=51.254 |
| | mean | 2824.000-2845.000=-21.000 | | σ | 0.000 | | min | 2824.000-2845.000=-21.000 | | max | 2824.000-2845.000=-21.000 |
| | mean | 2.677-3.104=-0.427 | | σ | 0.113-0.328=-0.215 | | min | 2.550-2.870=-0.320 | | max | 2.792-3.679=-0.887 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.861-4614.224=194.637 | | σ | 7.669-314.523=-306.854 | | min | 4805.404-4051.591=753.813 | | max | 4822.580-4756.329=66.251 |
| | mean | 2824.000-2845.000=-21.000 | | σ | 0.000 | | min | 2824.000-2845.000=-21.000 | | max | 2824.000-2845.000=-21.000 |
| | mean | 8.799-8.139=0.660 | | σ | 0.141-0.723=-0.582 | | min | 8.614-7.017=1.598 | | max | 8.931-8.790=0.141 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.466-4945.220=51.246 | | σ | 0.021-0.015=0.006 | | min | 4996.431-4945.202=51.229 | | max | 4996.482-4945.244=51.239 |
| | mean | 3059.000-3025.200=33.800 | | σ | 306.841-263.403=43.438 | | min | 2824.000-2845.000=-21.000 | | max | 3533.000-3445.000=88.000 |
| | mean | 8.561-8.567=-0.007 | | σ | 0.296-0.185=0.111 | | min | 8.406-8.413=-0.007 | | max | 9.089-8.792=0.297 |
|