iters=5 new-facts=1 prior-facts=1 | | mean | 270.239-270.240=-0.001 | | σ | 0.008-0.007=0.001 | | min | 270.228-270.234=-0.006 | | max | 270.251-270.250=0.001 |
| | mean | 2775.000-2776.000=-1.000 | | σ | 0.000 | | min | 2775.000-2776.000=-1.000 | | max | 2775.000-2776.000=-1.000 |
| | mean | 0.378-0.379=-0.001 | | σ | 0.009-0.008=0.000 | | min | 0.369-0.372=-0.003 | | max | 0.393-0.393=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.700-1930.699=0.001 | | σ | 0.016-0.007=0.009 | | min | 1930.676-1930.694=-0.018 | | max | 1930.715-1930.706=0.008 |
| | mean | 2775.000-2776.000=-1.000 | | σ | 0.000 | | min | 2775.000-2776.000=-1.000 | | max | 2775.000-2776.000=-1.000 |
| | mean | 2.536-2.543=-0.007 | | σ | 0.084-0.112=-0.028 | | min | 2.465-2.381=0.084 | | max | 2.651-2.661=-0.010 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.381-4751.398=-0.017 | | σ | 0.859-0.848=0.012 | | min | 4750.877-4750.915=-0.038 | | max | 4752.912-4752.905=0.008 |
| | mean | 2775.000-2776.000=-1.000 | | σ | 0.000 | | min | 2775.000-2776.000=-1.000 | | max | 2775.000-2776.000=-1.000 |
| | mean | 8.618-8.524=0.094 | | σ | 0.323-0.443=-0.120 | | min | 8.285-7.823=0.462 | | max | 9.136-8.944=0.192 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.869-4941.796=0.072 | | σ | 0.018-0.139=-0.121 | | min | 4941.849-4941.548=0.301 | | max | 4941.893-4941.872=0.022 |
| | mean | 2998.800-3039.400=-40.600 | | σ | 226.992-250.597=-23.605 | | min | 2775.000-2776.000=-1.000 | | max | 3332.000-3383.000=-51.000 |
| | mean | 8.750-8.584=0.166 | | σ | 0.320-0.112=0.208 | | min | 8.424-8.493=-0.069 | | max | 9.120-8.710=0.410 |
|