iters=5 new-facts=1 prior-facts=1 | | mean | 272.759-271.601=1.158 | | σ | 0.008-0.007=0.001 | | min | 272.749-271.591=1.159 | | max | 272.766-271.609=1.157 |
| | mean | 2713.000-2502.000=211.000 | | σ | 0.000 | | min | 2713.000-2502.000=211.000 | | max | 2713.000-2502.000=211.000 |
| | mean | 0.386-0.385=0.001 | | σ | 0.006-0.006=-0.000 | | min | 0.383-0.381=0.002 | | max | 0.397-0.395=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.136-1931.994=1.142 | | σ | 0.014-0.012=0.002 | | min | 1933.116-1931.974=1.142 | | max | 1933.150-1932.004=1.145 |
| | mean | 2713.000-2502.000=211.000 | | σ | 0.000 | | min | 2713.000-2502.000=211.000 | | max | 2713.000-2502.000=211.000 |
| | mean | 3.009-2.521=0.488 | | σ | 0.044-0.056=-0.012 | | min | 2.947-2.473=0.474 | | max | 3.071-2.601=0.470 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.839-4752.706=1.133 | | σ | 0.931-0.897=0.034 | | min | 4753.114-4752.231=0.883 | | max | 4755.465-4754.308=1.157 |
| | mean | 2713.000-2502.000=211.000 | | σ | 0.000 | | min | 2713.000-2502.000=211.000 | | max | 2713.000-2502.000=211.000 |
| | mean | 8.285-8.799=-0.514 | | σ | 0.592-0.211=0.381 | | min | 7.614-8.635=-1.020 | | max | 8.948-9.149=-0.201 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.362-4943.140=1.222 | | σ | 0.016-0.161=-0.145 | | min | 4944.344-4942.853=1.491 | | max | 4944.383-4943.223=1.160 |
| | mean | 3039.000-3009.200=29.800 | | σ | 286.279-301.821=-15.543 | | min | 2713.000-2599.000=114.000 | | max | 3424.000-3386.000=38.000 |
| | mean | 8.501-8.491=0.011 | | σ | 0.114-0.145=-0.031 | | min | 8.326-8.316=0.009 | | max | 8.601-8.649=-0.048 |
|