<!DOCTYPE HTML>

<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

<style type="text/css">

  <!--

  table { outline:3px solid black; border-spacing:0px; font-family:arial, sans serif}

  thead { text-align:center}

  tbody { text-align:right}

  tfoot { text-align:center}

  tr:hover { background-color:yellow}

  td { border:1px solid black}

  td:first-child { text-align:left; white-space:nowrap}

  tbody td:first-child { font-family: monospace; }

  #options td:not(:first-child) {  text-align:left; font-size: x-small;

                                   font-family: monospace; }

  .columnTitles td:first-child { font-family: monospace; font-size: x-small; }

  tbody tr:first-child td { border-top:3px solid black}

  tfoot tr:first-child td { border-top:3px solid black}

  .status { text-align: center; }

  .correct.safe, .correct.unsafe { color:green}

  .wrong.safe, .wrong.unsafe { color:red; font-weight: bold; }

  .unknown { color:orange; font-weight: bold; }

  .error { color:magenta; font-weight: bold; }

  .score { text-align:center; font-size:large; font-weight:bold; }

  a { color: inherit; text-decoration: none; display: block; }

  a:hover, .clickable:hover { background: lime; cursor: pointer; }

  #contentPaneBackground { height:5000px; width:5000px;

           position:fixed; top:0px; left:0px;

           background-color:green;

           opacity:0.2; display:none }

  #contentPane {

    height:90%; width:90%;

    position:fixed;

    top:5%; left:5%;

    border:solid 10px black; border-radius:15px;

    background-color:white;

    opacity:1;

    display:none;

    overflow:auto;

  }

@media print {

  /* don't print tfoot on each page */

  tfoot { display: table-row-group; }

}

  -->

</style>

<!-- ################## Base JS ################## -->

<script type="text/javascript" src="http://www.sosy-lab.org/lib/jquery-1.7.1.min.js"></script>

<script type="text/javascript">

// All the data from the table head in nice JS data structures.

var tests = [{"name": "with-output-files", "cpuCores": null, "memlimit": "12000 MB", "benchmarkname": "benchmark-cpachecker-dd64-predicate-replace", "tool": "CPAchecker", "ram": "16385312 kB", "cpu": "Intel(R) Core(TM) i7-3770 CPU @ 3.40GHz", "timelimit": "1800 s", "host": "molnar", "version": "1.2-svn e5c9ef1", "branch": "", "date": "13-08-22 15:32", "cores": "4", "freq": "3401 MHz", "os": "Linux 3.2.0-52-generic x86_64", "options": "-heap 9000M -config /home/mikhail/repos/cpachecker/config/predicateAnalysis-PredAbsRefiner-ABEl.properties -spec /home/mikhail/repos/cpachecker/config/specification/sv-comp.spc -setprop output.path=test/results/${benchmark_name}.${benchmark_date}.output/${sourcefile_name}/ -setprop analysis.machineModel=LINUX32 -setprop output.disable=true -setprop log.level=OFF -setprop analysis.summaryEdges=true -setprop analysis.functionPointerCalls=true -setprop cpa.callstack.skipRecursion=true -setprop cpa.conditions.global.time.wall=-1 -disable-java-assertions"}, {"name": "with-output-files", "cpuCores": null, "memlimit": "12000 MB", "benchmarkname": "benchmark-cpachecker-dd64-predicate", "tool": "CPAchecker", "ram": "16385312 kB", "cpu": "Intel(R) Core(TM) i7-3770 CPU @ 3.40GHz", "timelimit": "1800 s", "host": "molnar", "version": "1.2-svn e5c9ef1+", "branch": "", "date": "13-08-23 21:42", "cores": "4", "freq": "3401 MHz", "os": "Linux 3.2.0-52-generic x86_64", "options": "-heap 9000M -config /home/mikhail/repos/cpachecker/config/predicateAnalysis-PredAbsRefiner-ABEl-bv.properties -spec /home/mikhail/repos/cpachecker/config/specification/sv-comp.spc -setprop output.path=test/results/${benchmark_name}.${benchmark_date}.output/${sourcefile_name}/ -setprop analysis.machineModel=LINUX32 -setprop output.disable=true -setprop log.level=OFF -setprop analysis.summaryEdges=true -setprop analysis.functionPointerCalls=true -setprop cpa.callstack.skipRecursion=true -setprop cpa.conditions.global.time.wall=-1 -disable-java-assertions"}, {"name": "with-output-files", "cpuCores": null, "memlimit": "12000 MB", "benchmarkname": "benchmark-cpachecker-dd64-ppreds-integrated", "tool": "CPAchecker", "ram": "16385312 kB", "cpu": "Intel(R) Core(TM) i7-3770 CPU @ 3.40GHz", "timelimit": "1800 s", "host": "molnar", "version": "1.2-svn e5c9ef1+", "branch": "", "date": "13-08-23 14:54", "cores": "4", "freq": "3401 MHz", "os": "Linux 3.2.0-52-generic x86_64", "options": "-heap 9000M -config /home/mikhail/repos/cpachecker/config/predicateAnalysis-PredAbsRefiner-ABEl-UF.properties -spec /home/mikhail/repos/cpachecker/config/specification/sv-comp.spc -setprop output.path=test/results/${benchmark_name}.${benchmark_date}.output/${sourcefile_name}/ -setprop analysis.machineModel=LINUX32 -setprop output.disable=true -setprop log.level=OFF -setprop cpa.predicate.refinement.dumpInterpolationProblems=false -disable-java-assertions"}, {"name": "with-output-files", "cpuCores": null, "memlimit": "12000 MB", "benchmarkname": "benchmark-cpachecker-dd64-ppreds-integrated-replace", "tool": "CPAchecker", "ram": "16385312 kB", "cpu": "Intel(R) Core(TM) i7-3770 CPU @ 3.40GHz", "timelimit": "1800 s", "host": "molnar", "version": "1.2-svn e5c9ef1+", "branch": "", "date": "13-08-22 18:48", "cores": "4", "freq": "3401 MHz", "os": "Linux 3.2.0-52-generic x86_64", "options": "-heap 9000M -config /home/mikhail/repos/cpachecker/config/predicateAnalysis-PredAbsRefiner-ABEl-UF-replace.properties -spec /home/mikhail/repos/cpachecker/config/specification/sv-comp.spc -setprop output.path=test/results/${benchmark_name}.${benchmark_date}.output/${sourcefile_name}/ -setprop analysis.machineModel=LINUX32 -setprop output.disable=true -setprop log.level=OFF -disable-java-assertions"}];   // list with the attributes of all run sets

var columns = [["status", "cputime", "walltime", "memUsage", "total", "reached"], ["status", "cputime", "walltime", "memUsage", "total", "reached"], ["status", "cputime", "walltime", "memUsage", "total", "reached"], ["status", "cputime", "walltime", "memUsage", "total", "reached"]]; // nested list with all the columns headings

var columnsToTest = [];         // for each column of the table the test it belongs to (first column is 0)

for (var i = 0; i < columns.length; i++) {

  tests[i].columns = columns[i];

}

for (var i = 0; i < tests.length; i++) {

  for (var j = 0; j < tests[i].columns.length; j++) {

    columnsToTest.push(tests[i]);

  }

}

var currentlySelectedCell = null;

// callback that is fired when user clicks on cellsWithUrls (see down below)

function highlightCell(event) {

  var target = event.target;

  if (target.nodeName === 'A') {

    target = target.parentNode;

    // unhighlight currentlySelectedCell

    if (currentlySelectedCell != null) {

      currentlySelectedCell.style.borderColor = 'black';

    }

    // highlight cell that has been just clicked on

    target.style.borderColor = 'red';

    currentlySelectedCell = target;

  }

}

function debug(logInfo) {

  if (!true) {

    console.log(logInfo);

  }

}

function showContentPane() {

  // add function for cleanup, first unbind any old function

  $('#contentPaneBackground').unbind().click(hideContentPane).show();

  $('#contentPane').show().focus();

}

function hideContentPane(event) {

  // hide the content pane on mouse click outside the content pane

  // or when pressing the "Esc" or "c" key with the content pane focused

  if (event.type == "click" || escKeyPressed(event) || cKeyPressed(event)) {

    $('#contentPaneBackground').hide();

    $('#contentPane').hide().empty();

  }

}

function escKeyPressed(event) {

  return event.keyCode == 27;

}

function cKeyPressed(event) {

  // only "c" is pressed, not in combination with Ctrl-key

  return (event.keyCode == 67 && event.ctrlKey == false);

}

function fKeyPressed(event) {

  // only "f" is pressed, not in combination with Ctrl-key

  return (event.keyCode == 70 && event.ctrlKey == false);

}

// input: the index of the column in the table

function getNameOfTest(column) {

  var test = columnsToTest[column-1];

  return getNameOfTestDirect(test);

}

function getNameOfTestDirect(test) {

  return test.tool + ' '

       + (test.date ? test.date + ' ' : '')

       + test.name

       + (test.benchmarkname ? '.' + test.benchmarkname : '');

}

$(document).ready(function() {

  $('body').keydown(hideContentPane);

});

</script>

<!-- ################## Make links load via AJAX and show content in extra panel ################## -->

<style type="text/css">

  #contentPane > pre#content {

    width: 100%;

    height: 100%;

    margin: 0;

  }

</style>

<script type="text/javascript">

function loadContentWrapper(event) {

  var url = $(event.target).attr("href");

  loadContent(url);

  return false;

}

function loadContent(url) {

  var contentPane = $('<pre id="content"></pre>').appendTo("#contentPane")

  $.ajax({

    async: false, // wait for isError

    url: url,

    cache: false,

    dataType: "text",

    beforeSend: function() {

      showContentPane();

      contentPane.html("loading...");

    },

    success: function(text) {

      newtext = text.replace(/&/g, "&")

                    .replace(/"/g, """)

                    .replace(/</g, "<")

                    .replace(/>/g, ">")

                    .replace(/\\n/g, "<br>");

      contentPane.html(newtext);

    },

    error: function() {

      contentPane.html("error while loading content.<br>" +

        "this could be a problem of the 'same-origin-policy' of your browser.<br><br>" +

        "only firefox seems to be able to access files from local directories<br>" +

        "and this works only if the file is in the same directory as this website.<br><br>" +

        "you can try to download the file: <a href=" + url + ">" + url + "</a>");

    },

  });

}

$(document).ready(function() {

  var cellsWithUrls = $('a');

  cellsWithUrls.each(

    function(index, elem) {

      $(elem).click(highlightCell).click(loadContentWrapper);

    });

});

</script>

<!-- ################## Possibility to select displayed columns by clicking on left-most cell in title row ################## -->

<style type="text/css">

  #toggleTable { margin: auto; }

  #toggleTable td { padding-bottom: 5px; padding-top: 5px; }

  #toggleTable tr:hover { background-color: transparent; }

  #toggleTable tbody td:first-child { font-family: arial, sans serif; }

  #toggleTableWrapper { height: 100%; overflow: auto; width: 100%; }

  .hiddenCell { background: red; }

  .visibleCell { background: green; }

  .clickableCell:hover { opacity: 0.5; cursor: pointer; }

</style>

<script type="text/javascript">

// a two-dimensional array of all the cells in the table header,

// but each cell occurs as often in a row as its colspan attribute says

var headerAndFooterArray = null;

function createHeaderAndFooterArray() {

  headerAndFooterArray = [];

  var rows = $('#dataTable > thead > tr, #dataTable > tfoot > tr');

  for (var i=0; i<rows.length; i++) {

    var rowIndices = expandColSpanToNums(rows[i]);

    headerAndFooterArray.push(rowIndices);

  }

}

function expandColSpanToNums(row) {

  var list = [];

  for (var i=0; i<row.cells.length; i++) {

    for (var j=0; j<parseInt(row.cells[i].colSpan); j++) {

      list.push($(row.cells[i]));

    }

  }

  return list;

}

