{
 "head": {
  "branch": null,
  "date": {
   "content": [
    [
     "2015-03-03 16:13:02 CET",
     16
    ],
    [
     "2015-03-03 18:15:20 CET",
     16
    ]
   ],
   "id": "date",
   "name": "Date of execution"
  },
  "displayName": null,
  "host": {
   "content": [
    [
     "tortuga",
     32
    ]
   ],
   "id": "host",
   "name": "Host"
  },
  "limit": {
   "content": [
    [
     "timelimit: 10 s, memlimit: 3000 MB, CPU core limit: 1",
     32
    ]
   ],
   "id": "limits",
   "name": "Limits"
  },
  "options": {
   "content": [
    [
     "-noout -setprop log.consoleLevel=WARNING -predicateAnalysis",
     8
    ],
    [
     "-noout -setprop log.consoleLevel=WARNING -valueAnalysis",
     8
    ],
    [
     "-noout -setprop log.consoleLevel=WARNING -predicateAnalysis",
     8
    ],
    [
     "-noout -setprop log.consoleLevel=WARNING -valueAnalysis",
     8
    ]
   ],
   "id": "options",
   "name": "Options"
  },
  "os": {
   "content": [
    [
     "Linux 3.13.0-45-generic x86_64",
     32
    ]
   ],
   "id": "os",
   "name": "OS"
  },
  "property": null,
  "runset": {
   "content": [
    [
     "predicateAnalysis",
     8
    ],
    [
     "valueAnalysis",
     8
    ],
    [
     "predicateAnalysis",
     8
    ],
    [
     "valueAnalysis",
     8
    ]
   ],
   "id": "run",
   "name": "Run set"
  },
  "system": {
   "content": [
    [
     "CPU: Intel Core i7-2600 CPU @ 3.40GHz, cores: 8, frequency: 3401 MHz; RAM: 16389384 kB",
     32
    ]
   ],
   "id": "system",
   "name": "System"
  },
  "task_id_names": [
   "Task name",
   "Property"
  ],
  "title": {
   "content": [
    [
     "status",
     1
    ],
    [
     "category",
     1
    ],
    [
     "score",
     1
    ],
    [
     "cputime (s)",
     1
    ],
    [
     "setup (s)",
     1
    ],
    [
     "non-existent",
     1
    ],
    [
     "SMT time (s)",
     1
    ],
    [
     "variable count",
     1
    ],
    [
     "status",
     1
    ],
    [
     "category",
     1
    ],
    [
     "score",
     1
    ],
    [
     "cputime (s)",
     1
    ],
    [
     "setup (s)",
     1
    ],
    [
     "non-existent",
     1
    ],
    [
     "SMT time",
     1
    ],
    [
     "variable count",
     1
    ],
    [
     "status",
     1
    ],
    [
     "category",
     1
    ],
    [
     "score",
     1
    ],
    [
     "cputime (s)",
     1
    ],
    [
     "setup (s)",
     1
    ],
    [
     "non-existent",
     1
    ],
    [
     "SMT time (s)",
     1
    ],
    [
     "variable count",
     1
    ],
    [
     "status",
     1
    ],
    [
     "category",
     1
    ],
    [
     "score",
     1
    ],
    [
     "cputime (s)",
     1
    ],
    [
     "setup (s)",
     1
    ],
    [
     "non-existent",
     1
    ],
    [
     "SMT time",
     1
    ],
    [
     "variable count",
     1
    ]
   ],
   "id": "columnTitles",
   "name": "benchexec/tablegenerator/test_integration/results/"
  },
  "tool": {
   "content": [
    [
     "CPAchecker 1.4-svn 15944M",
     16
    ],
    [
     "CPAchecker 1.4-svn 15986M",
     16
    ]
   ],
   "id": "tool",
   "name": "Tool"
  }
 },
 "rows": [
  {
   "href": "../results/test/programs/simple/bitvectors/implicitunsignedconversion_false-unreach-label.i",
   "id": [
    "test/programs/simple/bitvectors/implicitunsignedconversion_false-unreach-label.i",
    "unreach-label"
   ],
   "results": [
    {
     "category": "wrong",
     "href": "../results/test.2015-03-03_1613.logfiles/predicateAnalysis.implicitunsignedconversion_false-unreach-label.i.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "raw": "wrong"
      },
      {},
      {
       "html": "2.17",
       "raw": "2.169189428"
      },
      {
       "html": "1.62",
       "raw": "1.624"
      },
      {},
      {
       "html": ".020",
       "raw": "0.020"
      },
      {}
     ]
    },
    {
     "category": "correct",
     "href": "../results/test.2015-03-03_1613.logfiles/valueAnalysis.implicitunsignedconversion_false-unreach-label.i.log",
     "values": [
      {
       "raw": "false(reach)"
      },
      {
       "raw": "correct"
      },
      {},
      {
       "html": "2.12",
       "raw": "2.117287256"
      },
      {
       "html": "1.41",
       "raw": "1.409"
      },
      {},
      {},
      {
       "raw": "0"
      }
     ]
    },
    {
     "category": "wrong",
     "href": "../results/test.2015-03-03_1815.logfiles/predicateAnalysis.implicitunsignedconversion_false-unreach-label.i.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "raw": "wrong"
      },
      {},
      {
       "html": "1.86",
       "raw": "1.858883109"
      },
      {
       "html": "1.38",
       "raw": "1.380"
      },
      {},
      {
       "html": ".015",
       "raw": "0.015"
      },
      {}
     ]
    },
    {
     "category": "correct",
     "href": "../results/test.2015-03-03_1815.logfiles/valueAnalysis.implicitunsignedconversion_false-unreach-label.i.log",
     "values": [
      {
       "raw": "false(reach)"
      },
      {
       "raw": "correct"
      },
      {},
      {
       "html": "1.82",
       "raw": "1.816985346"
      },
      {
       "html": "1.21",
       "raw": "1.206"
      },
      {},
      {},
      {
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "href": "../results/test/programs/simple/compoundLiteral_true-unreach-label.c",
   "id": [
    "test/programs/simple/compoundLiteral_true-unreach-label.c",
    "unreach-label"
   ],
   "results": [
    {
     "category": "correct",
     "href": "../results/test.2015-03-03_1613.logfiles/predicateAnalysis.compoundLiteral_true-unreach-label.c.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "raw": "correct"
      },
      {},
      {
       "html": "2.23",
       "raw": "2.22954344"
      },
      {
       "html": "1.67",
       "raw": "1.665"
      },
      {},
      {
       "html": ".018",
       "raw": "0.018"
      },
      {}
     ]
    },
    {
     "category": "unknown",
     "href": "../results/test.2015-03-03_1613.logfiles/valueAnalysis.compoundLiteral_true-unreach-label.c.log",
     "values": [
      {
       "raw": "unknown"
      },
      {
       "raw": "unknown"
      },
      {},
      {
       "html": "2.20",
       "raw": "2.203966561"
      },
      {
       "html": "1.49",
       "raw": "1.491"
      },
      {},
      {},
      {
       "raw": "0"
      }
     ]
    },
    {
     "category": "correct",
     "href": "../results/test.2015-03-03_1815.logfiles/predicateAnalysis.compoundLiteral_true-unreach-label.c.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "raw": "correct"
      },
      {},
      {
       "html": "1.95",
       "raw": "1.949553467"
      },
      {
       "html": "1.47",
       "raw": "1.465"
      },
      {},
      {
       "html": ".015",
       "raw": "0.015"
      },
      {}
     ]
    },
    {
     "category": "unknown",
     "href": "../results/test.2015-03-03_1815.logfiles/valueAnalysis.compoundLiteral_true-unreach-label.c.log",
     "values": [
      {
       "raw": "unknown"
      },
      {
       "raw": "unknown"
      },
      {},
      {
       "html": "1.81",
       "raw": "1.812178923"
      },
      {
       "html": "1.20",
       "raw": "1.201"
      },
      {},
      {},
      {
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "href": "../results/test/programs/simple/builtin_expect_true-unreach-label.c",
   "id": [
    "test/programs/simple/builtin_expect_true-unreach-label.c",
    "unreach-label"
   ],
   "results": [
    {
     "category": "correct",
     "href": "../results/test.2015-03-03_1613.logfiles/predicateAnalysis.builtin_expect_true-unreach-label.c.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "raw": "correct"
      },
      {},
      {
       "html": "2.06",
       "raw": "2.058647067"
      },
      {
       "html": "1.49",
       "raw": "1.493"
      },
      {},
      {
       "html": ".011",
       "raw": "0.011"
      },
      {}
     ]
    },
    {
     "category": "empty",
     "values": [
      {},
      {},
      {},
      {},
      {},
      {},
      {},
      {}
     ]
    },
    {
     "category": "correct",
     "href": "../results/test.2015-03-03_1815.logfiles/predicateAnalysis.builtin_expect_true-unreach-label.c.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "raw": "correct"
      },
      {},
      {
       "html": "1.85",
       "raw": "1.850979621"
      },
      {
       "html": "1.37",
       "raw": "1.373"
      },
      {},
      {
       "html": ".006",
       "raw": "0.006"
      },
      {}
     ]
    },
    {
     "category": "empty",
     "values": [
      {},
      {},
      {},
      {},
      {},
      {},
      {},
      {}
     ]
    }
   ]
  }
 ],
 "stats": [
  {
   "content": [
    [
     {
      "sum": 3
     },
     null,
     null,
     {
      "avg": "2.15",
      "max": "2.23",
      "median": "2.17",
      "min": "2.06",
      "stdev": "0.0708",
      "sum": "6.46"
     },
     {
      "avg": "1.59",
      "max": "1.67",
      "median": "1.62",
      "min": "1.49",
      "stdev": "0.0734",
      "sum": "4.78"
     },
     null,
     {
      "avg": "0.0163",
      "max": "0.020",
      "median": "0.018",
      "min": "0.011",
      "stdev": "0.00386",
      "sum": ".049"
     },
     null
    ],
    [
     {
      "sum": 2
     },
     null,
     null,
     {
      "avg": "2.16",
      "max": "2.20",
      "median": "2.16",
      "min": "2.12",
      "stdev": "0.0433",
      "sum": "4.32"
     },
     {
      "avg": "1.45",
      "max": "1.49",
      "median": "1.45",
      "min": "1.41",
      "stdev": "0.041",
      "sum": "2.90"
     },
     null,
     null,
     {
      "avg": "0",
      "max": "0",
      "median": "0",
      "min": "0",
      "stdev": "0",
      "sum": "0"
     }
    ],
    [
     {
      "sum": 3
     },
     null,
     null,
     {
      "avg": "1.89",
      "max": "1.95",
      "median": "1.86",
      "min": "1.85",
      "stdev": "0.0447",
      "sum": "5.66"
     },
     {
      "avg": "1.41",
      "max": "1.47",
      "median": "1.38",
      "min": "1.37",
      "stdev": "0.0418",
      "sum": "4.22"
     },
     null,
     {
      "avg": "0.012",
      "max": "0.015",
      "median": "0.015",
      "min": "0.006",
      "stdev": "0.00424",
      "sum": ".036"
     },
     null
    ],
    [
     {
      "sum": 2
     },
     null,
     null,
     {
      "avg": "1.81",
      "max": "1.82",
      "median": "1.81",
      "min": "1.81",
      "stdev": "0.00240",
      "sum": "3.63"
     },
     {
      "avg": "1.20",
      "max": "1.21",
      "median": "1.20",
      "min": "1.20",
      "stdev": "0.0025",
      "sum": "2.41"
     },
     null,
     null,
     {
      "avg": "0",
      "max": "0",
      "median": "0",
      "min": "0",
      "stdev": "0",
      "sum": "0"
     }
    ]
   ],
   "description": "",
   "id": null,
   "title": "total"
  }
 ],
 "tools": [
  {
   "benchmarkname": "test",
   "columns": [
    {
     "display_title": "status",
     "max_width": 12,
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "status",
     "type": "status"
    },
    {
     "display_title": "category",
     "max_width": 8,
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "category",
     "type": "text"
    },
    {
     "display_title": "score",
     "max_width": 5,
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "score",
     "type": "text"
    },
    {
     "display_title": "cputime",
     "max_width": 7,
     "number_of_significant_digits": 3,
     "relevant_for_diff": false,
     "scale_factor": 1,
     "source_unit": "s",
     "title": "cputime",
     "type": "measure",
     "unit": "s"
    },
    {
     "display_title": "setup",
     "max_width": 5,
     "number_of_significant_digits": 3,
     "pattern": "Time for analysis setup",
     "relevant_for_diff": false,
     "scale_factor": 1,
     "source_unit": "s",
     "title": "setup",
     "type": "measure",
     "unit": "s"
    },
    {
     "display_title": "non-existent",
     "max_width": 12,
     "pattern": "Pattern that does not match",
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "non-existent",
     "type": "text"
    },
    {
     "display_title": "SMT time",
     "max_width": 8,
     "number_of_significant_digits": 3,
     "pattern": "Total time for SMT solver",
     "relevant_for_diff": false,
     "scale_factor": 1,
     "source_unit": "s",
     "title": "SMT time",
     "type": "measure",
     "unit": "s"
    },
    {
     "display_title": "variable count",
     "max_width": 14,
     "pattern": "Number of variables",
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "variable count",
     "type": "text"
    }
   ],
   "cores": "8",
   "cpu": "Intel Core i7-2600 CPU @ 3.40GHz",
   "cpuCores": "1",
   "date": "2015-03-03 16:13:02 CET",
   "freq": "3401 MHz",
   "host": "tortuga",
   "memlimit": "3000 MB",
   "name": "predicateAnalysis",
   "niceName": "predicateAnalysis",
   "options": "-noout -setprop log.consoleLevel=WARNING -predicateAnalysis",
   "os": "Linux 3.13.0-45-generic x86_64",
   "ram": "16389384 kB",
   "timelimit": "10 s",
   "tool": "CPAchecker",
   "toolmodule": "benchexec.tools.cpachecker",
   "version": "1.4-svn 15944M"
  },
  {
   "benchmarkname": "test",
   "columns": [
    {
     "display_title": "status",
     "max_width": 12,
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "status",
     "type": "status"
    },
    {
     "display_title": "category",
     "max_width": 8,
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "category",
     "type": "text"
    },
    {
     "display_title": "score",
     "max_width": 5,
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "score",
     "type": "text"
    },
    {
     "display_title": "cputime",
     "max_width": 7,
     "number_of_significant_digits": 3,
     "relevant_for_diff": false,
     "scale_factor": 1,
     "source_unit": "s",
     "title": "cputime",
     "type": "measure",
     "unit": "s"
    },
    {
     "display_title": "setup",
     "max_width": 5,
     "number_of_significant_digits": 3,
     "pattern": "Time for analysis setup",
     "relevant_for_diff": false,
     "scale_factor": 1,
     "source_unit": "s",
     "title": "setup",
     "type": "measure",
     "unit": "s"
    },
    {
     "display_title": "non-existent",
     "max_width": 12,
     "pattern": "Pattern that does not match",
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "non-existent",
     "type": "text"
    },
    {
     "display_title": "SMT time",
     "max_width": 8,
     "pattern": "Total time for SMT solver",
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "SMT time",
     "type": "text"
    },
    {
     "display_title": "variable count",
     "max_width": 14,
     "pattern": "Number of variables",
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "variable count",
     "type": "count"
    }
   ],
   "cores": "8",
   "cpu": "Intel Core i7-2600 CPU @ 3.40GHz",
   "cpuCores": "1",
   "date": "2015-03-03 16:13:02 CET",
   "freq": "3401 MHz",
   "host": "tortuga",
   "memlimit": "3000 MB",
   "name": "valueAnalysis",
   "niceName": "valueAnalysis",
   "options": "-noout -setprop log.consoleLevel=WARNING -valueAnalysis",
   "os": "Linux 3.13.0-45-generic x86_64",
   "ram": "16389384 kB",
   "timelimit": "10 s",
   "tool": "CPAchecker",
   "toolmodule": "benchexec.tools.cpachecker",
   "version": "1.4-svn 15944M"
  },
  {
   "benchmarkname": "test",
   "columns": [
    {
     "display_title": "status",
     "max_width": 12,
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "status",
     "type": "status"
    },
    {
     "display_title": "category",
     "max_width": 8,
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "category",
     "type": "text"
    },
    {
     "display_title": "score",
     "max_width": 5,
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "score",
     "type": "text"
    },
    {
     "display_title": "cputime",
     "max_width": 7,
     "number_of_significant_digits": 3,
     "relevant_for_diff": false,
     "scale_factor": 1,
     "source_unit": "s",
     "title": "cputime",
     "type": "measure",
     "unit": "s"
    },
    {
     "display_title": "setup",
     "max_width": 5,
     "number_of_significant_digits": 3,
     "pattern": "Time for analysis setup",
     "relevant_for_diff": false,
     "scale_factor": 1,
     "source_unit": "s",
     "title": "setup",
     "type": "measure",
     "unit": "s"
    },
    {
     "display_title": "non-existent",
     "max_width": 12,
     "pattern": "Pattern that does not match",
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "non-existent",
     "type": "text"
    },
    {
     "display_title": "SMT time",
     "max_width": 8,
     "number_of_significant_digits": 3,
     "pattern": "Total time for SMT solver",
     "relevant_for_diff": false,
     "scale_factor": 1,
     "source_unit": "s",
     "title": "SMT time",
     "type": "measure",
     "unit": "s"
    },
    {
     "display_title": "variable count",
     "max_width": 14,
     "pattern": "Number of variables",
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "variable count",
     "type": "text"
    }
   ],
   "cores": "8",
   "cpu": "Intel Core i7-2600 CPU @ 3.40GHz",
   "cpuCores": "1",
   "date": "2015-03-03 18:15:20 CET",
   "freq": "3401 MHz",
   "host": "tortuga",
   "memlimit": "3000 MB",
   "name": "predicateAnalysis",
   "niceName": "predicateAnalysis",
   "options": "-noout -setprop log.consoleLevel=WARNING -predicateAnalysis",
   "os": "Linux 3.13.0-45-generic x86_64",
   "ram": "16389384 kB",
   "timelimit": "10 s",
   "tool": "CPAchecker",
   "toolmodule": "benchexec.tools.cpachecker",
   "version": "1.4-svn 15986M"
  },
  {
   "benchmarkname": "test",
   "columns": [
    {
     "display_title": "status",
     "max_width": 12,
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "status",
     "type": "status"
    },
    {
     "display_title": "category",
     "max_width": 8,
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "category",
     "type": "text"
    },
    {
     "display_title": "score",
     "max_width": 5,
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "score",
     "type": "text"
    },
    {
     "display_title": "cputime",
     "max_width": 7,
     "number_of_significant_digits": 3,
     "relevant_for_diff": false,
     "scale_factor": 1,
     "source_unit": "s",
     "title": "cputime",
     "type": "measure",
     "unit": "s"
    },
    {
     "display_title": "setup",
     "max_width": 5,
     "number_of_significant_digits": 3,
     "pattern": "Time for analysis setup",
     "relevant_for_diff": false,
     "scale_factor": 1,
     "source_unit": "s",
     "title": "setup",
     "type": "measure",
     "unit": "s"
    },
    {
     "display_title": "non-existent",
     "max_width": 12,
     "pattern": "Pattern that does not match",
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "non-existent",
     "type": "text"
    },
    {
     "display_title": "SMT time",
     "max_width": 8,
     "pattern": "Total time for SMT solver",
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "SMT time",
     "type": "text"
    },
    {
     "display_title": "variable count",
     "max_width": 14,
     "pattern": "Number of variables",
     "relevant_for_diff": false,
     "scale_factor": 1,
     "title": "variable count",
     "type": "count"
    }
   ],
   "cores": "8",
   "cpu": "Intel Core i7-2600 CPU @ 3.40GHz",
   "cpuCores": "1",
   "date": "2015-03-03 18:15:20 CET",
   "freq": "3401 MHz",
   "host": "tortuga",
   "memlimit": "3000 MB",
   "name": "valueAnalysis",
   "niceName": "valueAnalysis",
   "options": "-noout -setprop log.consoleLevel=WARNING -valueAnalysis",
   "os": "Linux 3.13.0-45-generic x86_64",
   "ram": "16389384 kB",
   "timelimit": "10 s",
   "tool": "CPAchecker",
   "toolmodule": "benchexec.tools.cpachecker",
   "version": "1.4-svn 15986M"
  }
 ],
 "version": "(test)"
}