iters=5 new-facts=1 prior-facts=1 | | mean | 272.100-272.014=0.086 | | σ | 0.008-0.006=0.002 | | min | 272.092-272.007=0.085 | | max | 272.112-272.022=0.090 |
| | mean | 2761.000-2695.000=66.000 | | σ | 0.000 | | min | 2761.000-2695.000=66.000 | | max | 2761.000-2695.000=66.000 |
| | mean | 0.391-0.387=0.005 | | σ | 0.010-0.010=-0.000 | | min | 0.378-0.377=0.002 | | max | 0.400-0.401=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.520-1932.441=0.079 | | σ | 0.012-0.015=-0.003 | | min | 1932.506-1932.416=0.090 | | max | 1932.535-1932.456=0.080 |
| | mean | 2761.000-2695.000=66.000 | | σ | 0.000 | | min | 2761.000-2695.000=66.000 | | max | 2761.000-2695.000=66.000 |
| | mean | 3.006-2.904=0.102 | | σ | 0.177-0.146=0.032 | | min | 2.745-2.710=0.035 | | max | 3.193-3.068=0.125 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.251-4753.053=0.198 | | σ | 0.850-0.579=0.271 | | min | 4752.794-4752.672=0.122 | | max | 4754.763-4754.079=0.684 |
| | mean | 2761.000-2695.000=66.000 | | σ | 0.000 | | min | 2761.000-2695.000=66.000 | | max | 2761.000-2695.000=66.000 |
| | mean | 8.559-8.587=-0.028 | | σ | 0.446-0.287=0.159 | | min | 7.828-8.346=-0.518 | | max | 8.951-9.043=-0.092 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.715-4943.633=0.082 | | σ | 0.013-0.020=-0.007 | | min | 4943.701-4943.610=0.091 | | max | 4943.732-4943.656=0.076 |
| | mean | 3073.600-3010.200=63.400 | | σ | 270.436-265.587=4.850 | | min | 2761.000-2695.000=66.000 | | max | 3345.000-3352.000=-7.000 |
| | mean | 8.705-8.529=0.177 | | σ | 0.224-0.163=0.061 | | min | 8.394-8.338=0.056 | | max | 8.979-8.754=0.226 |
|