function incColspan(col) {

  var span = parseInt(col.attr("colspan"));

  if (span == 0) { col.show(); }

  col.attr("colspan", span + 1);

}

function decColspan(col) {

  var span = col.attr("colspan");

  span = (span == undefined) ? 1 : parseInt(span);

  col.attr("colspan", span - 1);

  if (span == 1) { col.hide(); }

}

// this function shows or hides a column and enlarges or shrinks the header-columns

// @param index: index of a column in row "columnTitle"

function toggleColumn (shouldBeVisible, index) {

    if (headerAndFooterArray == null) { createHeaderAndFooterArray(); }

    var columnTitles = $('#columnTitles > td');

    // if column is hidden (or visible), we do not hide (or show) it again

    if ($(columnTitles[index]).is(":visible") != shouldBeVisible) {

        for (var i=0; i<headerAndFooterArray.length; i++) {

            var cell = headerAndFooterArray[i][index];

            shouldBeVisible ? incColspan(cell) : decColspan(cell);

        }

        var childIndex = index+1; // first child is number 1

        var children = $("#dataTable > tbody > tr > td:nth-child(" + childIndex + ")");

        shouldBeVisible ? children.show() : children.hide();

    }

}

// "id->cell", "id" is the columnIndex in the dataTable,

// "cell" is the jQuery-object of the cell of the column-toggle-table

var indexToCell = {};

// this function toggles a list of cells and 

// makes the cells equally toggled to the first cell

function toggleCells(indices) {

    var checked = indexToCell[indices[0]].isChecked; 

    for (var i=0; i<indices.length; i++) {

        var cell = indexToCell[indices[i]];

        toggleColumn (!checked, indices[i]);

        cell.removeClass(!checked ? 'hiddenCell' : 'visibleCell')

            .addClass(checked ? 'hiddenCell' : 'visibleCell');

        cell.isChecked = !checked;

    }

}

function createColumnToggleView() {

    // collect all columns

    var tableColumns = [];

    var titlesToColumns = {};

    var columnIndex = 1; // column 1 is the first data-column

    for (var i = 0; i < tests.length; i++) {

        var test = tests[i];

        test.indexToColumn = {} // from test-column-index to table-index

        test.indices = [] // equal to values from test.indexToColumn

        var cols = columns[i];

        for (var j = 0; j < cols.length; j++, columnIndex++) {

            var title = cols[j];

            var index = tableColumns.indexOf(title);

            if (title in titlesToColumns) {

                titlesToColumns[title].push(columnIndex);

            } else { // new title

                // assert(index == -1);

                titlesToColumns[title] = [columnIndex];

                tableColumns.push(title);

                index = tableColumns.length - 1; // index of last position

            }

            test.indexToColumn[index] = columnIndex;

            test.indices.push(columnIndex);

        }

    }

    // create header for table

    var list = []; for (var i=1; i<columnIndex; i++) { list.push(i); }

    var rowHeader = $('<tr>');

    $('<td>') // create top-left cell

        .click( {indices: list},

                function(event) { toggleCells(event.data.indices); } )

        .addClass('clickable')

        .attr('title', 'Click here to toggle all columns')

        .appendTo(rowHeader);

    for (var j = 0; j < tableColumns.length; j++) {

        $('<td>').append(tableColumns[j]) // create column-title-cell

            .click( {indices: titlesToColumns[tableColumns[j]]}, 

                    function(event) { toggleCells(event.data.indices); } )

            .addClass('clickable')

            .attr('title', 'Click here to toggle all columns with this title')

            .appendTo(rowHeader);

    }

    var tableHTML = $('<table>').attr('id', 'toggleTable')

                    .append($('<thead>').append(rowHeader));

    // create body for table

    var tableBody = $('<tbody>').appendTo(tableHTML);

    for (var i = 0; i < tests.length; i++) {

        rowHTML = $('<tr>').appendTo(tableBody);

        var test = tests[i];

        // get indices of row and create rowTitle-cell

        var rowTitle = test.tool + ' ' + (test.date ? test.date + ' ' : '') + test.name;

        $('<td>').append(rowTitle)

            .click( {indices: test.indices}, 

                    function(event) { toggleCells(event.data.indices); } )

            .addClass('clickable')

            .attr('title', 'Click here to toggle all columns of this test')

            .appendTo(rowHTML);

        // get cells of row

        var cols = columns[i];

        for (var j = 0; j < tableColumns.length; j++) {

            var cell = $('<td>').appendTo(rowHTML);

            var index = test.indexToColumn[j];

            if (index) {

                indexToCell[index] = cell;

                var childIndex = index + 1;

                var checked = $('#columnTitles > td:nth-child(' + childIndex + ')').is(':visible');

                cell.isChecked = checked;

                cell.addClass(checked ? 'visibleCell' : 'hiddenCell')

                    .click( {index: [index]}, 

                            function(event) { toggleCells(event.data.index); } )

                    .addClass('clickableCell');

            }

        }

    }

    $('<div>').attr('id', 'toggleTableWrapper')

              .append(tableHTML)

              .appendTo($("#contentPane"));

    showContentPane();

}

$(document).ready(function() {

  $('.columnTitles > td:first-child')

    .addClass("clickable")

    .attr("title", "Click here to toggle visibility of columns")

    .click(function (event) {

        return createColumnToggleView(); });

});

</script>

<!-- ################## Possibility to select displayed rows by pressing f ################## -->

<style type="text/css">

  button:hover { cursor: pointer; }

  #rowFilterButtons ul { list-style-type:none }

  #rowFilterSelector   { position:absolute; top:20px; right:140px; width:100px; height:300px; }

  #button-filter-reset { position:absolute; top:20px; right:20px; width:100px; height:30px; }

  #button-filter-all   { position:absolute; top:60px; right:20px; width:100px; height:30px; }

  #button-filter-none  { position:absolute; top:100px; right:20px; width:100px; height:30px; }

  #button-filter-start { position:absolute; top:140px; right:20px; width:100px; height:30px; }

</style>

<script type="text/javascript">

function createRowFilterButtons() {

  $("#contentPane").empty();

  var buttonList = $('<form>', {id:'rowFilterButtons', onsubmit:'return false'})

        .appendTo($("#contentPane"));

  var columnIndex = 1; // columns start with 1

  for (var i = 0; i < tests.length; i++) {

    var test = tests[i];

    var sublist = $('<ul>').text(getNameOfTest(columnIndex)).appendTo(buttonList);

    for (var j = 0; j < test.columns.length; j++, columnIndex++) {

      var target = 'check' + columnIndex;

      var button = $('<input>', {

                    type:'radio', name:'filter', id:target, 

                    onclick:('fillRowFilterField(' + columnIndex + ')')});

      var label = $('<label>', {for:target}).text(test.columns[j]).addClass("clickable");

      $('<li>').append(button).append(label).appendTo(sublist);

    }

  }

  $('<button>').text('reset filter').attr('id', 'button-filter-reset')

        .attr('title', 'Click here to restore the complete table')

        .click(function(){ 

                var dataRows = $('#dataTable > tbody')[0].rows;

                for (var i = 0; i < dataRows.length; i++) {

                    $(dataRows[i]).show();

                }

                // delete outdated elements and selections

                removeFilterButtons();

                $('#rowFilterButtons input').each(function(_, elem) {elem.checked=false;})

            })

        .appendTo($("#contentPane"));

  showContentPane();

}

function fillRowFilterField(columnIndex) {

    // determinate options

    var options = [];

    var columnName = $('#columnTitles')[0].cells[columnIndex].textContent;

    if (columnName == 'status') {

        options = options.concat(['correct', 'wrong', 'unknown']);        

    }

    $('#dataTable > tbody > tr').filter(':visible').each(function(_, row) {

        currentValue = row.cells[columnIndex].textContent;

        if (jQuery.inArray(currentValue, options) === -1) {

            options.push(currentValue);

        }

    });

    // sort options, in most cases we have numbers

    options.sort( function(a, b) {

        if (a == null || isNaN(a)) return 1;

        if (b == null || isNaN(b)) return -1;

        return a - b;

    } );

    // delete old elements

    removeFilterButtons();

    // create new selection field with options

    var rowFilter = $('<select>').attr('id', 'rowFilterSelector')

        .attr('multiple', 'multiple').appendTo($('#contentPane'));

    $.each(options, function(_, option) {

        rowFilter.append(new Option(option, option));

    });

    $('<button>').text('select all').attr('id', 'button-filter-all')

        .attr('title', 'Click here to select all values')

        .click(function(){ $('#rowFilterSelector option').attr('selected',true); })

        .appendTo($('#contentPane'));

    $('<button>').text('select none').attr('id', 'button-filter-none')

        .attr('title', 'Click here to deselect all values')

        .click(function(){ $('#rowFilterSelector option').attr('selected',false); })

        .appendTo($('#contentPane'));

    $('<button>').text('apply filter').attr('id', 'button-filter-start')

        .attr('title', 'Click here to filter all matching rows in the table. ' +

                       'If you select multiple values, a row is shown, if any value matches')

        .click(function(){ 

                        hideRows(rowFilter.val() || [], columnIndex); 

                        // clean and hide contentPane

                        $('#contentPaneBackground').hide();

                        $('#contentPane').hide().empty();

                    })

        .appendTo($('#contentPane'));

}

function removeFilterButtons() {

    $('#rowFilterSelector, #button-filter-all, #button-filter-none, #button-filter-start').remove();

}

/* this function hides all rows, 

in which the column with the columnIndex does not match one of the values. */

function hideRows(values, columnIndex) {

    var columnName = $('#columnTitles')[0].cells[columnIndex].textContent;

    var dataRows = $('#dataTable > tbody')[0].rows;

    for (var i = 0; i < dataRows.length; i++) {

        var row = dataRows[i];

        var isVisible = false;

        // show all matching rows

        if (jQuery.inArray(row.cells[columnIndex].textContent, values) != -1) {

            isVisible = true;

        }

        // special case: show 'correct', 'wrong' and 'unknown' results

        if (!isVisible && columnName == 'status') {

            var classNames = row.cells[columnIndex].className.split(' ');

            for (var j = 0; j < values.length; j++) {

                var value = values[j];

                switch (value) {

                    case 'correct':

                    case 'wrong':

                        if (anyStartsWith(value, classNames)) {

                            isVisible = true;

                        }

                        break;

                    case 'unknown':

                        if (!anyStartsWith('correct', classNames) && !anyStartsWith('wrong', classNames)) {

                            isVisible = true;

                        }

                        break;

                    default: // do nothing, inVisible=false

                }

            }

        }

        if (!isVisible) $(row).hide();

    }

}

function anyStartsWith(key, values) {

    for (var i = 0; i < values.length; i++) {

        if (values[i].indexOf(key) == 0) { return true; }

    }

    return false;

}

$(document).ready(function() {

  $('body').keydown(function (event) {

                      if (fKeyPressed(event))

                        return createRowFilterButtons();

                      });

});

</script>

<!-- ################## Everything related to showing plots of the data ################## -->

<script type="text/javascript" src="http://www.sosy-lab.org/lib/jquery.jqplot-1.0.0b2_r1012/jquery.jqplot.min.js"></script>

<script type="text/javascript" src="http://www.sosy-lab.org/lib/jquery.jqplot-1.0.0b2_r1012/jqplot.highlighter.min.js"></script>

<script type="text/javascript" src="http://www.sosy-lab.org/lib/jquery.jqplot-1.0.0b2_r1012/jqplot.cursor.min.js"></script>

<script type="text/javascript" src="http://www.sosy-lab.org/lib/jquery.jqplot-1.0.0b2_r1012/jqplot.canvasTextRenderer.min.js"></script>

