iters=5 new-facts=1 prior-facts=1 | | mean | 269.379-269.378=0.001 | | σ | 0.006-0.005=0.000 | | min | 269.371-269.370=0.000 | | max | 269.387-269.384=0.003 |
| | mean | 2665.000-2660.000=5.000 | | σ | 0.000 | | min | 2665.000-2660.000=5.000 | | max | 2665.000-2660.000=5.000 |
| | mean | 0.375-0.376=-0.002 | | σ | 0.005-0.005=-0.000 | | min | 0.371-0.373=-0.002 | | max | 0.383-0.385=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.749-1929.752=-0.003 | | σ | 0.003-0.016=-0.013 | | min | 1929.746-1929.726=0.020 | | max | 1929.754-1929.770=-0.016 |
| | mean | 2665.000-2660.000=5.000 | | σ | 0.000 | | min | 2665.000-2660.000=5.000 | | max | 2665.000-2660.000=5.000 |
| | mean | 3.086-2.995=0.091 | | σ | 0.091-0.052=0.040 | | min | 3.013-2.918=0.095 | | max | 3.189-3.063=0.126 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.376-4750.541=-0.164 | | σ | 1.037-0.849=0.188 | | min | 4749.480-4750.094=-0.614 | | max | 4752.171-4752.054=0.117 |
| | mean | 2665.000-2660.000=5.000 | | σ | 0.000 | | min | 2665.000-2660.000=5.000 | | max | 2665.000-2660.000=5.000 |
| | mean | 8.656-8.358=0.298 | | σ | 0.503-0.426=0.077 | | min | 7.820-7.609=0.211 | | max | 9.066-8.626=0.440 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.985-4940.982=0.004 | | σ | 0.012-0.018=-0.006 | | min | 4940.972-4940.957=0.015 | | max | 4940.999-4940.999=-0.001 |
| | mean | 3025.800-2981.200=44.600 | | σ | 296.361-256.888=39.473 | | min | 2665.000-2660.000=5.000 | | max | 3418.000-3335.000=83.000 |
| | mean | 8.564-8.435=0.129 | | σ | 0.140-0.085=0.056 | | min | 8.329-8.360=-0.031 | | max | 8.696-8.542=0.154 |
|