iters=5 new-facts=1 prior-facts=1 | | mean | 324.694-324.706=-0.011 | | σ | 0.043-0.048=-0.005 | | min | 324.619-324.621=-0.002 | | max | 324.724-324.740=-0.015 |
| | mean | 2812.000-2840.000=-28.000 | | σ | 0.000 | | min | 2812.000-2840.000=-28.000 | | max | 2812.000-2840.000=-28.000 |
| | mean | 0.424-0.426=-0.002 | | σ | 0.004-0.006=-0.001 | | min | 0.421-0.422=-0.002 | | max | 0.431-0.436=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.244-1985.270=-0.026 | | σ | 0.015-0.007=0.008 | | min | 1985.224-1985.259=-0.035 | | max | 1985.260-1985.277=-0.017 |
| | mean | 2812.000-2840.000=-28.000 | | σ | 0.000 | | min | 2812.000-2840.000=-28.000 | | max | 2812.000-2840.000=-28.000 |
| | mean | 2.685-2.596=0.089 | | σ | 0.126-0.058=0.068 | | min | 2.544-2.543=0.001 | | max | 2.819-2.669=0.149 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.789-4808.911=-0.121 | | σ | 7.706-7.708=-0.002 | | min | 4804.781-4805.357=-0.576 | | max | 4822.561-4822.698=-0.137 |
| | mean | 2812.000-2840.000=-28.000 | | σ | 0.000 | | min | 2812.000-2840.000=-28.000 | | max | 2812.000-2840.000=-28.000 |
| | mean | 8.806-8.833=-0.027 | | σ | 0.629-0.627=0.003 | | min | 7.789-7.771=0.017 | | max | 9.447-9.353=0.095 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.446-4996.463=-0.017 | | σ | 0.017-0.021=-0.004 | | min | 4996.429-4996.440=-0.011 | | max | 4996.465-4996.482=-0.017 |
| | mean | 3002.400-3054.600=-52.200 | | σ | 269.372-201.676=67.696 | | min | 2812.000-2840.000=-28.000 | | max | 3423.000-3350.000=73.000 |
| | mean | 8.542-8.706=-0.164 | | σ | 0.104-0.237=-0.134 | | min | 8.479-8.475=0.003 | | max | 8.723-9.071=-0.347 |
|