iters=5 new-facts=1 prior-facts=1 | | mean | 270.144-270.143=0.000 | | σ | 0.010-0.004=0.006 | | min | 270.129-270.136=-0.007 | | max | 270.154-270.146=0.009 |
| | mean | 2772.000-2775.000=-3.000 | | σ | 0.000 | | min | 2772.000-2775.000=-3.000 | | max | 2772.000-2775.000=-3.000 |
| | mean | 0.377-0.378=-0.000 | | σ | 0.002-0.002=0.000 | | min | 0.374-0.375=-0.002 | | max | 0.380-0.379=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.604-1930.594=0.010 | | σ | 0.009-0.023=-0.014 | | min | 1930.597-1930.570=0.027 | | max | 1930.618-1930.616=0.002 |
| | mean | 2772.000-2775.000=-3.000 | | σ | 0.000 | | min | 2772.000-2775.000=-3.000 | | max | 2772.000-2775.000=-3.000 |
| | mean | 2.503-2.532=-0.028 | | σ | 0.116-0.185=-0.069 | | min | 2.346-2.327=0.019 | | max | 2.623-2.830=-0.207 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.355-4751.308=0.047 | | σ | 0.959-0.899=0.060 | | min | 4750.740-4750.793=-0.053 | | max | 4753.051-4752.905=0.146 |
| | mean | 2772.000-2775.000=-3.000 | | σ | 0.000 | | min | 2772.000-2775.000=-3.000 | | max | 2772.000-2775.000=-3.000 |
| | mean | 8.427-8.521=-0.094 | | σ | 0.681-0.551=0.130 | | min | 7.644-7.644=-0.000 | | max | 9.362-9.065=0.297 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.773-4941.704=0.070 | | σ | 0.016-0.172=-0.157 | | min | 4941.755-4941.396=0.359 | | max | 4941.790-4941.795=-0.005 |
| | mean | 3051.000-3010.000=41.000 | | σ | 256.482-219.589=36.893 | | min | 2772.000-2775.000=-3.000 | | max | 3306.000-3308.000=-2.000 |
| | mean | 8.721-8.513=0.208 | | σ | 0.391-0.123=0.269 | | min | 8.378-8.385=-0.006 | | max | 9.360-8.683=0.678 |
|