iters=5 new-facts=1 prior-facts=1 | | mean | 272.788-271.599=1.189 | | σ | 0.006-0.006=0.001 | | min | 272.781-271.590=1.191 | | max | 272.794-271.604=1.190 |
| | mean | 2757.000-2649.000=108.000 | | σ | 0.000 | | min | 2757.000-2649.000=108.000 | | max | 2757.000-2649.000=108.000 |
| | mean | 0.382-0.385=-0.003 | | σ | 0.008-0.004=0.004 | | min | 0.377-0.381=-0.005 | | max | 0.395-0.391=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.230-1931.982=1.248 | | σ | 0.004-0.019=-0.015 | | min | 1933.227-1931.957=1.269 | | max | 1933.238-1932.006=1.231 |
| | mean | 2757.000-2649.000=108.000 | | σ | 0.000 | | min | 2757.000-2649.000=108.000 | | max | 2757.000-2649.000=108.000 |
| | mean | 3.044-2.536=0.507 | | σ | 0.348-0.112=0.236 | | min | 2.735-2.412=0.323 | | max | 3.593-2.699=0.894 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.641-4752.724=3.917 | | σ | 7.438-0.912=6.526 | | min | 4752.497-4752.245=0.253 | | max | 4769.918-4754.350=15.568 |
| | mean | 2757.000-2649.000=108.000 | | σ | 0.000 | | min | 2757.000-2649.000=108.000 | | max | 2757.000-2649.000=108.000 |
| | mean | 8.405-8.722=-0.316 | | σ | 0.362-0.338=0.024 | | min | 7.982-8.287=-0.304 | | max | 8.919-9.097=-0.179 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.461-4943.210=1.251 | | σ | 0.020-0.015=0.005 | | min | 4944.433-4943.192=1.241 | | max | 4944.477-4943.222=1.256 |
| | mean | 3041.800-2953.800=88.000 | | σ | 272.668-334.478=-61.811 | | min | 2757.000-2649.000=108.000 | | max | 3422.000-3430.000=-8.000 |
| | mean | 8.483-8.496=-0.013 | | σ | 0.112-0.117=-0.005 | | min | 8.366-8.394=-0.027 | | max | 8.624-8.690=-0.066 |
|