iters=5 new-facts=1 prior-facts=1 | | mean | 271.753-271.761=-0.007 | | σ | 0.005-0.006=-0.001 | | min | 271.748-271.753=-0.005 | | max | 271.761-271.769=-0.007 |
| | mean | 2662.000-2849.000=-187.000 | | σ | 0.000 | | min | 2662.000-2849.000=-187.000 | | max | 2662.000-2849.000=-187.000 |
| | mean | 0.385-0.380=0.006 | | σ | 0.012-0.004=0.008 | | min | 0.376-0.376=-0.000 | | max | 0.404-0.386=0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.189-1932.172=0.017 | | σ | 0.013-0.012=0.001 | | min | 1932.176-1932.158=0.018 | | max | 1932.210-1932.186=0.024 |
| | mean | 2662.000-2849.000=-187.000 | | σ | 0.000 | | min | 2662.000-2849.000=-187.000 | | max | 2662.000-2849.000=-187.000 |
| | mean | 2.861-2.903=-0.042 | | σ | 0.282-0.150=0.132 | | min | 2.453-2.716=-0.263 | | max | 3.099-3.069=0.030 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.923-4752.931=-0.008 | | σ | 0.882-0.892=-0.011 | | min | 4752.467-4752.375=0.092 | | max | 4754.493-4754.515=-0.022 |
| | mean | 2662.000-2849.000=-187.000 | | σ | 0.000 | | min | 2662.000-2849.000=-187.000 | | max | 2662.000-2849.000=-187.000 |
| | mean | 8.505-8.483=0.023 | | σ | 0.483-0.595=-0.112 | | min | 7.645-7.631=0.013 | | max | 8.761-9.179=-0.418 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.377-4943.231=0.146 | | σ | 0.012-0.200=-0.188 | | min | 4943.363-4943.004=0.359 | | max | 4943.392-4943.399=-0.006 |
| | mean | 2971.000-3020.400=-49.400 | | σ | 252.600-249.094=3.507 | | min | 2662.000-2849.000=-187.000 | | max | 3315.000-3413.000=-98.000 |
| | mean | 8.548-8.381=0.167 | | σ | 0.141-0.020=0.120 | | min | 8.410-8.350=0.060 | | max | 8.781-8.396=0.385 |
|