iters=5 new-facts=1 prior-facts=1 | | mean | 270.241-270.236=0.005 | | σ | 0.006-0.006=-0.000 | | min | 270.234-270.227=0.008 | | max | 270.248-270.243=0.005 |
| | mean | 2832.000-2494.000=338.000 | | σ | 0.000 | | min | 2832.000-2494.000=338.000 | | max | 2832.000-2494.000=338.000 |
| | mean | 0.379-0.375=0.004 | | σ | 0.007-0.005=0.002 | | min | 0.373-0.367=0.005 | | max | 0.391-0.381=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.702-1930.701=0.001 | | σ | 0.007-0.008=-0.002 | | min | 1930.695-1930.693=0.002 | | max | 1930.709-1930.710=-0.001 |
| | mean | 2832.000-2494.000=338.000 | | σ | 0.000 | | min | 2832.000-2494.000=338.000 | | max | 2832.000-2494.000=338.000 |
| | mean | 2.577-2.524=0.053 | | σ | 0.122-0.099=0.023 | | min | 2.465-2.453=0.012 | | max | 2.713-2.688=0.025 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.368-4751.435=-0.068 | | σ | 0.937-0.860=0.077 | | min | 4750.863-4750.932=-0.070 | | max | 4753.041-4752.967=0.073 |
| | mean | 2832.000-2494.000=338.000 | | σ | 0.000 | | min | 2832.000-2494.000=338.000 | | max | 2832.000-2494.000=338.000 |
| | mean | 8.700-8.320=0.380 | | σ | 0.364-0.483=-0.119 | | min | 8.144-7.623=0.521 | | max | 9.121-8.887=0.235 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.800-4941.861=-0.061 | | σ | 0.164-0.023=0.141 | | min | 4941.511-4941.839=-0.329 | | max | 4941.906-4941.886=0.021 |
| | mean | 3077.400-3013.000=64.400 | | σ | 261.408-318.663=-57.255 | | min | 2832.000-2603.000=229.000 | | max | 3351.000-3423.000=-72.000 |
| | mean | 8.821-8.614=0.207 | | σ | 0.357-0.278=0.079 | | min | 8.392-8.359=0.033 | | max | 9.336-9.087=0.249 |
|