iters=5 new-facts=1 prior-facts=1 | | mean | 269.385-272.007=-2.621 | | σ | 0.006-0.020=-0.014 | | min | 269.378-271.990=-2.612 | | max | 269.393-272.036=-2.643 |
| | mean | 2663.000-2856.000=-193.000 | | σ | 0.000 | | min | 2663.000-2856.000=-193.000 | | max | 2663.000-2856.000=-193.000 |
| | mean | 0.380-0.395=-0.015 | | σ | 0.006-0.002=0.003 | | min | 0.377-0.392=-0.015 | | max | 0.390-0.398=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1929.750-1932.448=-2.698 | | σ | 0.017-0.018=-0.002 | | min | 1929.729-1932.431=-2.702 | | max | 1929.772-1932.478=-2.706 |
| | mean | 2663.000-2856.000=-193.000 | | σ | 0.000 | | min | 2663.000-2856.000=-193.000 | | max | 2663.000-2856.000=-193.000 |
| | mean | 2.940-3.105=-0.165 | | σ | 0.303-0.194=0.108 | | min | 2.406-2.936=-0.530 | | max | 3.135-3.434=-0.299 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.398-4753.053=-2.655 | | σ | 0.961-0.607=0.354 | | min | 4749.465-4752.671=-3.206 | | max | 4752.028-4754.122=-2.095 |
| | mean | 2663.000-2856.000=-193.000 | | σ | 0.000 | | min | 2663.000-2856.000=-193.000 | | max | 2663.000-2856.000=-193.000 |
| | mean | 8.544-8.450=0.094 | | σ | 0.295-0.665=-0.370 | | min | 8.316-7.716=0.600 | | max | 9.013-9.114=-0.101 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4940.992-4943.562=-2.570 | | σ | 0.020-0.158=-0.138 | | min | 4940.964-4943.282=-2.318 | | max | 4941.014-4943.657=-2.642 |
| | mean | 2980.600-3074.000=-93.400 | | σ | 254.502-270.991=-16.489 | | min | 2663.000-2856.000=-193.000 | | max | 3332.000-3484.000=-152.000 |
| | mean | 8.629-8.670=-0.041 | | σ | 0.388-0.093=0.295 | | min | 8.400-8.603=-0.204 | | max | 9.319-8.823=0.496 |
|