iters=5 new-facts=1 prior-facts=1 | | mean | 270.239-270.239=-0.000 | | σ | 0.008-0.006=0.003 | | min | 270.227-270.233=-0.006 | | max | 270.247-270.246=0.001 |
| | mean | 2414.000-2775.000=-361.000 | | σ | 0.000 | | min | 2414.000-2775.000=-361.000 | | max | 2414.000-2775.000=-361.000 |
| | mean | 0.380-0.378=0.001 | | σ | 0.006-0.006=0.000 | | min | 0.371-0.370=0.001 | | max | 0.387-0.386=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.702-1930.704=-0.002 | | σ | 0.012-0.008=0.004 | | min | 1930.687-1930.694=-0.007 | | max | 1930.717-1930.715=0.002 |
| | mean | 2414.000-2775.000=-361.000 | | σ | 0.000 | | min | 2414.000-2775.000=-361.000 | | max | 2414.000-2775.000=-361.000 |
| | mean | 2.565-2.529=0.036 | | σ | 0.128-0.093=0.035 | | min | 2.463-2.446=0.017 | | max | 2.779-2.645=0.134 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.374-4751.285=0.089 | | σ | 0.872-0.905=-0.033 | | min | 4750.898-4750.494=0.404 | | max | 4752.930-4752.847=0.083 |
| | mean | 2414.000-2775.000=-361.000 | | σ | 0.000 | | min | 2414.000-2775.000=-361.000 | | max | 2414.000-2775.000=-361.000 |
| | mean | 8.688-8.501=0.187 | | σ | 0.260-0.198=0.062 | | min | 8.435-8.191=0.244 | | max | 9.059-8.744=0.315 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.872-4941.792=0.080 | | σ | 0.018-0.156=-0.137 | | min | 4941.842-4941.518=0.324 | | max | 4941.890-4941.888=0.003 |
| | mean | 2975.800-3059.800=-84.000 | | σ | 268.029-261.851=6.178 | | min | 2624.000-2775.000=-151.000 | | max | 3318.000-3424.000=-106.000 |
| | mean | 8.602-8.653=-0.052 | | σ | 0.317-0.277=0.040 | | min | 8.385-8.348=0.037 | | max | 9.163-8.982=0.181 |
|