iters=5 new-facts=1 prior-facts=1 | | mean | 270.141-270.148=-0.007 | | σ | 0.007-0.008=-0.001 | | min | 270.132-270.136=-0.004 | | max | 270.151-270.157=-0.006 |
| | mean | 2653.000-2474.000=179.000 | | σ | 0.000 | | min | 2653.000-2474.000=179.000 | | max | 2653.000-2474.000=179.000 |
| | mean | 0.377-0.395=-0.017 | | σ | 0.005-0.008=-0.004 | | min | 0.369-0.380=-0.011 | | max | 0.380-0.400=-0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.603-1930.610=-0.006 | | σ | 0.006-0.005=0.000 | | min | 1930.597-1930.601=-0.005 | | max | 1930.611-1930.616=-0.005 |
| | mean | 2653.000-2474.000=179.000 | | σ | 0.000 | | min | 2653.000-2474.000=179.000 | | max | 2653.000-2474.000=179.000 |
| | mean | 2.626-2.553=0.073 | | σ | 0.132-0.095=0.038 | | min | 2.446-2.449=-0.003 | | max | 2.817-2.665=0.153 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.201-4751.099=0.102 | | σ | 0.974-1.064=-0.090 | | min | 4750.277-4750.274=0.003 | | max | 4752.849-4752.943=-0.094 |
| | mean | 2653.000-2474.000=179.000 | | σ | 0.000 | | min | 2653.000-2474.000=179.000 | | max | 2653.000-2474.000=179.000 |
| | mean | 8.583-8.418=0.165 | | σ | 0.642-0.600=0.042 | | min | 7.611-7.570=0.041 | | max | 9.393-9.055=0.338 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.778-4941.774=0.004 | | σ | 0.030-0.011=0.019 | | min | 4941.744-4941.759=-0.016 | | max | 4941.819-4941.788=0.032 |
| | mean | 3061.000-3012.200=48.800 | | σ | 314.514-326.452=-11.939 | | min | 2653.000-2583.000=70.000 | | max | 3364.000-3428.000=-64.000 |
| | mean | 8.939-8.541=0.398 | | σ | 0.451-0.108=0.343 | | min | 8.372-8.426=-0.055 | | max | 9.455-8.662=0.793 |
|