iters=5 new-facts=1 prior-facts=1 | | mean | 272.755-272.755=0.000 | | σ | 0.004-0.003=0.001 | | min | 272.749-272.753=-0.004 | | max | 272.759-272.760=-0.001 |
| | mean | 2771.000-2775.000=-4.000 | | σ | 0.000 | | min | 2771.000-2775.000=-4.000 | | max | 2771.000-2775.000=-4.000 |
| | mean | 0.382-0.384=-0.002 | | σ | 0.005-0.008=-0.003 | | min | 0.379-0.379=-0.000 | | max | 0.391-0.398=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.158-1933.159=-0.001 | | σ | 0.015-0.018=-0.003 | | min | 1933.140-1933.141=-0.001 | | max | 1933.177-1933.183=-0.006 |
| | mean | 2771.000-2775.000=-4.000 | | σ | 0.000 | | min | 2771.000-2775.000=-4.000 | | max | 2771.000-2775.000=-4.000 |
| | mean | 2.959-2.968=-0.009 | | σ | 0.132-0.362=-0.230 | | min | 2.745-2.472=0.273 | | max | 3.092-3.396=-0.304 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.795-4756.911=-0.116 | | σ | 7.679-7.589=0.090 | | min | 4752.949-4753.446=-0.496 | | max | 4770.524-4770.486=0.038 |
| | mean | 2771.000-2775.000=-4.000 | | σ | 0.000 | | min | 2771.000-2775.000=-4.000 | | max | 2771.000-2775.000=-4.000 |
| | mean | 8.705-8.618=0.087 | | σ | 0.547-0.218=0.330 | | min | 7.947-8.366=-0.419 | | max | 9.326-8.961=0.365 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.394-4944.392=0.002 | | σ | 0.018-0.023=-0.005 | | min | 4944.369-4944.366=0.003 | | max | 4944.409-4944.423=-0.014 |
| | mean | 2987.400-3037.400=-50.000 | | σ | 220.205-323.120=-102.915 | | min | 2771.000-2775.000=-4.000 | | max | 3309.000-3525.000=-216.000 |
| | mean | 8.514-8.450=0.063 | | σ | 0.082-0.128=-0.046 | | min | 8.432-8.337=0.095 | | max | 8.632-8.666=-0.034 |
|