iters=5 new-facts=1 prior-facts=1 | | mean | 271.955-271.955=-0.000 | | σ | 0.008-0.006=0.002 | | min | 271.948-271.949=-0.001 | | max | 271.968-271.961=0.007 |
| | mean | 2671.000-2454.000=217.000 | | σ | 0.000 | | min | 2671.000-2454.000=217.000 | | max | 2671.000-2454.000=217.000 |
| | mean | 0.382-0.381=0.000 | | σ | 0.009-0.001=0.008 | | min | 0.377-0.380=-0.003 | | max | 0.397-0.382=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.316-1932.322=-0.006 | | σ | 0.007-0.008=-0.001 | | min | 1932.306-1932.313=-0.007 | | max | 1932.325-1932.334=-0.009 |
| | mean | 2671.000-2454.000=217.000 | | σ | 0.000 | | min | 2671.000-2454.000=217.000 | | max | 2671.000-2454.000=217.000 |
| | mean | 3.027-3.008=0.019 | | σ | 0.071-0.090=-0.019 | | min | 2.937-2.856=0.081 | | max | 3.099-3.080=0.019 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.969-4753.100=-0.131 | | σ | 0.957-0.876=0.081 | | min | 4752.116-4752.628=-0.512 | | max | 4754.617-4754.658=-0.041 |
| | mean | 2671.000-2454.000=217.000 | | σ | 0.000 | | min | 2671.000-2454.000=217.000 | | max | 2671.000-2454.000=217.000 |
| | mean | 8.682-8.643=0.040 | | σ | 0.226-0.377=-0.151 | | min | 8.386-8.034=0.352 | | max | 8.912-8.977=-0.065 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.557-4943.487=0.070 | | σ | 0.016-0.148=-0.132 | | min | 4943.539-4943.224=0.314 | | max | 4943.571-4943.568=0.003 |
| | mean | 2961.800-3004.200=-42.400 | | σ | 247.323-279.022=-31.699 | | min | 2671.000-2615.000=56.000 | | max | 3317.000-3313.000=4.000 |
| | mean | 8.442-8.565=-0.123 | | σ | 0.093-0.118=-0.026 | | min | 8.337-8.403=-0.067 | | max | 8.566-8.709=-0.143 |
|