<script type="text/javascript" src="http://www.sosy-lab.org/lib/jquery.jqplot-1.0.0b2_r1012/jqplot.canvasAxisTickRenderer.min.js"></script>

<script type="text/javascript" src="http://www.sosy-lab.org/lib/jquery.jqplot-1.0.0b2_r1012/jqplot.enhancedLegendRenderer.min.js"></script>

<script type="text/javascript" src="http://www.sosy-lab.org/lib/jquery.jqplot-1.0.0b2_r1012/jqplot.logAxisRenderer.min.js"></script>

<script type="text/javascript" src="http://www.sosy-lab.org/lib/jquery.jqplot-1.0.0b2_r1012/jqplot.canvasAxisLabelRenderer.min.js"></script>

<script type="text/javascript" src="http://www.sosy-lab.org/lib/jquery.jqplot-1.0.0b2_r1012/jqplot.canvasOverlay.min.js"></script>

<link rel="stylesheet" type="text/css" href="http://www.sosy-lab.org/lib/jquery.jqplot-1.0.0b2_r1012/jquery.jqplot.min.css"/>

<style type="text/css">

  .jqplot-title {font-family:arial, sans serif; font-size:large; z-index:10 }

  .jqplot-table-legend-swatch {width:20px; height:15px }

  .jqplot-table-legend { border-style:none; outline:none }

  .jqplot-table-legend tbody { border-style:none }

  .jqplot-table-legend tbody tr td { border-top:none; cursor:pointer }

  .jqplot-highlighter-tooltip {font-family:arial, sans serif; font-size:large;

           border:solid 1px black; padding:2px;

           border-radius:8px; border-bottom-left-radius:0px;

           background-color:white; opacity:0.8; }

  .jqplot-table-legend { text-align: left; }

  table.jqplot-table-legend[style] { position:absolute; left:auto !important; right:0px !important; } /* overrides inner css-style */

  #chart { height:100%; width:100% }

  #button-quantile { position:absolute; bottom:50px; }

  #button-logScale { position:absolute; bottom:25px; }

  #button-showCorrectOnly { position:absolute; bottom:0px; }

  .scatterplot-selector { width:30%; }

</style>

<script type="text/javascript">

// simple structure, that contains all data for the plot

var graphData = {

  target : null,

  isRunSet : null,

  filenames : null,

  indices : null, // columns from table

  data : null, // values are sorted if quantilePlot else not sorted, indizes always from 0 to N

  originalData : null, // values are equal to data, but indizes are not sorted

  integerOnly : null,

  minValue : null,

  maxValue : null,

  isQuantile : true,

  isLogScale : true,

  showCorrectOnly : true,

};

// this function collects the indices of columns with target as cell above the column

function getColumnIndicesForTarget(target) {

  var columnIndizes = [];

  var cells = document.getElementById('columnTitles').cells;

  if (graphData.isRunSet) {

    var index = $(target).index(); // index of runset relative to table-row

    for (i = 1; i < cells.length; i++) { // skip first cell

      if ($(cells[i]).is(":visible")) {

        if ("status" != cells[i].textContent

            && tests[index-1] === columnsToTest[i-1]) {

          columnIndizes.push(i);

        }

      }

    }

  } else {

    for (i = 1; i < cells.length; i++) { // skip first cell

      if ($(cells[i]).is(":visible")) {

        if (target.textContent == cells[i].textContent) {

          columnIndizes.push(i);

        }

      }

    }

  }

  return columnIndizes;

};

// collectTableData collects some data for the graphData,

// this function must be called as first function for working with the plot

function collectTableData() {

  var data = [];

  graphData.indices = getColumnIndicesForTarget(graphData.target);

  for (j = 0; j < graphData.indices.length; j++) {

    data.push([]);

  }

  // reset graphData

  graphData.filenames = [];

  graphData.integerOnly = true;

  graphData.minValue = Number.POSITIVE_INFINITY;

  graphData.maxValue = Number.NEGATIVE_INFINITY;

  var rows = $('#dataTable > tbody > tr:visible');

  for (i = 0; i < rows.length; i++) {

    var currentRow = rows[i];

    graphData.filenames.push(currentRow.cells[0].textContent);

    for (j = 0; j < graphData.indices.length; j++) {

      var index = graphData.indices[j];

      var currentCell = $(currentRow.cells[index]);

      var value = getValue(currentCell, graphData.target.textContent);

      // each array is of the form: [[id1, value1], [id2, value2], ...]

      data[j].push([i, value]);

    }

  }

  graphData.originalData = data;

  graphData.data = graphData.isQuantile ? sortData(data) : data;

};

// this method returns sorted data for showQuantile().

function sortData(data) {

  var newData = [];

  for (i = 0; i < data.length; i++) {

    var line = data[i];

    // line has the structur [[0, v0],[1, v1],[2, v2]]

    // we sort the second entry of each element

    // we sort 'inplace', important for highlighting points,

    // compare numbers, NaN and Null are handled as positive infinity

    line.sort( function(a, b) {

      if (a[1] == null || isNaN(a[1])) return 1;

      if (b[1] == null || isNaN(b[1])) return -1;

      return a[1] - b[1];

    } );

    // create new indizes

    var newLine = [];

    for (j = 0; j < line.length; j++) {

      newLine.push([j, line[j][1]]);

    }

    newData.push(newLine);

  }

  return newData;

}

// returns the textcontent of a cell as numeral

function getValue(cell, title) {

    var value;

    if (graphData.showCorrectOnly && !cell.hasClass('correct')) {

        value = Number.NaN;  // using 'null' as unknown value causes problems in the plot

    } else if (title === 'status') {

        if (cell.hasClass('correct'))     value = 1;

        else if (cell.hasClass('wrong'))  value = -1;

        else                              value = 0;

    } else {

        value = parseFloat(cell.text());

        valueInt = parseInt(cell.text());

        // collect some information, used later for tick-formatter

        if (!isNaN(value)) {

            if (value != valueInt){ graphData.integerOnly = false; }

            if (value < graphData.minValue) { graphData.minValue = value; }

            if (value > graphData.maxValue) { graphData.maxValue = value; }

        }

        if (value == 0 && graphData.isLogScale) {

            value = 0.00001; // zero is not part of log-scale

        }

    }

    return value;

}

// this functions collects a list of pairs (a,b) where a and b are the entires for the scatterplot.

// this function must be called as first function for working with the plot.

// collectTableData collects some data for the graphData,

// this function must be called as first function for working with the plot

function collectTableDataForScatter(index1, title1, index2, title2) {

  var data = [[]];

  // reset graphData

  graphData.indices = [];

  graphData.filenames = [];

  graphData.integerOnly = true;

  graphData.minValue = Number.POSITIVE_INFINITY;

  graphData.maxValue = Number.NEGATIVE_INFINITY;

  var rows = $('#dataTable > tbody > tr:visible');

  for (i = 0; i < rows.length; i++) {

    var currentRow = rows[i];

    var cell1 = $(currentRow.cells[index1]);

    var value1 = getValue(cell1, title1);

    var cell2 = $(currentRow.cells[index2]);

    var value2 = getValue(cell2, title2);

    // we need two real numbers

    if (value1 != null && value2 != null && !isNaN(value1) && !isNaN(value2)) {

        var filename = currentRow.cells[0].textContent;

        // each array is of the form: [[id1, value1], [id2, value2], ...], 

        // the third entry is additional info and is used for the highlighter,

        data[0].push([value1, value2, filename]);

    }

  }

  graphData.originalData = data;

  graphData.data = data;

};

// Create a list which indicates at which ticks to draw grid lines

// and which labels to put at the x-axis.

function getXTicks() {

  var xTicks = [];

  var maxLength = 40;

  var numRows = graphData.filenames.length;

  var labelStep = 1;

  var gridStep = 1;

  if (numRows > 30) { labelStep = 5; }

  if (numRows > 200) { labelStep = 10; gridStep = 5; }

  if (numRows > 1000) { labelStep = 20; gridStep = 10; }

  function getLabel(name, index) {

    if (graphData.isQuantile) {

      return index.toString();

    } else {

      if (name.length > maxLength) { name = name.substring(0, maxLength) + "..."; }

      return name;

    }

  }

  for (i = 0; i < numRows; i++) {

    if (!(i%gridStep)) {

        xTicks.push([i, ((i%labelStep)?" ":getLabel(graphData.filenames[i], i))]);

    }

  }

  return xTicks;

}

// get labels for y-direction

function getYTicks() {

  if (graphData.target.textContent == "status") {

    return [[-1.5, " "], [-1, "wrong"], [0, "unknown"], [1, "correct"], [1.5, " "]];

  } else {

    return [];

  }

}

// returns label of a test: 'tool+test+date'.

function getLabels() {

  var labels = [];

  if (graphData.isRunSet) {

      var cells = document.getElementById('columnTitles').cells;

      for (i = 0; i < graphData.indices.length; i++) {

        var index = graphData.indices[i];

        labels.push(cells[index].textContent);

      }

  } else {

      for (i = 0; i < graphData.indices.length; i++) {

        var index = graphData.indices[i];

        labels.push(getNameOfTest(index));

      }

  }

  return labels;

};

function addLegendActions() {

  var legendButtons = $('tr.jqplot-table-legend');

  var seriesLines = $('canvas.jqplot-series-canvas');

  // assertion

  if (legendButtons.length != seriesLines.length) {

    debug("ERROR: number of series does not match buttons!");

  }

  for (i = 0; i<legendButtons.length; i++) {

    var currentButton = legendButtons[i];

    var currentLine = seriesLines[i];

    currentButton.onclick = function(event) {

      var hideOpacity = 0.3;

      if (this.style.opacity == hideOpacity) {

        this.style.opacity = 1;

      } else {

        this.style.opacity = hideOpacity;

      }

    }

    currentButton.onmouseover = function(line) {

      return function(event) { line.style.zIndex = 5; }

    }(currentLine);

    currentButton.onmouseout = function(line) {

      return function(event) { line.style.zIndex = 0; }

    }(currentLine);

  }

}

function highlightFormatter(str, seriesIndex, pointIndex) {

    var numberOfFile = graphData.originalData[seriesIndex][pointIndex][0];

    var filename = graphData.filenames[numberOfFile];

    if (graphData.target.textContent == "status") {

      if (str == 1)       str = "correct";

      else if (str == 0)  str = "unknown";

      else                str = "wrong";

    }

    return filename + "<br>" + str;

}

function highlightFormatterForScatter(str, seriesIndex, pointIndex, plot) {

    var point = plot.series[seriesIndex].data[pointIndex]; // POINT=[x,y,filename]

    // console.log(point);

    if (graphData.target.textContent == "status") { // TODO not working, we have 2 independent values

      if (str == 1)       str = "correct";

      else if (str == 0)  str = "unknown";

      else                str = "wrong";

    }

    return point[2] + "<br>X: " + point[0] + "<br>Y: " + point[1]; // + "<br>STR: " + str;

}

function getYTicksFormat() {

    if (graphData.integerOnly) { return '%.0f'; }

    if (graphData.isLogScale) {

        if (graphData.minValue >= 1) { return '%.0f'; }

        else if (graphData.minValue >= 0.1) { return '%.1f'; }

        else { return '%.2f'; }

    } else {

        return (graphData.maxValue >= 10) ? '%.0f' : '%.2f';

    }

}

