iters=5 new-facts=1 prior-facts=1 | | mean | 270.236-270.235=0.002 | | σ | 0.011-0.007=0.004 | | min | 270.221-270.226=-0.005 | | max | 270.250-270.245=0.006 |
| | mean | 2775.000-2771.000=4.000 | | σ | 0.000 | | min | 2775.000-2771.000=4.000 | | max | 2775.000-2771.000=4.000 |
| | mean | 0.375-0.376=-0.001 | | σ | 0.004-0.003=0.001 | | min | 0.368-0.370=-0.002 | | max | 0.378-0.379=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.704-1930.702=0.003 | | σ | 0.011-0.017=-0.006 | | min | 1930.692-1930.672=0.020 | | max | 1930.717-1930.711=0.006 |
| | mean | 2775.000-2771.000=4.000 | | σ | 0.000 | | min | 2775.000-2771.000=4.000 | | max | 2775.000-2771.000=4.000 |
| | mean | 2.504-2.518=-0.014 | | σ | 0.120-0.082=0.038 | | min | 2.382-2.395=-0.013 | | max | 2.681-2.602=0.079 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.210-4751.440=-0.230 | | σ | 0.733-0.880=-0.147 | | min | 4750.618-4750.945=-0.327 | | max | 4752.484-4753.008=-0.523 |
| | mean | 2775.000-2771.000=4.000 | | σ | 0.000 | | min | 2775.000-2771.000=4.000 | | max | 2775.000-2771.000=4.000 |
| | mean | 8.529-8.263=0.266 | | σ | 0.381-0.459=-0.078 | | min | 7.988-7.648=0.340 | | max | 9.052-8.772=0.280 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.796-4941.726=0.071 | | σ | 0.158-0.213=-0.055 | | min | 4941.516-4941.493=0.023 | | max | 4941.892-4941.896=-0.003 |
| | mean | 3021.400-3032.600=-11.200 | | σ | 237.904-317.952=-80.048 | | min | 2775.000-2771.000=4.000 | | max | 3337.000-3512.000=-175.000 |
| | mean | 8.575-8.392=0.183 | | σ | 0.238-0.094=0.144 | | min | 8.351-8.315=0.036 | | max | 8.860-8.556=0.304 |
|