iters=5 new-facts=1 prior-facts=1 | | mean | 270.141-270.125=0.016 | | σ | 0.009-0.014=-0.005 | | min | 270.130-270.113=0.017 | | max | 270.152-270.148=0.004 |
| | mean | 2775.000-2801.000=-26.000 | | σ | 0.000 | | min | 2775.000-2801.000=-26.000 | | max | 2775.000-2801.000=-26.000 |
| | mean | 0.379-0.382=-0.003 | | σ | 0.006-0.004=0.002 | | min | 0.371-0.379=-0.008 | | max | 0.386-0.390=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.608-1930.609=-0.000 | | σ | 0.002-0.009=-0.007 | | min | 1930.605-1930.597=0.007 | | max | 1930.611-1930.619=-0.008 |
| | mean | 2775.000-2801.000=-26.000 | | σ | 0.000 | | min | 2775.000-2801.000=-26.000 | | max | 2775.000-2801.000=-26.000 |
| | mean | 2.546-2.477=0.068 | | σ | 0.091-0.062=0.029 | | min | 2.464-2.413=0.051 | | max | 2.650-2.577=0.073 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.256-4751.195=0.061 | | σ | 0.916-0.914=0.001 | | min | 4750.799-4750.334=0.465 | | max | 4752.893-4752.740=0.153 |
| | mean | 2775.000-2801.000=-26.000 | | σ | 0.000 | | min | 2775.000-2801.000=-26.000 | | max | 2775.000-2801.000=-26.000 |
| | mean | 8.874-8.471=0.403 | | σ | 0.126-0.542=-0.416 | | min | 8.681-7.712=0.969 | | max | 9.017-9.112=-0.095 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.623-4941.625=-0.002 | | σ | 0.331-0.193=0.138 | | min | 4941.032-4941.387=-0.355 | | max | 4941.790-4941.793=-0.003 |
| | mean | 3038.200-3027.000=11.200 | | σ | 238.116-222.185=15.931 | | min | 2775.000-2801.000=-26.000 | | max | 3339.000-3321.000=18.000 |
| | mean | 8.524-8.613=-0.088 | | σ | 0.225-0.248=-0.023 | | min | 8.307-8.288=0.019 | | max | 8.839-8.890=-0.051 |
|