iters=5 new-facts=1 prior-facts=1 | | mean | 277.194-277.196=-0.002 | | σ | 0.005-0.004=0.001 | | min | 277.188-277.191=-0.003 | | max | 277.199-277.200=-0.001 |
| | mean | 2667.000-2429.000=238.000 | | σ | 0.000 | | min | 2667.000-2429.000=238.000 | | max | 2667.000-2429.000=238.000 |
| | mean | 0.395-0.399=-0.004 | | σ | 0.004-0.009=-0.005 | | min | 0.392-0.393=-0.001 | | max | 0.402-0.410=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.435-2174.432=0.004 | | σ | 0.021-0.027=-0.006 | | min | 2174.406-2174.392=0.014 | | max | 2174.464-2174.463=0.001 |
| | mean | 2667.000-2429.000=238.000 | | σ | 0.000 | | min | 2667.000-2429.000=238.000 | | max | 2667.000-2429.000=238.000 |
| | mean | 2.825-2.920=-0.095 | | σ | 0.137-0.270=-0.133 | | min | 2.746-2.691=0.054 | | max | 3.068-3.359=-0.291 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.660-5052.612=0.049 | | σ | 1.025-1.028=-0.002 | | min | 5051.998-5052.072=-0.074 | | max | 5054.478-5054.444=0.034 |
| | mean | 2667.000-2429.000=238.000 | | σ | 0.000 | | min | 2667.000-2429.000=238.000 | | max | 2667.000-2429.000=238.000 |
| | mean | 8.823-9.148=-0.324 | | σ | 1.015-0.687=0.328 | | min | 8.029-8.144=-0.115 | | max | 10.468-9.996=0.471 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.352-5188.422=-0.070 | | σ | 0.211-0.093=0.118 | | min | 5188.002-5188.351=-0.349 | | max | 5188.527-5188.529=-0.002 |
| | mean | 3276.200-3192.200=84.000 | | σ | 482.314-485.079=-2.765 | | min | 2667.000-2604.000=63.000 | | max | 3858.000-3837.000=21.000 |
| | mean | 8.937-8.894=0.043 | | σ | 0.429-0.210=0.219 | | min | 8.652-8.669=-0.017 | | max | 9.675-9.128=0.546 |
|