function addButtons(target, callback, showQuantileButton) {

    if (showQuantileButton) {

        $('<button>', {id:'button-quantile'}).appendTo(target)

            .click(function() { graphData.isQuantile = !graphData.isQuantile; callback();})

            .text(graphData.isQuantile ? 'Switch to Direct Plot' : 'Switch to Quantile Plot');

    }

    $('<button>', {id:'button-logScale'}).appendTo(target)

        .click(function() { graphData.isLogScale = !graphData.isLogScale; callback();})

        .text(graphData.isLogScale ?  'Switch to Linear Scale' : 'Switch to Logarithmic Scale');

    $('<button>', {id:'button-showCorrectOnly'}).appendTo(target)

        .click(function() { graphData.showCorrectOnly = !graphData.showCorrectOnly; callback();})

        .text(graphData.showCorrectOnly ?  'Switch to All Results' : 'Switch to Correct Results Only');

}

function getSelectorForScatter(identifier) {

    var select = $('<select>', {class:'scatterplot-selector'});

    var columnIndex = 1; // columns start with 1

    for (var i = 0; i < tests.length; i++) {

        var test = tests[i];

        var group = $('<optgroup>', {label:getNameOfTestDirect(test)})

                .appendTo(select);

        for (var j = 0; j < test.columns.length; j++, columnIndex++) {

            var column = test.columns[j];

            var option = $('<option>', {

                            value:columnIndex, 

                            selected:(graphData.target[identifier] == columnIndex)})

                        .text(column).appendTo(group);

        }

    }

    select.change(function(){

        var selectedValue = Number(select.find(':selected')[0].value);

        graphData.target[identifier] = selectedValue;

        showScatterPlot();

    });

    return select;

}

function showScatterPlot() {

  $('#contentPaneBackground').trigger('click'); // cleanup

  var contentPane = $('#contentPane').append('<div id="chart"></div>');

  addButtons(contentPane, showScatterPlot, false);

  showContentPane();

  // the identifier '0/1' is the arrayindex in 'graphData.target',

  // it identifies the first and second selector

  var selector0 = getSelectorForScatter(0); 

  var selector1 = getSelectorForScatter(1);

  var index0 = graphData.target[0];

  var index1 = graphData.target[1];

  var titles = $('#columnTitles').children();

  var title0 = titles[index0].textContent;

  var title1 = titles[index1].textContent;

  var label0 = getNameOfTest(index0) + " " + title0;

  var label1 = getNameOfTest(index1) + " " + title1;

  collectTableDataForScatter(index0, title0, index1, title1);

  var maxValue = graphData.maxValue * 100; // should be bigger than all measurable values

  var minValue = graphData.isLogScale ? 0.0000001 : (-maxValue); // there is no zero in logscale

  var plot = $.jqplot('chart', graphData.data, {

    title: 'ScatterPlot: ',

    legend: {

      show:false,

    },

    highlighter:{

      yvalues: 2,   // we have one extra value in the array

      show: true,

      sizeAdjust: 10,

      showMarker: true,

      tooltipAxes: 'y',

      tooltipLocation: 'ne',

      tooltipContentEditor: highlightFormatterForScatter, // functionPointer!

      tooltipFormatString: '%s', // how to format the y-value

      useAxesFormatters: false

    },

    seriesDefaults:{

      showLine:false,

      shadow: false,

    },

    cursor:{

      show: false,

      zoom: false,

      showTooltip: false,

    },

    axes:{

      xaxis:{

        label:label0,

        labelRenderer: $.jqplot.CanvasAxisLabelRenderer,

        labelOptions:{ textColor:'Black' },

        renderer: (graphData.isLogScale && title0 !== 'status') ? $.jqplot.LogAxisRenderer : $.jqplot.LinearAxisRenderer,

        tickRenderer: $.jqplot.CanvasAxisTickRenderer,

        tickOptions: {

          angle: -60,

        }

      },

      yaxis:{

        label:label1,

        labelRenderer: $.jqplot.CanvasAxisLabelRenderer,

        labelOptions:{ textColor:'Black' },

        renderer: (graphData.isLogScale && title1 !== 'status') ? $.jqplot.LogAxisRenderer : $.jqplot.LinearAxisRenderer,

        pad: 1.2,

        tickRenderer: $.jqplot.CanvasAxisTickRenderer,

        tickOptions:{

          formatString: getYTicksFormat()

        }

      }

    },

    canvasOverlay: {

        show: true,

        objects: [

            {line: {

                name: 'diagonalLine',

                lineWidth: 1,

                color: 'red',

                shadow: false,

                start: [minValue, minValue],

                stop: [maxValue, maxValue],

            } },

        ]

    }

  });

  $('.jqplot-title').empty()

        .append('X: ').append(selector0)

        .append('<span style="padding-left:50px"></span>') // some space between the selectors

        .append('Y: ').append(selector1);

  $('#contentPaneBackground').click(function(event) {

    plot.destroy();

    $('#chart').empty();

  });

};

function showPlot() {

  $('#contentPaneBackground').trigger('click'); // cleanup

  $('#contentPane').append('<div id="chart"></div>');

  addButtons($('#contentPane'), showPlot, true);

  showContentPane();

  collectTableData();

  var plot = $.jqplot('chart', graphData.data, {

    title: graphData.target.textContent,

    legend: {

      show:true,

      placement: 'outsideGrid',

      renderer: $.jqplot.EnhancedLegendRenderer,

      labels: getLabels(),

      location: 's',

      rowSpacing: "0px",

      showSwatches: true,

    },

    highlighter:{

      show: true,

      sizeAdjust: 10,

      showMarker: true,

      tooltipAxes: 'y',

      tooltipLocation: 'ne',

      tooltipContentEditor: highlightFormatter, // functionPointer!

      tooltipFormatString: '%s',

      useAxesFormatters: false

    },

    seriesDefaults:{

      shadow: false,

    },

    cursor:{

      show: false,

      zoom: false,

      showTooltip: false,

    },

    axes:{

      xaxis:{

        ticks: getXTicks(),

        tickRenderer: $.jqplot.CanvasAxisTickRenderer,

        tickOptions: {

          fontSize: '9px',

          angle: -60,

        }

      },

      yaxis:{

        ticks: getYTicks(),

        renderer: (graphData.isLogScale && graphData.target.textContent !== 'status') ? $.jqplot.LogAxisRenderer : $.jqplot.LinearAxisRenderer,

        pad: 1.2,

        tickOptions:{

          formatString: getYTicksFormat()

        }

      }

    },

  });

  addLegendActions();

  $('#contentPaneBackground').click(function(event) {

    plot.destroy();

    $('#chart').empty();

  });

};

// this function adds the listeners to the table

$(document).ready(function() {

  $('.columnTitles > td:not(:first-child)') // do not use first column

      .addClass("clickable")

      .attr("title", "Click here to show a graph of this column")

      .click(function (event) {

            graphData.target = event.target;

            graphData.isRunSet = false;

            showPlot();

      });

  $('.run > td:not(:first-child)') // do not use first column

      .addClass("clickable")

      .attr("title", "Click here to show a graph of this run-set")

      .click(function (event) {

            graphData.target = event.target;

            graphData.isRunSet = true;

            showPlot();

      });

  $('.run > td:first-child')

      .addClass("clickable")

      .attr("title", "Click here to show some scatter-graphs")

      .click(function (event) {

            graphData.target = [1,1]; // default indices of the columns in the plot

            graphData.isRunSet = false;

            showScatterPlot();

      });

});

</script>

<!-- ################## Base HTML ################## -->

<title>results.13-08-26_1347 differences</title>

</head>

<body>

<div id="contentPaneBackground"></div>

<div id="contentPane"></div>

<table id="dataTable">

<thead>

  <tr id="tool" class="tool">

    <td>Tool</td>

    <td colspan="6">CPAchecker 1.2-svn e5c9ef1</td>

    <td colspan="18">CPAchecker 1.2-svn e5c9ef1+</td>

  </tr>

  <tr id="limits" class="limits">

    <td>Limits</td>

    <td colspan="24">timelimit: 1800 s, memlimit: 12000 MB, CPU core limit: None</td>

  </tr>

  <tr id="host" class="host">

    <td>Host</td>

    <td colspan="24">molnar</td>

  </tr>

  <tr id="os" class="os">

    <td>OS</td>

    <td colspan="24">Linux 3.2.0-52-generic x86_64</td>

  </tr>

  <tr id="system" class="system">

    <td>System</td>

    <td colspan="24">CPU: Intel(R) Core(TM) i7-3770 CPU @ 3.40GHz with 4 cores, frequency: 3401 MHz; RAM: 16385312 kB</td>

  </tr>

  <tr id="date" class="date">

    <td>Date of execution</td>

    <td colspan="6">13-08-22 15:32</td>

    <td colspan="6">13-08-23 21:42</td>

    <td colspan="6">13-08-23 14:54</td>

    <td colspan="6">13-08-22 18:48</td>

  </tr>

  <tr id="run" class="run">

    <td>Run set</td>

    <td colspan="6">benchmark-cpachecker-dd64-predicate-replace.with-output-files</td>

    <td colspan="6">benchmark-cpachecker-dd64-predicate.with-output-files</td>

    <td colspan="6">benchmark-cpachecker-dd64-ppreds-integrated.with-output-files</td>

    <td colspan="6">benchmark-cpachecker-dd64-ppreds-integrated-replace.with-output-files</td>

  </tr>

  <tr id="options" class="options">

    <td>Options</td>

    <td colspan="6">-heap 9000M<br/>-config /home/mikhail/repos/cpachecker/config/predicateAnalysis-PredAbsRefiner-ABEl.properties<br/>-spec /home/mikhail/repos/cpachecker/config/specification/sv-comp.spc<br/>-setprop output.path=<wbr/>test/results/${benchmark_name}.${benchmark_date}.output/${sourcefile_name}/<br/>-setprop analysis.machineModel=<wbr/>LINUX32<br/>-setprop output.disable=<wbr/>true<br/>-setprop log.level=<wbr/>OFF<br/>-setprop analysis.summaryEdges=<wbr/>true<br/>-setprop analysis.functionPointerCalls=<wbr/>true<br/>-setprop cpa.callstack.skipRecursion=<wbr/>true<br/>-setprop cpa.conditions.global.time.wall=<wbr/>-1<br/>-disable-java-assertions</td>

    <td colspan="6">-heap 9000M<br/>-config /home/mikhail/repos/cpachecker/config/predicateAnalysis-PredAbsRefiner-ABEl-bv.properties<br/>-spec /home/mikhail/repos/cpachecker/config/specification/sv-comp.spc<br/>-setprop output.path=<wbr/>test/results/${benchmark_name}.${benchmark_date}.output/${sourcefile_name}/<br/>-setprop analysis.machineModel=<wbr/>LINUX32<br/>-setprop output.disable=<wbr/>true<br/>-setprop log.level=<wbr/>OFF<br/>-setprop analysis.summaryEdges=<wbr/>true<br/>-setprop analysis.functionPointerCalls=<wbr/>true<br/>-setprop cpa.callstack.skipRecursion=<wbr/>true<br/>-setprop cpa.conditions.global.time.wall=<wbr/>-1<br/>-disable-java-assertions</td>

    <td colspan="6">-heap 9000M<br/>-config /home/mikhail/repos/cpachecker/config/predicateAnalysis-PredAbsRefiner-ABEl-UF.properties<br/>-spec /home/mikhail/repos/cpachecker/config/specification/sv-comp.spc<br/>-setprop output.path=<wbr/>test/results/${benchmark_name}.${benchmark_date}.output/${sourcefile_name}/<br/>-setprop analysis.machineModel=<wbr/>LINUX32<br/>-setprop output.disable=<wbr/>true<br/>-setprop log.level=<wbr/>OFF<br/>-setprop cpa.predicate.refinement.dumpInterpolationProblems=<wbr/>false<br/>-disable-java-assertions</td>

    <td colspan="6">-heap 9000M<br/>-config /home/mikhail/repos/cpachecker/config/predicateAnalysis-PredAbsRefiner-ABEl-UF-replace.properties<br/>-spec /home/mikhail/repos/cpachecker/config/specification/sv-comp.spc<br/>-setprop output.path=<wbr/>test/results/${benchmark_name}.${benchmark_date}.output/${sourcefile_name}/<br/>-setprop analysis.machineModel=<wbr/>LINUX32<br/>-setprop output.disable=<wbr/>true<br/>-setprop log.level=<wbr/>OFF<br/>-disable-java-assertions</td>

  </tr>

  <tr id="columnTitles" class="columnTitles">

    <td>dd64/</td>

    <td colspan="1">status</td>

    <td colspan="1">cputime</td>

    <td colspan="1">walltime</td>

    <td colspan="1">memUsage</td>

    <td colspan="1">total</td>

    <td colspan="1">reached</td>

    <td colspan="1">status</td>

    <td colspan="1">cputime</td>

    <td colspan="1">walltime</td>

    <td colspan="1">memUsage</td>

    <td colspan="1">total</td>

    <td colspan="1">reached</td>

    <td colspan="1">status</td>

    <td colspan="1">cputime</td>

    <td colspan="1">walltime</td>

    <td colspan="1">memUsage</td>

    <td colspan="1">total</td>

    <td colspan="1">reached</td>

    <td colspan="1">status</td>

    <td colspan="1">cputime</td>

    <td colspan="1">walltime</td>

    <td colspan="1">memUsage</td>

    <td colspan="1">total</td>

    <td colspan="1">reached</td>

  </tr>

