iters=5 new-facts=1 prior-facts=1 | | mean | 272.757-272.759=-0.002 | | σ | 0.005-0.006=-0.001 | | min | 272.752-272.750=0.002 | | max | 272.766-272.766=-0.000 |
| | mean | 2420.000-2480.000=-60.000 | | σ | 0.000 | | min | 2420.000-2480.000=-60.000 | | max | 2420.000-2480.000=-60.000 |
| | mean | 0.383-0.386=-0.003 | | σ | 0.007-0.011=-0.004 | | min | 0.379-0.378=0.001 | | max | 0.395-0.401=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.168-1933.162=0.006 | | σ | 0.011-0.009=0.001 | | min | 1933.151-1933.150=0.000 | | max | 1933.177-1933.176=0.001 |
| | mean | 2420.000-2480.000=-60.000 | | σ | 0.000 | | min | 2420.000-2480.000=-60.000 | | max | 2420.000-2480.000=-60.000 |
| | mean | 3.000-3.032=-0.032 | | σ | 0.229-0.066=0.163 | | min | 2.697-2.940=-0.243 | | max | 3.285-3.105=0.181 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.909-4756.897=0.012 | | σ | 7.654-7.617=0.037 | | min | 4753.419-4753.473=-0.054 | | max | 4770.601-4770.522=0.079 |
| | mean | 2420.000-2480.000=-60.000 | | σ | 0.000 | | min | 2420.000-2480.000=-60.000 | | max | 2420.000-2480.000=-60.000 |
| | mean | 8.690-8.639=0.051 | | σ | 0.365-0.442=-0.077 | | min | 8.091-7.859=0.232 | | max | 9.006-8.937=0.069 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.390-4944.398=-0.008 | | σ | 0.024-0.014=0.009 | | min | 4944.363-4944.379=-0.015 | | max | 4944.411-4944.411=-0.000 |
| | mean | 2896.200-3006.800=-110.600 | | σ | 385.879-302.480=83.399 | | min | 2420.000-2611.000=-191.000 | | max | 3408.000-3390.000=18.000 |
| | mean | 8.380-8.496=-0.116 | | σ | 0.057-0.118=-0.061 | | min | 8.317-8.380=-0.063 | | max | 8.461-8.685=-0.225 |
|