iters=5 new-facts=1 prior-facts=1 | | mean | 277.301-277.330=-0.029 | | σ | 0.005-0.005=0.000 | | min | 277.294-277.326=-0.033 | | max | 277.306-277.337=-0.032 |
| | mean | 2672.000-2626.000=46.000 | | σ | 0.000 | | min | 2672.000-2626.000=46.000 | | max | 2672.000-2626.000=46.000 |
| | mean | 0.404-0.406=-0.002 | | σ | 0.001-0.008=-0.007 | | min | 0.403-0.401=0.002 | | max | 0.405-0.421=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.484-2174.575=-0.091 | | σ | 0.038-0.020=0.017 | | min | 2174.438-2174.560=-0.121 | | max | 2174.519-2174.609=-0.090 |
| | mean | 2672.000-2626.000=46.000 | | σ | 0.000 | | min | 2672.000-2626.000=46.000 | | max | 2672.000-2626.000=46.000 |
| | mean | 3.004-3.028=-0.023 | | σ | 0.159-0.125=0.034 | | min | 2.826-2.849=-0.023 | | max | 3.193-3.150=0.043 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.712-5052.612=0.100 | | σ | 1.002-1.069=-0.067 | | min | 5052.110-5051.879=0.231 | | max | 5054.495-5054.493=0.001 |
| | mean | 2672.000-2626.000=46.000 | | σ | 0.000 | | min | 2672.000-2626.000=46.000 | | max | 2672.000-2626.000=46.000 |
| | mean | 8.953-8.978=-0.025 | | σ | 0.613-0.564=0.048 | | min | 8.195-8.166=0.029 | | max | 9.733-9.526=0.207 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.441-5188.558=-0.117 | | σ | 0.121-0.084=0.037 | | min | 5188.280-5188.488=-0.208 | | max | 5188.610-5188.651=-0.041 |
| | mean | 3198.600-3240.600=-42.000 | | σ | 454.105-372.602=81.503 | | min | 2672.000-2717.000=-45.000 | | max | 3809.000-3693.000=116.000 |
| | mean | 8.875-9.030=-0.155 | | σ | 0.141-0.371=-0.230 | | min | 8.729-8.727=0.002 | | max | 9.087-9.676=-0.589 |
|