iters=5 new-facts=1 prior-facts=1 | | mean | 269.931-269.934=-0.003 | | σ | 0.011-0.012=-0.001 | | min | 269.921-269.917=0.004 | | max | 269.944-269.945=-0.002 |
| | mean | 2851.000-2849.000=2.000 | | σ | 0.000 | | min | 2851.000-2849.000=2.000 | | max | 2851.000-2849.000=2.000 |
| | mean | 0.378-0.379=-0.001 | | σ | 0.007-0.009=-0.001 | | min | 0.368-0.368=0.000 | | max | 0.389-0.393=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.384-1930.393=-0.009 | | σ | 0.025-0.011=0.014 | | min | 1930.356-1930.379=-0.022 | | max | 1930.410-1930.408=0.002 |
| | mean | 2851.000-2849.000=2.000 | | σ | 0.000 | | min | 2851.000-2849.000=2.000 | | max | 2851.000-2849.000=2.000 |
| | mean | 2.553-2.648=-0.094 | | σ | 0.139-0.148=-0.009 | | min | 2.456-2.492=-0.036 | | max | 2.793-2.812=-0.019 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.835-4750.950=-0.115 | | σ | 0.840-0.764=0.076 | | min | 4750.301-4750.554=-0.254 | | max | 4752.317-4752.310=0.007 |
| | mean | 2851.000-2849.000=2.000 | | σ | 0.000 | | min | 2851.000-2849.000=2.000 | | max | 2851.000-2849.000=2.000 |
| | mean | 8.714-8.119=0.595 | | σ | 0.237-0.291=-0.053 | | min | 8.485-7.780=0.706 | | max | 9.027-8.563=0.464 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.329-4941.252=0.077 | | σ | 0.092-0.127=-0.034 | | min | 4941.260-4941.060=0.200 | | max | 4941.439-4941.412=0.027 |
| | mean | 3013.800-3059.000=-45.200 | | σ | 183.104-269.864=-86.760 | | min | 2851.000-2849.000=2.000 | | max | 3297.000-3472.000=-175.000 |
| | mean | 8.580-8.491=0.089 | | σ | 0.219-0.081=0.137 | | min | 8.411-8.383=0.028 | | max | 8.886-8.574=0.312 |
|