</thead>

<tbody>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-atm-eni.ko_safe.cil.out.i.pp.i">module_get_put-drivers-atm-eni.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-atm-eni.ko_safe.cil.out.i.pp.i.log">out of memory</a></td>

  <td class="errorValue">1355.59</td>

  <td class="errorValue">1052.54</td>

  <td class="errorValue">12582912000</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-atm-eni.ko_safe.cil.out.i.pp.i.log">out of memory</a></td>

  <td class="errorValue">900.32</td>

  <td class="errorValue">837.00</td>

  <td class="errorValue">12582912000</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-atm-eni.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">976.92</td>

  <td class="correct safeValue">744.85</td>

  <td class="correct safeValue">6946463744</td>

  <td class="correct safeValue">743.9</td>

  <td class="correct safeValue">5.404s</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-atm-eni.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">1271.25</td>

  <td class="correct safeValue">1054.02</td>

  <td class="correct safeValue">6722072576</td>

  <td class="correct safeValue">1052.8</td>

  <td class="correct safeValue">5.655s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-block-drbd-drbd.ko_safe.cil.out.i.pp.i">module_get_put-drivers-block-drbd-drbd.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-block-drbd-drbd.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">17.56</td>

  <td class="correct safeValue">8.75</td>

  <td class="correct safeValue">546033664</td>

  <td class="correct safeValue">8.1</td>

  <td class="correct safeValue">0.105s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-block-drbd-drbd.ko_safe.cil.out.i.pp.i.log">exception</a></td>

  <td class="errorValue">461.83</td>

  <td class="errorValue">439.48</td>

  <td class="errorValue">1760591872</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-block-drbd-drbd.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">976.76</td>

  <td class="correct safeValue">966.63</td>

  <td class="correct safeValue">1602920448</td>

  <td class="correct safeValue">966.1</td>

  <td class="correct safeValue">0.123s</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-block-drbd-drbd.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">331.98</td>

  <td class="correct safeValue">321.85</td>

  <td class="correct safeValue">1089421312</td>

  <td class="correct safeValue">321.3</td>

  <td class="correct safeValue">0.088s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-block-loop.ko_unsafe.cil.out.i.pp.i">module_get_put-drivers-block-loop.ko_unsafe.cil.out.i.pp.i</a></td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-block-loop.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">10.35</td>

  <td class="correct unsafeValue">6.52</td>

  <td class="correct unsafeValue">219930624</td>

  <td class="correct unsafeValue">6.1</td>

  <td class="correct unsafeValue">0.095s</td>

    <td class="status wrong safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-block-loop.ko_unsafe.cil.out.i.pp.i.log">safe</a></td>

  <td class="wrong safeValue">958.28</td>

  <td class="wrong safeValue">956.70</td>

  <td class="wrong safeValue">3218251776</td>

  <td class="wrong safeValue">956.2</td>

  <td class="wrong safeValue">0.030s</td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-block-loop.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">18.91</td>

  <td class="correct unsafeValue">13.51</td>

  <td class="correct unsafeValue">245899264</td>

  <td class="correct unsafeValue">13.1</td>

  <td class="correct unsafeValue">0.098s</td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-block-loop.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">10.42</td>

  <td class="correct unsafeValue">6.19</td>

  <td class="correct unsafeValue">208281600</td>

  <td class="correct unsafeValue">5.7</td>

  <td class="correct unsafeValue">0.068s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-block-paride-pt.ko_safe.cil.out.i.pp.i">module_get_put-drivers-block-paride-pt.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-block-paride-pt.ko_safe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1792.22</td>

  <td class="errorValue">346.97</td>

  <td class="errorValue">9807613952</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-block-paride-pt.ko_safe.cil.out.i.pp.i.log">out of memory</a></td>

  <td class="errorValue">932.10</td>

  <td class="errorValue">600.32</td>

  <td class="errorValue">12582912000</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-block-paride-pt.ko_safe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1789.06</td>

  <td class="errorValue">499.19</td>

  <td class="errorValue">9932935168</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-block-paride-pt.ko_safe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1800.72</td>

  <td class="errorValue">454.75</td>

  <td class="errorValue">9807069184</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-bluetooth-btmrvl.ko_safe.cil.out.i.pp.i">module_get_put-drivers-bluetooth-btmrvl.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-bluetooth-btmrvl.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">5.23</td>

  <td class="correct safeValue">3.14</td>

  <td class="correct safeValue">165625856</td>

  <td class="correct safeValue">2.7</td>

  <td class="correct safeValue">0.055s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-bluetooth-btmrvl.ko_safe.cil.out.i.pp.i.log">out of memory</a></td>

  <td class="errorValue">198.34</td>

  <td class="errorValue">196.12</td>

  <td class="errorValue">12582912000</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-bluetooth-btmrvl.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">6.76</td>

  <td class="correct safeValue">4.32</td>

  <td class="correct safeValue">208683008</td>

  <td class="correct safeValue">3.9</td>

  <td class="correct safeValue">0.042s</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-bluetooth-btmrvl.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">5.77</td>

  <td class="correct safeValue">3.41</td>

  <td class="correct safeValue">170881024</td>

  <td class="correct safeValue">3.0</td>

  <td class="correct safeValue">0.044s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_safe.cil.out.i.pp.i">module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">8.43</td>

  <td class="correct safeValue">4.73</td>

  <td class="correct safeValue">193134592</td>

  <td class="correct safeValue">4.3</td>

  <td class="correct safeValue">0.066s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_safe.cil.out.i.pp.i.log">exception</a></td>

  <td class="errorValue">4.32</td>

  <td class="errorValue">2.56</td>

  <td class="errorValue">160055296</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">1575.25</td>

  <td class="correct safeValue">1572.61</td>

  <td class="correct safeValue">2680500224</td>

  <td class="correct safeValue">1572.0</td>

  <td class="correct safeValue">0.096s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_safe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1794.20</td>

  <td class="errorValue">1792.76</td>

  <td class="errorValue">2335436800</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-gpu-drm-i915-i915.ko_safe.cil.out.i.pp.i">module_get_put-drivers-gpu-drm-i915-i915.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-gpu-drm-i915-i915.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">28.85</td>

  <td class="correct safeValue">20.58</td>

  <td class="correct safeValue">825298944</td>

  <td class="correct safeValue">20.0</td>

  <td class="correct safeValue">0.110s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-gpu-drm-i915-i915.ko_safe.cil.out.i.pp.i.log">out of memory</a></td>

  <td class="errorValue">660.34</td>

  <td class="errorValue">652.66</td>

  <td class="errorValue">12582912000</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-gpu-drm-i915-i915.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">553.55</td>

  <td class="correct safeValue">544.84</td>

  <td class="correct safeValue">2291986432</td>

  <td class="correct safeValue">544.2</td>

  <td class="correct safeValue">0.113s</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-gpu-drm-i915-i915.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">214.29</td>

  <td class="correct safeValue">200.27</td>

  <td class="correct safeValue">11266121728</td>

  <td class="correct safeValue">199.4</td>

  <td class="correct safeValue">0.116s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-hwmon-it87.ko_safe.cil.out.i.pp.i">module_get_put-drivers-hwmon-it87.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-hwmon-it87.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">6.23</td>

  <td class="correct safeValue">3.83</td>

  <td class="correct safeValue">181272576</td>

  <td class="correct safeValue">3.3</td>

  <td class="correct safeValue">0.059s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-hwmon-it87.ko_safe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1794.09</td>

  <td class="errorValue">1793.27</td>

  <td class="errorValue">11334803456</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-hwmon-it87.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">102.68</td>

  <td class="correct safeValue">99.28</td>

  <td class="correct safeValue">771846144</td>

  <td class="correct safeValue">98.8</td>

  <td class="correct safeValue">0.070s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-hwmon-it87.ko_safe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1794.33</td>

  <td class="errorValue">1793.57</td>

  <td class="errorValue">601190400</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_unsafe.cil.out.i.pp.i">module_get_put-drivers-isdn-mISDN-mISDN_core.ko_unsafe.cil.out.i.pp.i</a></td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-isdn-mISDN-mISDN_core.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">20.00</td>

  <td class="correct unsafeValue">12.88</td>

  <td class="correct unsafeValue">311152640</td>

  <td class="correct unsafeValue">12.4</td>

  <td class="correct unsafeValue">0.072s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-isdn-mISDN-mISDN_core.ko_unsafe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1794.44</td>

  <td class="errorValue">1792.85</td>

  <td class="errorValue">5780303872</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-isdn-mISDN-mISDN_core.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">63.09</td>

  <td class="correct unsafeValue">55.27</td>

  <td class="correct unsafeValue">468897792</td>

  <td class="correct unsafeValue">54.8</td>

  <td class="correct unsafeValue">0.083s</td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-isdn-mISDN-mISDN_core.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">31.65</td>

  <td class="correct unsafeValue">21.87</td>

  <td class="correct unsafeValue">436244480</td>

  <td class="correct unsafeValue">21.4</td>

  <td class="correct unsafeValue">0.096s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-net-atl1c-atl1c.ko_safe.cil.out.i.pp.i">module_get_put-drivers-net-atl1c-atl1c.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-net-atl1c-atl1c.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">32.66</td>

  <td class="correct safeValue">21.45</td>

  <td class="correct safeValue">1047785472</td>

  <td class="correct safeValue">20.7</td>

  <td class="correct safeValue">0.308s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-net-atl1c-atl1c.ko_safe.cil.out.i.pp.i.log">exception</a></td>

  <td class="errorValue">8.36</td>

  <td class="errorValue">5.96</td>

  <td class="errorValue">437846016</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-net-atl1c-atl1c.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">46.46</td>

  <td class="correct safeValue">33.48</td>

  <td class="correct safeValue">1063759872</td>

  <td class="correct safeValue">32.8</td>

  <td class="correct safeValue">0.331s</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-net-atl1c-atl1c.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">36.20</td>

  <td class="correct safeValue">23.29</td>

  <td class="correct safeValue">1044926464</td>

  <td class="correct safeValue">22.5</td>

  <td class="correct safeValue">0.372s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-net-ppp_generic.ko_unsafe.cil.out.i.pp.i">module_get_put-drivers-net-ppp_generic.ko_unsafe.cil.out.i.pp.i</a></td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-net-ppp_generic.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">7.63</td>

  <td class="correct unsafeValue">3.89</td>

  <td class="correct unsafeValue">180699136</td>

  <td class="correct unsafeValue">3.5</td>

  <td class="correct unsafeValue">0.040s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-net-ppp_generic.ko_unsafe.cil.out.i.pp.i.log">out of memory</a></td>

  <td class="errorValue">246.44</td>

  <td class="errorValue">243.20</td>

  <td class="errorValue">12582912000</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-net-ppp_generic.ko_unsafe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1793.58</td>

  <td class="errorValue">1756.34</td>

  <td class="errorValue">1281585152</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-net-ppp_generic.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">13.25</td>

  <td class="correct unsafeValue">7.23</td>

  <td class="correct unsafeValue">211636224</td>

  <td class="correct unsafeValue">6.6</td>

  <td class="correct unsafeValue">0.075s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-net-sis900.ko_safe.cil.out.i.pp.i">module_get_put-drivers-net-sis900.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-net-sis900.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">16.89</td>

  <td class="correct safeValue">10.79</td>

  <td class="correct safeValue">616644608</td>

  <td class="correct safeValue">10.2</td>

  <td class="correct safeValue">0.251s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-net-sis900.ko_safe.cil.out.i.pp.i.log">out of memory</a></td>

  <td class="errorValue">76.20</td>

  <td class="errorValue">69.81</td>

  <td class="errorValue">12582912000</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-net-sis900.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">29.32</td>

  <td class="correct safeValue">22.22</td>

  <td class="correct safeValue">661520384</td>

  <td class="correct safeValue">21.6</td>

  <td class="correct safeValue">0.277s</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-net-sis900.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">25.86</td>

  <td class="correct safeValue">16.43</td>

  <td class="correct safeValue">846848000</td>

  <td class="correct safeValue">15.7</td>

  <td class="correct safeValue">0.324s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-net-wan-farsync.ko_unsafe.cil.out.iunsafe.cil.out.i.pp.i">module_get_put-drivers-net-wan-farsync.ko_unsafe.cil.out.iunsafe.cil.out.i.pp.i</a></td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-net-wan-farsync.ko_unsafe.cil.out.iunsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">23.11</td>

  <td class="correct unsafeValue">15.24</td>

  <td class="correct unsafeValue">718024704</td>

  <td class="correct unsafeValue">14.7</td>

  <td class="correct unsafeValue">0.238s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-net-wan-farsync.ko_unsafe.cil.out.iunsafe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1794.50</td>

  <td class="errorValue">1793.37</td>

  <td class="errorValue">7080910848</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-net-wan-farsync.ko_unsafe.cil.out.iunsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">231.33</td>

  <td class="correct unsafeValue">209.89</td>

  <td class="correct unsafeValue">1197654016</td>

  <td class="correct unsafeValue">209.3</td>

  <td class="correct unsafeValue">0.664s</td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-net-wan-farsync.ko_unsafe.cil.out.iunsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">52.27</td>

  <td class="correct unsafeValue">43.16</td>

  <td class="correct unsafeValue">757342208</td>

  <td class="correct unsafeValue">42.5</td>

  <td class="correct unsafeValue">0.295s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-scsi-megaraid.ko_safe.cil.out.i.pp.i">module_get_put-drivers-scsi-megaraid.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-scsi-megaraid.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">204.09</td>

  <td class="correct safeValue">116.58</td>

  <td class="correct safeValue">4669673472</td>

  <td class="correct safeValue">115.5</td>

  <td class="correct safeValue">7.669s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-scsi-megaraid.ko_safe.cil.out.i.pp.i.log">exception</a></td>

  <td class="errorValue">7.60</td>

  <td class="errorValue">3.74</td>

  <td class="errorValue">193695744</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-scsi-megaraid.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">884.82</td>

  <td class="correct safeValue">803.40</td>

  <td class="correct safeValue">5129826304</td>

  <td class="correct safeValue">802.0</td>

  <td class="correct safeValue">3.772s</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-scsi-megaraid.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">584.41</td>

  <td class="correct safeValue">499.90</td>

  <td class="correct safeValue">5026328576</td>

  <td class="correct safeValue">498.8</td>

  <td class="correct safeValue">4.172s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-staging-et131x-et131x.ko_safe.cil.out.i.pp.i">module_get_put-drivers-staging-et131x-et131x.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-staging-et131x-et131x.ko_safe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1787.70</td>

  <td class="errorValue">625.75</td>

  <td class="errorValue">11680227328</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-staging-et131x-et131x.ko_safe.cil.out.i.pp.i.log">exception</a></td>

  <td class="errorValue">6.23</td>

  <td class="errorValue">3.44</td>

  <td class="errorValue">173801472</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-staging-et131x-et131x.ko_safe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1787.90</td>

  <td class="errorValue">451.86</td>

  <td class="errorValue">10010972160</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-staging-et131x-et131x.ko_safe.cil.out.i.pp.i.log">out of java memory</a></td>

  <td class="errorValue">1627.89</td>

  <td class="errorValue">466.92</td>

  <td class="errorValue">9894617088</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-tty-synclink_gt.ko_unsafe.cil.out.i.pp.i">module_get_put-drivers-tty-synclink_gt.ko_unsafe.cil.out.i.pp.i</a></td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-tty-synclink_gt.ko_unsafe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1792.68</td>

  <td class="errorValue">1330.91</td>

  <td class="errorValue">8811180032</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-tty-synclink_gt.ko_unsafe.cil.out.i.pp.i.log">exception</a></td>

  <td class="errorValue">50.54</td>

  <td class="errorValue">42.86</td>

  <td class="errorValue">637591552</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-tty-synclink_gt.ko_unsafe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1794.37</td>

  <td class="errorValue">1720.44</td>

  <td class="errorValue">4457570304</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-tty-synclink_gt.ko_unsafe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1793.36</td>

  <td class="errorValue">1510.99</td>

  <td class="errorValue">7637557248</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-usb-core-usbcore.ko_unsafe.cil.out.i.pp.i">module_get_put-drivers-usb-core-usbcore.ko_unsafe.cil.out.i.pp.i</a></td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-usb-core-usbcore.ko_unsafe.cil.out.i.pp.i.log">out of memory</a></td>

  <td class="errorValue">1627.65</td>

  <td class="errorValue">1324.53</td>

  <td class="errorValue">12582912000</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-usb-core-usbcore.ko_unsafe.cil.out.i.pp.i.log">exception</a></td>

  <td class="errorValue">11.49</td>

  <td class="errorValue">5.92</td>

  <td class="errorValue">309309440</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-usb-core-usbcore.ko_unsafe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1796.10</td>

  <td class="errorValue">1134.56</td>

  <td class="errorValue">9974468608</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-usb-core-usbcore.ko_unsafe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1792.05</td>

  <td class="errorValue">1114.37</td>

  <td class="errorValue">9949581312</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/module_get_put-drivers-video-aty-aty128fb.ko_safe.cil.out.i.pp.i">module_get_put-drivers-video-aty-aty128fb.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.module_get_put-drivers-video-aty-aty128fb.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">39.41</td>

  <td class="correct safeValue">22.24</td>

  <td class="correct safeValue">1146380288</td>

  <td class="correct safeValue">21.5</td>

  <td class="correct safeValue">1.706s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.module_get_put-drivers-video-aty-aty128fb.ko_safe.cil.out.i.pp.i.log">exception</a></td>

  <td class="errorValue">48.73</td>

  <td class="errorValue">43.53</td>

  <td class="errorValue">1050046464</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.module_get_put-drivers-video-aty-aty128fb.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">106.16</td>

  <td class="correct safeValue">88.66</td>

  <td class="correct safeValue">1746837504</td>

  <td class="correct safeValue">87.9</td>

  <td class="correct safeValue">0.635s</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.module_get_put-drivers-video-aty-aty128fb.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">82.14</td>

  <td class="correct safeValue">68.16</td>

  <td class="correct safeValue">1526571008</td>

  <td class="correct safeValue">67.5</td>

  <td class="correct safeValue">0.581s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/usb_urb-drivers-hid-usbhid-usbmouse.ko_unsafe.cil.out.i.pp.i">usb_urb-drivers-hid-usbhid-usbmouse.ko_unsafe.cil.out.i.pp.i</a></td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.usb_urb-drivers-hid-usbhid-usbmouse.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">5.83</td>

  <td class="correct unsafeValue">3.70</td>

  <td class="correct unsafeValue">167673856</td>

  <td class="correct unsafeValue">3.2</td>

  <td class="correct unsafeValue">0.044s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.usb_urb-drivers-hid-usbhid-usbmouse.ko_unsafe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1794.52</td>

  <td class="errorValue">1795.54</td>

  <td class="errorValue">9057648640</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.usb_urb-drivers-hid-usbhid-usbmouse.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">75.57</td>

  <td class="correct unsafeValue">71.96</td>

  <td class="correct unsafeValue">279093248</td>

  <td class="correct unsafeValue">71.5</td>

  <td class="correct unsafeValue">0.058s</td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.usb_urb-drivers-hid-usbhid-usbmouse.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">6.98</td>

  <td class="correct unsafeValue">4.98</td>

  <td class="correct unsafeValue">197312512</td>

  <td class="correct unsafeValue">4.5</td>

  <td class="correct unsafeValue">0.031s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/usb_urb-drivers-input-misc-keyspan_remote.ko_unsafe.cil.out.i.pp.i">usb_urb-drivers-input-misc-keyspan_remote.ko_unsafe.cil.out.i.pp.i</a></td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.usb_urb-drivers-input-misc-keyspan_remote.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">7.55</td>

  <td class="correct unsafeValue">4.78</td>

  <td class="correct unsafeValue">187596800</td>

  <td class="correct unsafeValue">4.3</td>

  <td class="correct unsafeValue">0.076s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.usb_urb-drivers-input-misc-keyspan_remote.ko_unsafe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1794.61</td>

  <td class="errorValue">1795.71</td>

  <td class="errorValue">8259342336</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.usb_urb-drivers-input-misc-keyspan_remote.ko_unsafe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1794.96</td>

  <td class="errorValue">1737.08</td>

  <td class="errorValue">5850906624</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.usb_urb-drivers-input-misc-keyspan_remote.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">80.68</td>

  <td class="correct unsafeValue">71.92</td>

  <td class="correct unsafeValue">1206665216</td>

  <td class="correct unsafeValue">71.3</td>

  <td class="correct unsafeValue">0.308s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/usb_urb-drivers-input-tablet-kbtab.ko_safe.cil.out.i.pp.i">usb_urb-drivers-input-tablet-kbtab.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.usb_urb-drivers-input-tablet-kbtab.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">4.42</td>

  <td class="correct safeValue">2.72</td>

  <td class="correct safeValue">143732736</td>

  <td class="correct safeValue">2.3</td>

  <td class="correct safeValue">0.036s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.usb_urb-drivers-input-tablet-kbtab.ko_safe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1794.64</td>

  <td class="errorValue">1795.57</td>

  <td class="errorValue">8764440576</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.usb_urb-drivers-input-tablet-kbtab.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">11.04</td>

  <td class="correct safeValue">9.39</td>

  <td class="correct safeValue">202330112</td>

  <td class="correct safeValue">8.9</td>

  <td class="correct safeValue">0.037s</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.usb_urb-drivers-input-tablet-kbtab.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">6.26</td>

  <td class="correct safeValue">4.63</td>

  <td class="correct safeValue">175779840</td>

  <td class="correct safeValue">4.2</td>

  <td class="correct safeValue">0.032s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_unsafe.cil.out.i.pp.i">usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_unsafe.cil.out.i.pp.i</a></td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">5.26</td>

  <td class="correct unsafeValue">3.05</td>

  <td class="correct unsafeValue">167530496</td>

  <td class="correct unsafeValue">2.6</td>

  <td class="correct unsafeValue">0.011s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_unsafe.cil.out.i.pp.i.log">out of memory</a></td>

  <td class="errorValue">104.45</td>

  <td class="errorValue">102.23</td>

  <td class="errorValue">12582912000</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">21.33</td>

  <td class="correct unsafeValue">19.35</td>

  <td class="correct unsafeValue">285593600</td>

  <td class="correct unsafeValue">18.9</td>

  <td class="correct unsafeValue">0.015s</td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">15.34</td>

  <td class="correct unsafeValue">13.25</td>

  <td class="correct unsafeValue">282669056</td>

  <td class="correct unsafeValue">12.8</td>

  <td class="correct unsafeValue">0.011s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/usb_urb-drivers-media-video-msp3400.ko_safe.cil.out.i.pp.i">usb_urb-drivers-media-video-msp3400.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.usb_urb-drivers-media-video-msp3400.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">106.77</td>

  <td class="correct safeValue">63.00</td>

  <td class="correct safeValue">3193765888</td>

  <td class="correct safeValue">61.5</td>

  <td class="correct safeValue">2.085s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.usb_urb-drivers-media-video-msp3400.ko_safe.cil.out.i.pp.i.log">out of memory</a></td>

  <td class="errorValue">463.86</td>

  <td class="errorValue">416.78</td>

  <td class="errorValue">12582912000</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.usb_urb-drivers-media-video-msp3400.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">324.82</td>

  <td class="correct safeValue">291.52</td>

  <td class="correct safeValue">3154063360</td>

  <td class="correct safeValue">289.8</td>

  <td class="correct safeValue">3.247s</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.usb_urb-drivers-media-video-msp3400.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">148.47</td>

  <td class="correct safeValue">104.19</td>

  <td class="correct safeValue">3793027072</td>

  <td class="correct safeValue">102.6</td>

  <td class="correct safeValue">2.504s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/usb_urb-drivers-misc-c2port-core.ko_safe.cil.out.i.pp.i">usb_urb-drivers-misc-c2port-core.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.usb_urb-drivers-misc-c2port-core.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">9.18</td>

  <td class="correct safeValue">5.09</td>

  <td class="correct safeValue">200458240</td>

  <td class="correct safeValue">4.6</td>

  <td class="correct safeValue">0.109s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.usb_urb-drivers-misc-c2port-core.ko_safe.cil.out.i.pp.i.log">exception</a></td>

  <td class="errorValue">2.74</td>

  <td class="errorValue">1.75</td>

  <td class="errorValue">128184320</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.usb_urb-drivers-misc-c2port-core.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">21.69</td>

  <td class="correct safeValue">17.84</td>

  <td class="correct safeValue">299708416</td>

  <td class="correct safeValue">17.4</td>

  <td class="correct safeValue">0.132s</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.usb_urb-drivers-misc-c2port-core.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">18.97</td>

  <td class="correct safeValue">14.65</td>

  <td class="correct safeValue">243417088</td>

  <td class="correct safeValue">14.2</td>

  <td class="correct safeValue">0.107s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/usb_urb-drivers-mtd-sm_ftl.ko_safe.cil.out.i.pp.i">usb_urb-drivers-mtd-sm_ftl.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.usb_urb-drivers-mtd-sm_ftl.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">24.94</td>

  <td class="correct safeValue">17.84</td>

  <td class="correct safeValue">702193664</td>

  <td class="correct safeValue">17.3</td>

  <td class="correct safeValue">0.282s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.usb_urb-drivers-mtd-sm_ftl.ko_safe.cil.out.i.pp.i.log">exception</a></td>

  <td class="errorValue">10.47</td>

  <td class="errorValue">6.37</td>

  <td class="errorValue">278286336</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.usb_urb-drivers-mtd-sm_ftl.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">80.79</td>

  <td class="correct safeValue">72.16</td>

  <td class="correct safeValue">1112072192</td>

  <td class="correct safeValue">71.6</td>

  <td class="correct safeValue">0.335s</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.usb_urb-drivers-mtd-sm_ftl.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">33.62</td>

  <td class="correct safeValue">24.87</td>

  <td class="correct safeValue">998199296</td>

  <td class="correct safeValue">24.3</td>

  <td class="correct safeValue">0.297s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/usb_urb-drivers-net-can-usb-ems_usb.ko_unsafe.cil.out.i.pp.i">usb_urb-drivers-net-can-usb-ems_usb.ko_unsafe.cil.out.i.pp.i</a></td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.usb_urb-drivers-net-can-usb-ems_usb.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">103.46</td>

  <td class="correct unsafeValue">90.13</td>

  <td class="correct unsafeValue">2577604608</td>

  <td class="correct unsafeValue">88.8</td>

  <td class="correct unsafeValue">0.989s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.usb_urb-drivers-net-can-usb-ems_usb.ko_unsafe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1794.45</td>

  <td class="errorValue">1795.41</td>

  <td class="errorValue">6987563008</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.usb_urb-drivers-net-can-usb-ems_usb.ko_unsafe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1794.52</td>

  <td class="errorValue">1734.62</td>

  <td class="errorValue">2092273664</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.usb_urb-drivers-net-can-usb-ems_usb.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">580.62</td>

  <td class="correct unsafeValue">560.03</td>

  <td class="correct unsafeValue">1290031104</td>

  <td class="correct unsafeValue">558.9</td>

  <td class="correct unsafeValue">1.019s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/usb_urb-drivers-net-usb-catc.ko_unsafe.cil.out.i.pp.i">usb_urb-drivers-net-usb-catc.ko_unsafe.cil.out.i.pp.i</a></td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.usb_urb-drivers-net-usb-catc.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">581.05</td>

  <td class="correct unsafeValue">565.12</td>

  <td class="correct unsafeValue">893198336</td>

  <td class="correct unsafeValue">564.3</td>

  <td class="correct unsafeValue">0.626s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.usb_urb-drivers-net-usb-catc.ko_unsafe.cil.out.i.pp.i.log">out of memory</a></td>

  <td class="errorValue">42.06</td>

  <td class="errorValue">40.73</td>

  <td class="errorValue">12582912000</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.usb_urb-drivers-net-usb-catc.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">9.24</td>

  <td class="correct unsafeValue">7.05</td>

  <td class="correct unsafeValue">205168640</td>

  <td class="correct unsafeValue">6.6</td>

  <td class="correct unsafeValue">0.031s</td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.usb_urb-drivers-net-usb-catc.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">9.22</td>

  <td class="correct unsafeValue">6.78</td>

  <td class="correct unsafeValue">196407296</td>

  <td class="correct unsafeValue">6.3</td>

  <td class="correct unsafeValue">0.058s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/usb_urb-drivers-scsi-dc395x.ko_safe.cil.out.i.pp.i">usb_urb-drivers-scsi-dc395x.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.usb_urb-drivers-scsi-dc395x.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">22.84</td>

  <td class="correct safeValue">15.59</td>

  <td class="correct safeValue">520593408</td>

  <td class="correct safeValue">15.0</td>

  <td class="correct safeValue">0.190s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.usb_urb-drivers-scsi-dc395x.ko_safe.cil.out.i.pp.i.log">exception</a></td>

  <td class="errorValue">5.30</td>

  <td class="errorValue">2.93</td>

  <td class="errorValue">157212672</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.usb_urb-drivers-scsi-dc395x.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">98.26</td>

  <td class="correct safeValue">89.92</td>

  <td class="correct safeValue">845103104</td>

  <td class="correct safeValue">89.2</td>

  <td class="correct safeValue">0.189s</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.usb_urb-drivers-scsi-dc395x.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">50.30</td>

  <td class="correct safeValue">42.98</td>

  <td class="correct safeValue">766177280</td>

  <td class="correct safeValue">42.4</td>

  <td class="correct safeValue">0.161s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/usb_urb-drivers-staging-lirc-lirc_imon.ko_unsafe.cil.out.i.pp.i">usb_urb-drivers-staging-lirc-lirc_imon.ko_unsafe.cil.out.i.pp.i</a></td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.usb_urb-drivers-staging-lirc-lirc_imon.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">5.90</td>

  <td class="correct unsafeValue">3.78</td>

  <td class="correct unsafeValue">167620608</td>

  <td class="correct unsafeValue">3.3</td>

  <td class="correct unsafeValue">0.060s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.usb_urb-drivers-staging-lirc-lirc_imon.ko_unsafe.cil.out.i.pp.i.log">out of memory</a></td>

  <td class="errorValue">47.13</td>

  <td class="errorValue">45.35</td>

  <td class="errorValue">12582912000</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.usb_urb-drivers-staging-lirc-lirc_imon.ko_unsafe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1792.56</td>

  <td class="errorValue">1766.85</td>

  <td class="errorValue">452694016</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.usb_urb-drivers-staging-lirc-lirc_imon.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">14.78</td>

  <td class="correct unsafeValue">12.36</td>

  <td class="correct unsafeValue">252358656</td>

  <td class="correct unsafeValue">11.8</td>

  <td class="correct unsafeValue">0.054s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/usb_urb-drivers-usb-misc-iowarrior.ko_unsafe.cil.out.i.pp.i">usb_urb-drivers-usb-misc-iowarrior.ko_unsafe.cil.out.i.pp.i</a></td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.usb_urb-drivers-usb-misc-iowarrior.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">3.75</td>

  <td class="correct unsafeValue">2.31</td>

  <td class="correct unsafeValue">145874944</td>

  <td class="correct unsafeValue">1.9</td>

  <td class="correct unsafeValue">0.008s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.usb_urb-drivers-usb-misc-iowarrior.ko_unsafe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1794.63</td>

  <td class="errorValue">1795.36</td>

  <td class="errorValue">7543836672</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.usb_urb-drivers-usb-misc-iowarrior.ko_unsafe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="correct unsafeValue">46.66</td>

  <td class="correct unsafeValue">41.79</td>

  <td class="correct unsafeValue">347963392</td>

  <td class="correct unsafeValue">41.3</td>

  <td class="correct unsafeValue">0.128s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.usb_urb-drivers-usb-misc-iowarrior.ko_unsafe.cil.out.i.pp.i.log">segmentation fault</a></td>

  <td class="errorValue">91.31</td>

  <td class="errorValue">86.23</td>

  <td class="errorValue">309977088</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/usb_urb-drivers-usb-serial-whiteheat.ko_safe.cil.out.i.pp.i">usb_urb-drivers-usb-serial-whiteheat.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.usb_urb-drivers-usb-serial-whiteheat.ko_safe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1792.71</td>

  <td class="errorValue">1603.95</td>

  <td class="errorValue">7618367488</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.usb_urb-drivers-usb-serial-whiteheat.ko_safe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1794.26</td>

  <td class="errorValue">1794.32</td>

  <td class="errorValue">4056207360</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status wrong unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.usb_urb-drivers-usb-serial-whiteheat.ko_safe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="wrong unsafeValue">1313.23</td>

  <td class="wrong unsafeValue">1301.47</td>

  <td class="wrong unsafeValue">1167167488</td>

  <td class="wrong unsafeValue">1300.8</td>

  <td class="wrong unsafeValue">0.742s</td>

    <td class="status wrong unsafe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.usb_urb-drivers-usb-serial-whiteheat.ko_safe.cil.out.i.pp.i.log">unsafe</a></td>

  <td class="wrong unsafeValue">541.08</td>

  <td class="wrong unsafeValue">531.44</td>

  <td class="wrong unsafeValue">803835904</td>

  <td class="wrong unsafeValue">530.8</td>

  <td class="wrong unsafeValue">0.551s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_safe.cil.out.i.pp.i">usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_safe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1788.04</td>

  <td class="errorValue">613.76</td>

  <td class="errorValue">10397114368</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_safe.cil.out.i.pp.i.log">out of memory</a></td>

  <td class="errorValue">1175.28</td>

  <td class="errorValue">1127.08</td>

  <td class="errorValue">12582912000</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_safe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1798.36</td>

  <td class="errorValue">502.69</td>

  <td class="errorValue">9995800576</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_safe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1788.50</td>

  <td class="errorValue">457.25</td>

  <td class="errorValue">9782603776</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/usb_urb-drivers-vhost-vhost_net.ko_safe.cil.out.i.pp.i">usb_urb-drivers-vhost-vhost_net.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.usb_urb-drivers-vhost-vhost_net.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">19.15</td>

  <td class="correct safeValue">10.81</td>

  <td class="correct safeValue">555937792</td>

  <td class="correct safeValue">10.2</td>

  <td class="correct safeValue">0.261s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.usb_urb-drivers-vhost-vhost_net.ko_safe.cil.out.i.pp.i.log">exception</a></td>

  <td class="errorValue">6.68</td>

  <td class="errorValue">3.37</td>

  <td class="errorValue">181358592</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.usb_urb-drivers-vhost-vhost_net.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">43.69</td>

  <td class="correct safeValue">33.12</td>

  <td class="correct safeValue">870875136</td>

  <td class="correct safeValue">32.3</td>

  <td class="correct safeValue">0.306s</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.usb_urb-drivers-vhost-vhost_net.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">25.18</td>

  <td class="correct safeValue">15.25</td>

  <td class="correct safeValue">750411776</td>

  <td class="correct safeValue">14.6</td>

  <td class="correct safeValue">0.284s</td>

