iters=5 new-facts=1 prior-facts=1 | | mean | 326.563-326.456=0.107 | | σ | 0.065-0.031=0.034 | | min | 326.448-326.402=0.046 | | max | 326.604-326.475=0.129 |
| | mean | 2590.000-2829.000=-239.000 | | σ | 0.000 | | min | 2590.000-2829.000=-239.000 | | max | 2590.000-2829.000=-239.000 |
| | mean | 0.426-0.433=-0.007 | | σ | 0.010-0.012=-0.002 | | min | 0.420-0.423=-0.003 | | max | 0.444-0.452=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.706-1988.609=0.096 | | σ | 0.041-0.020=0.021 | | min | 1988.648-1988.576=0.072 | | max | 1988.748-1988.625=0.123 |
| | mean | 2590.000-2829.000=-239.000 | | σ | 0.000 | | min | 2590.000-2829.000=-239.000 | | max | 2590.000-2829.000=-239.000 |
| | mean | 2.668-2.669=-0.001 | | σ | 0.060-0.039=0.021 | | min | 2.615-2.621=-0.006 | | max | 2.764-2.730=0.034 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.507-4813.329=0.178 | | σ | 7.764-7.790=-0.026 | | min | 4809.700-4809.483=0.217 | | max | 4827.390-4827.259=0.131 |
| | mean | 2590.000-2829.000=-239.000 | | σ | 0.000 | | min | 2590.000-2829.000=-239.000 | | max | 2590.000-2829.000=-239.000 |
| | mean | 8.441-8.811=-0.370 | | σ | 0.533-0.215=0.318 | | min | 7.708-8.535=-0.827 | | max | 9.107-8.984=0.122 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.128-5000.890=0.237 | | σ | 0.014-0.191=-0.177 | | min | 5001.113-5000.674=0.439 | | max | 5001.146-5001.047=0.099 |
| | mean | 2921.000-3031.600=-110.600 | | σ | 253.447-205.247=48.200 | | min | 2590.000-2829.000=-239.000 | | max | 3266.000-3312.000=-46.000 |
| | mean | 9.471-9.874=-0.403 | | σ | 0.642-0.539=0.102 | | min | 8.343-8.930=-0.587 | | max | 9.848-10.253=-0.404 |
|