iters=5 new-facts=1 prior-facts=1 | | mean | 270.131-270.131=-0.001 | | σ | 0.004-0.004=-0.001 | | min | 270.126-270.128=-0.002 | | max | 270.135-270.138=-0.003 |
| | mean | 2853.000-2414.000=439.000 | | σ | 0.000 | | min | 2853.000-2414.000=439.000 | | max | 2853.000-2414.000=439.000 |
| | mean | 0.380-0.380=0.000 | | σ | 0.002-0.001=0.001 | | min | 0.378-0.379=-0.000 | | max | 0.383-0.381=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.583-1930.598=-0.015 | | σ | 0.019-0.012=0.007 | | min | 1930.563-1930.582=-0.020 | | max | 1930.601-1930.612=-0.011 |
| | mean | 2853.000-2414.000=439.000 | | σ | 0.000 | | min | 2853.000-2414.000=439.000 | | max | 2853.000-2414.000=439.000 |
| | mean | 2.629-2.517=0.112 | | σ | 0.290-0.137=0.153 | | min | 2.457-2.368=0.089 | | max | 3.144-2.725=0.418 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.935-4751.069=-0.134 | | σ | 0.956-0.850=0.105 | | min | 4750.134-4750.547=-0.413 | | max | 4752.592-4752.582=0.010 |
| | mean | 2853.000-2414.000=439.000 | | σ | 0.000 | | min | 2853.000-2414.000=439.000 | | max | 2853.000-2414.000=439.000 |
| | mean | 8.766-8.465=0.300 | | σ | 0.158-0.515=-0.358 | | min | 8.568-7.618=0.951 | | max | 8.903-8.934=-0.031 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.536-4941.529=0.007 | | σ | 0.082-0.084=-0.002 | | min | 4941.471-4941.459=0.012 | | max | 4941.627-4941.628=-0.001 |
| | mean | 3048.000-3024.200=23.800 | | σ | 199.201-299.401=-100.200 | | min | 2853.000-2608.000=245.000 | | max | 3324.000-3410.000=-86.000 |
| | mean | 8.592-8.517=0.075 | | σ | 0.214-0.127=0.087 | | min | 8.376-8.387=-0.011 | | max | 8.910-8.685=0.225 |
|