</tr>

<tr><td title="Click here to show source code"><a href="../../dd64/usb_urb-drivers-video-arkfb.ko_safe.cil.out.i.pp.i">usb_urb-drivers-video-arkfb.ko_safe.cil.out.i.pp.i</a></td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate-replace.13-08-22_1532.logfiles/with-output-files.usb_urb-drivers-video-arkfb.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">7.76</td>

  <td class="correct safeValue">3.99</td>

  <td class="correct safeValue">224825344</td>

  <td class="correct safeValue">3.5</td>

  <td class="correct safeValue">0.102s</td>

    <td class="status error" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-predicate.13-08-23_2142.logfiles/with-output-files.usb_urb-drivers-video-arkfb.ko_safe.cil.out.i.pp.i.log">timeout</a></td>

  <td class="errorValue">1794.31</td>

  <td class="errorValue">1794.39</td>

  <td class="errorValue">10378522624</td>

  <td class="errorValue">-</td>

  <td class="errorValue">-</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated.13-08-23_1454.logfiles/with-output-files.usb_urb-drivers-video-arkfb.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">28.29</td>

  <td class="correct safeValue">23.78</td>

  <td class="correct safeValue">379781120</td>

  <td class="correct safeValue">23.3</td>

  <td class="correct safeValue">0.090s</td>

    <td class="status correct safe" title="Click here to show output of tool"><a href="benchmark-cpachecker-dd64-ppreds-integrated-replace.13-08-22_1848.logfiles/with-output-files.usb_urb-drivers-video-arkfb.ko_safe.cil.out.i.pp.i.log">safe</a></td>

  <td class="correct safeValue">11.32</td>

  <td class="correct safeValue">7.32</td>

  <td class="correct safeValue">336977920</td>

  <td class="correct safeValue">6.9</td>

  <td class="correct safeValue">0.094s</td>

