remove iteration count from test result#1862

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

cbmc-test-results-quantifiersdiffblue/cbmc:cbmc-test-results-quantifiersCopy head branch name to clipboard