iters=5 new-facts=1 prior-facts=1 | | mean | 272.757-272.759=-0.001 | | σ | 0.002-0.006=-0.004 | | min | 272.755-272.752=0.003 | | max | 272.760-272.766=-0.005 |
| | mean | 2480.000-2509.000=-29.000 | | σ | 0.000 | | min | 2480.000-2509.000=-29.000 | | max | 2480.000-2509.000=-29.000 |
| | mean | 0.381-0.381=-0.000 | | σ | 0.007-0.006=0.002 | | min | 0.377-0.378=-0.000 | | max | 0.394-0.391=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.160-1933.166=-0.006 | | σ | 0.009-0.011=-0.002 | | min | 1933.151-1933.150=0.000 | | max | 1933.172-1933.175=-0.003 |
| | mean | 2480.000-2509.000=-29.000 | | σ | 0.000 | | min | 2480.000-2509.000=-29.000 | | max | 2480.000-2509.000=-29.000 |
| | mean | 2.930-2.978=-0.048 | | σ | 0.126-0.213=-0.087 | | min | 2.724-2.743=-0.019 | | max | 3.034-3.215=-0.181 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.736-4756.751=-0.014 | | σ | 7.380-7.797=-0.417 | | min | 4753.116-4753.043=0.073 | | max | 4769.934-4770.695=-0.760 |
| | mean | 2480.000-2509.000=-29.000 | | σ | 0.000 | | min | 2480.000-2509.000=-29.000 | | max | 2480.000-2509.000=-29.000 |
| | mean | 8.586-8.692=-0.107 | | σ | 0.311-0.533=-0.222 | | min | 8.246-8.013=0.233 | | max | 8.971-9.424=-0.454 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.251-4944.397=-0.145 | | σ | 0.322-0.019=0.303 | | min | 4943.675-4944.372=-0.697 | | max | 4944.403-4944.416=-0.013 |
| | mean | 2921.200-2942.000=-20.800 | | σ | 385.873-385.931=-0.059 | | min | 2480.000-2509.000=-29.000 | | max | 3461.000-3433.000=28.000 |
| | mean | 8.432-8.500=-0.068 | | σ | 0.056-0.095=-0.039 | | min | 8.382-8.435=-0.053 | | max | 8.514-8.666=-0.152 |
|