iters=5 new-facts=1 prior-facts=1 | | mean | 262.596-293.779=-31.183 | | σ | 0.005-0.011=-0.006 | | min | 262.591-293.767=-31.177 | | max | 262.603-293.797=-31.193 |
| | mean | 1519.000-2719.000=-1200.000 | | σ | 0.000 | | min | 1519.000-2719.000=-1200.000 | | max | 1519.000-2719.000=-1200.000 |
| | mean | 0.353-0.400=-0.047 | | σ | 0.009-0.002=0.007 | | min | 0.345-0.397=-0.052 | | max | 0.365-0.404=-0.039 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1262.641-1955.771=-693.129 | | σ | 0.060-0.037=0.023 | | min | 1262.609-1955.705=-693.096 | | max | 1262.749-1955.796=-693.047 |
| | mean | 1519.000-2719.000=-1200.000 | | σ | 0.000 | | min | 1519.000-2719.000=-1200.000 | | max | 1519.000-2719.000=-1200.000 |
| | mean | 1.865-2.747=-0.882 | | σ | 0.066-0.132=-0.066 | | min | 1.796-2.590=-0.793 | | max | 1.950-2.892=-0.943 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 2058.196-2751.942=-693.746 | | σ | 7.003-7.300=-0.297 | | min | 2054.872-2748.432=-693.560 | | max | 2070.711-2764.996=-694.285 |
| | mean | 1519.000-2719.000=-1200.000 | | σ | 0.000 | | min | 1519.000-2719.000=-1200.000 | | max | 1519.000-2719.000=-1200.000 |
| | mean | 4.618-5.613=-0.995 | | σ | 0.235-0.579=-0.344 | | min | 4.390-4.752=-0.362 | | max | 4.924-6.327=-1.403 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2047.396-2938.826=-891.431 | | σ | 0.003-0.022=-0.020 | | min | 2047.393-2938.804=-891.411 | | max | 2047.399-2938.858=-891.460 |
| | mean | 1760.800-3007.000=-1246.200 | | σ | 183.430-269.447=-86.016 | | min | 1534.000-2719.000=-1185.000 | | max | 1988.000-3371.000=-1383.000 |
| | mean | 4.404-5.977=-1.573 | | σ | 0.066-0.461=-0.395 | | min | 4.353-5.616=-1.262 | | max | 4.513-6.687=-2.174 |
|