iters=5 new-facts=1 prior-facts=1 | | mean | 269.929-269.907=0.022 | | σ | 0.006-0.008=-0.002 | | min | 269.921-269.895=0.027 | | max | 269.937-269.915=0.023 |
| | mean | 2511.000-2775.000=-264.000 | | σ | 0.000 | | min | 2511.000-2775.000=-264.000 | | max | 2511.000-2775.000=-264.000 |
| | mean | 0.374-0.374=-0.000 | | σ | 0.002-0.004=-0.002 | | min | 0.372-0.370=0.002 | | max | 0.378-0.381=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1790.181-1930.399=-140.218 | | σ | 313.539-0.014=313.525 | | min | 1229.306-1930.384=-701.078 | | max | 1930.406-1930.418=-0.012 |
| | mean | 2511.000-2775.000=-264.000 | | σ | 0.000 | | min | 2511.000-2775.000=-264.000 | | max | 2511.000-2775.000=-264.000 |
| | mean | 2.442-2.557=-0.115 | | σ | 0.419-0.197=0.221 | | min | 1.755-2.395=-0.640 | | max | 2.854-2.859=-0.005 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.811-4750.856=-0.045 | | σ | 0.890-0.819=0.071 | | min | 4750.334-4750.334=-0.000 | | max | 4752.398-4752.311=0.087 |
| | mean | 2511.000-2775.000=-264.000 | | σ | 0.000 | | min | 2511.000-2775.000=-264.000 | | max | 2511.000-2775.000=-264.000 |
| | mean | 8.895-8.505=0.389 | | σ | 0.173-0.528=-0.355 | | min | 8.613-7.617=0.996 | | max | 9.084-8.921=0.163 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.334-4941.260=0.074 | | σ | 0.086-0.201=-0.115 | | min | 4941.261-4940.932=0.329 | | max | 4941.439-4941.426=0.013 |
| | mean | 2965.600-3045.800=-80.200 | | σ | 336.390-208.752=127.639 | | min | 2522.000-2775.000=-253.000 | | max | 3279.000-3324.000=-45.000 |
| | mean | 8.740-8.602=0.137 | | σ | 0.459-0.208=0.250 | | min | 8.384-8.362=0.022 | | max | 9.544-8.912=0.632 |
|