iters=5 new-facts=1 prior-facts=1 | | mean | 273.610-273.609=0.002 | | σ | 0.004-0.006=-0.002 | | min | 273.606-273.602=0.004 | | max | 273.614-273.614=0.000 |
| | mean | 2836.000-2840.000=-4.000 | | σ | 0.000 | | min | 2836.000-2840.000=-4.000 | | max | 2836.000-2840.000=-4.000 |
| | mean | 0.387-0.387=-0.000 | | σ | 0.008-0.005=0.002 | | min | 0.380-0.382=-0.002 | | max | 0.396-0.395=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.002-1934.002=0.000 | | σ | 0.005-0.007=-0.002 | | min | 1933.997-1933.995=0.002 | | max | 1934.009-1934.010=-0.001 |
| | mean | 2836.000-2840.000=-4.000 | | σ | 0.000 | | min | 2836.000-2840.000=-4.000 | | max | 2836.000-2840.000=-4.000 |
| | mean | 2.980-2.996=-0.016 | | σ | 0.111-0.158=-0.047 | | min | 2.827-2.741=0.086 | | max | 3.138-3.142=-0.004 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.637-4754.773=-0.136 | | σ | 0.929-0.839=0.090 | | min | 4753.861-4754.246=-0.385 | | max | 4756.250-4756.264=-0.014 |
| | mean | 2836.000-2840.000=-4.000 | | σ | 0.000 | | min | 2836.000-2840.000=-4.000 | | max | 2836.000-2840.000=-4.000 |
| | mean | 8.587-8.498=0.090 | | σ | 0.219-0.529=-0.311 | | min | 8.397-7.625=0.772 | | max | 8.946-9.049=-0.103 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.153-4945.158=-0.005 | | σ | 0.142-0.166=-0.024 | | min | 4944.901-4944.864=0.037 | | max | 4945.241-4945.263=-0.023 |
| | mean | 3058.800-3050.000=8.800 | | σ | 193.301-195.032=-1.731 | | min | 2836.000-2840.000=-4.000 | | max | 3327.000-3330.000=-3.000 |
| | mean | 8.514-8.802=-0.288 | | σ | 0.169-0.301=-0.132 | | min | 8.284-8.510=-0.226 | | max | 8.730-9.305=-0.576 |
|