iters=5 new-facts=1 prior-facts=1 | | mean | 324.682-324.705=-0.023 | | σ | 0.051-0.056=-0.005 | | min | 324.593-324.606=-0.013 | | max | 324.716-324.738=-0.022 |
| | mean | 2823.000-2839.000=-16.000 | | σ | 0.000 | | min | 2823.000-2839.000=-16.000 | | max | 2823.000-2839.000=-16.000 |
| | mean | 0.438-0.424=0.014 | | σ | 0.017-0.002=0.015 | | min | 0.425-0.421=0.004 | | max | 0.466-0.426=0.039 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.266-1985.258=0.008 | | σ | 0.010-0.020=-0.009 | | min | 1985.250-1985.231=0.018 | | max | 1985.274-1985.277=-0.002 |
| | mean | 2823.000-2839.000=-16.000 | | σ | 0.000 | | min | 2823.000-2839.000=-16.000 | | max | 2823.000-2839.000=-16.000 |
| | mean | 2.687-2.625=0.062 | | σ | 0.163-0.091=0.072 | | min | 2.510-2.534=-0.024 | | max | 2.890-2.765=0.125 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.672-4808.864=-0.192 | | σ | 7.216-7.642=-0.426 | | min | 4805.422-4805.371=0.051 | | max | 4821.581-4822.534=-0.953 |
| | mean | 2823.000-2839.000=-16.000 | | σ | 0.000 | | min | 2823.000-2839.000=-16.000 | | max | 2823.000-2839.000=-16.000 |
| | mean | 9.145-8.695=0.451 | | σ | 0.200-0.188=0.011 | | min | 8.977-8.494=0.483 | | max | 9.469-8.894=0.575 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.467-4996.458=0.009 | | σ | 0.018-0.019=-0.001 | | min | 4996.446-4996.429=0.018 | | max | 4996.489-4996.481=0.008 |
| | mean | 3029.400-3070.200=-40.800 | | σ | 281.789-303.047=-21.259 | | min | 2823.000-2839.000=-16.000 | | max | 3471.000-3535.000=-64.000 |
| | mean | 8.507-8.536=-0.029 | | σ | 0.127-0.124=0.004 | | min | 8.359-8.427=-0.069 | | max | 8.699-8.672=0.028 |
|