</tr>

</tbody>

<tfoot>

<tr class="columnTitles">

  <td>dd64/</td>

  <td colspan="1">status</td>

  <td colspan="1">cputime</td>

  <td colspan="1">walltime</td>

  <td colspan="1">memUsage</td>

  <td colspan="1">total</td>

  <td colspan="1">reached</td>

  <td colspan="1">status</td>

  <td colspan="1">cputime</td>

  <td colspan="1">walltime</td>

  <td colspan="1">memUsage</td>

  <td colspan="1">total</td>

  <td colspan="1">reached</td>

  <td colspan="1">status</td>

  <td colspan="1">cputime</td>

  <td colspan="1">walltime</td>

  <td colspan="1">memUsage</td>

  <td colspan="1">total</td>

  <td colspan="1">reached</td>

  <td colspan="1">status</td>

  <td colspan="1">cputime</td>

  <td colspan="1">walltime</td>

  <td colspan="1">memUsage</td>

  <td colspan="1">total</td>

  <td colspan="1">reached</td>

</tr>

  <tr>

    <td >total files</td>

    <td >34</td>

    <td title="Min: 3.75, Max: 1792.71, Average: 390.144, Median: 22.84">13264.89</td>

    <td title="Min: 2.31, Max: 1603.95, Average: 233.557, Median: 15.24">7940.94</td>

    <td title="Min: 143732736, Max: 12582912000, Average: 2769135013.647, Median: 616644608">94150590464</td>

    <td title="Min: 0, Max: 564.3, Average: 30.171, Median: 4.3">1025.8</td>

    <td title="Min: 0, Max: 7.669, Average: 0.460, Median: 0.076">15.653</td>

    <td >34</td>

    <td title="Min: 2.74, Max: 1794.64, Average: 716.869, Median: 461.83">24373.54</td>

    <td title="Min: 1.75, Max: 1795.71, Average: 699.873, Median: 416.78">23795.68</td>

    <td title="Min: 128184320, Max: 12582912000, Average: 6657113027.765, Median: 7543836672">226341842944</td>

    <td title="Min: 0, Max: 956.2, Average: 28.124, Median: 0">956.2</td>

    <td title="Min: 0, Max: 0.030, Average: 0.001, Median: 0">0.030</td>

    <td >34</td>

    <td title="Min: 6.76, Max: 1798.36, Average: 699.648, Median: 231.33">23788.03</td>

    <td title="Min: 4.32, Max: 1766.85, Average: 542.410, Median: 209.89">18441.94</td>

    <td title="Min: 202330112, Max: 10010972160, Average: 2594556506.353, Median: 1167167488">88214921216</td>

    <td title="Min: 0, Max: 1572.0, Average: 209.471, Median: 32.3">7122.0</td>

    <td title="Min: 0, Max: 5.404, Average: 0.501, Median: 0.096">17.018</td>

    <td >34</td>

    <td title="Min: 5.77, Max: 1800.72, Average: 490.726, Median: 80.68">16684.67</td>

    <td title="Min: 3.41, Max: 1793.57, Average: 334.037, Median: 68.16">11357.27</td>

    <td title="Min: 170881024, Max: 11266121728, Average: 2674058179.765, Median: 846848000">90917978112</td>

    <td title="Min: 0, Max: 1052.8, Average: 107.729, Median: 14.2">3662.8</td>

    <td title="Min: 0, Max: 5.655, Average: 0.512, Median: 0.094">17.397</td>

  </tr>

  <tr>

    <td title="(no bug exists + result is SAFE) OR (bug exists + result is UNSAFE)">correct results</td>

    <td >27</td>

    <td title="Min: 3.75, Max: 581.05, Average: 49.196, Median: 16.89">1328.30</td>

    <td title="Min: 2.31, Max: 565.12, Average: 38.612, Median: 8.75">1042.53</td>

    <td title="Min: 143732736, Max: 4669673472, Average: 765565307.259, Median: 311152640">20670263296</td>

    <td title="Min: 1.9, Max: 564.3, Average: 37.993, Median: 8.1">1025.8</td>

    <td title="Min: 0.008, Max: 7.669, Average: 0.580, Median: 0.105">15.653</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >24</td>

    <td title="Min: 6.76, Max: 1575.25, Average: 263.891, Median: 75.57">6333.39</td>

    <td title="Min: 4.32, Max: 1572.61, Average: 243.202, Median: 71.96">5836.84</td>

    <td title="Min: 202330112, Max: 6946463744, Average: 1374939477.333, Median: 845103104">32998547456</td>

    <td title="Min: 3.9, Max: 1572.0, Average: 242.550, Median: 71.5">5821.2</td>

    <td title="Min: 0.015, Max: 5.404, Average: 0.678, Median: 0.128">16.276</td>

    <td >25</td>

    <td title="Min: 5.77, Max: 1271.25, Average: 146.449, Median: 31.65">3661.23</td>

    <td title="Min: 3.41, Max: 1054.02, Average: 125.960, Median: 21.87">3148.99</td>

    <td title="Min: 170881024, Max: 11266121728, Average: 1591844372.480, Median: 757342208">39796109312</td>

    <td title="Min: 3.0, Max: 1052.8, Average: 125.280, Median: 21.4">3132.0</td>

    <td title="Min: 0.011, Max: 5.655, Average: 0.674, Median: 0.116">16.846</td>

  </tr>

  <tr>

    <td title="bug exists + result is SAFE">false negatives</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >1</td>

    <td title="Min: 958.28, Max: 958.28, Average: 958.280, Median: 958.28">958.28</td>

    <td title="Min: 956.70, Max: 956.70, Average: 956.700, Median: 956.70">956.70</td>

    <td title="Min: 3218251776, Max: 3218251776, Average: 3218251776.000, Median: 3218251776">3218251776</td>

    <td title="Min: 956.2, Max: 956.2, Average: 956.200, Median: 956.2">956.2</td>

    <td title="Min: 0.030, Max: 0.030, Average: 0.030, Median: 0.030">0.030</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

  </tr>

  <tr>

    <td title="no bug exists + result is UNSAFE">false positives</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >0</td>

    <td >1</td>

    <td title="Min: 1313.23, Max: 1313.23, Average: 1313.230, Median: 1313.23">1313.23</td>

    <td title="Min: 1301.47, Max: 1301.47, Average: 1301.470, Median: 1301.47">1301.47</td>

    <td title="Min: 1167167488, Max: 1167167488, Average: 1167167488.000, Median: 1167167488">1167167488</td>

    <td title="Min: 1300.8, Max: 1300.8, Average: 1300.800, Median: 1300.8">1300.8</td>

    <td title="Min: 0.742, Max: 0.742, Average: 0.742, Median: 0.742">0.742</td>

    <td >1</td>

    <td title="Min: 541.08, Max: 541.08, Average: 541.080, Median: 541.08">541.08</td>

    <td title="Min: 531.44, Max: 531.44, Average: 531.440, Median: 531.44">531.44</td>

    <td title="Min: 803835904, Max: 803835904, Average: 803835904.000, Median: 803835904">803835904</td>

    <td title="Min: 530.8, Max: 530.8, Average: 530.800, Median: 530.8">530.8</td>

    <td title="Min: 0.551, Max: 0.551, Average: 0.551, Median: 0.551">0.551</td>

  </tr>

  <tr>

    <td title="21 safe files, 13 unsafe files">score (34 files, max score: 55)</td>

    <td class="score">43</td>

    <td class="score"></td>

    <td class="score"></td>

    <td class="score"></td>

    <td class="score"></td>

    <td class="score"></td>

    <td class="score">-8</td>

    <td class="score"></td>

    <td class="score"></td>

    <td class="score"></td>

    <td class="score"></td>

    <td class="score"></td>

    <td class="score">37</td>

    <td class="score"></td>

    <td class="score"></td>

    <td class="score"></td>

    <td class="score"></td>

    <td class="score"></td>

    <td class="score">36</td>

    <td class="score"></td>

    <td class="score"></td>

    <td class="score"></td>

    <td class="score"></td>

    <td class="score"></td>

  </tr>

<tr class="run">

  <td>Run set</td>

  <td colspan="6">benchmark-cpachecker-dd64-predicate-replace.with-output-files</td>

  <td colspan="6">benchmark-cpachecker-dd64-predicate.with-output-files</td>

  <td colspan="6">benchmark-cpachecker-dd64-ppreds-integrated.with-output-files</td>

  <td colspan="6">benchmark-cpachecker-dd64-ppreds-integrated-replace.with-output-files</td>

</tr>

</tfoot>

</table>

</body>

</html>