{
 "head": {
  "branch": null,
  "date": {
   "content": [
    [
     "2019-11-06 09:32:28 CET",
     5
    ]
   ],
   "id": "date",
   "name": "Date of execution"
  },
  "displayName": null,
  "host": {
   "content": [
    [
     "t460p",
     5
    ]
   ],
   "id": "host",
   "name": "Host"
  },
  "limit": {
   "content": [
    [
     "timelimit: -, memlimit: -, CPU core limit: -",
     5
    ]
   ],
   "id": "limits",
   "name": "Limits"
  },
  "options": {
   "content": [
    [
     "true",
     5
    ]
   ],
   "id": "options",
   "name": "Options"
  },
  "os": {
   "content": [
    [
     "Linux-5.0.0-32-generic-x86_64-with-Ubuntu-18.04-bionic",
     5
    ]
   ],
   "id": "os",
   "name": "OS"
  },
  "property": null,
  "runset": {
   "content": [
    [
     "no options",
     5
    ]
   ],
   "id": "run",
   "name": "Run set"
  },
  "system": {
   "content": [
    [
     "CPU: Intel Core i5-6440HQ CPU @ 2.60GHz, cores: 4, frequency: 3500 MHz, Turbo Boost: enabled; RAM: 33587 MB",
     5
    ]
   ],
   "id": "system",
   "name": "System"
  },
  "task_id_names": [
   "Task name"
  ],
  "title": {
   "content": [
    [
     "status",
     1
    ],
    [
     "cputime (s)",
     1
    ],
    [
     "walltime (s)",
     1
    ],
    [
     "memory (MB)",
     1
    ],
    [
     "cpuenergy (J)",
     1
    ]
   ],
   "id": "columnTitles",
   "name": ""
  },
  "tool": {
   "content": [
    [
     "DummyTool ",
     5
    ]
   ],
   "id": "tool",
   "name": "Tool"
  }
 },
 "initial": null,
 "rows": [
  {
   "href": "../doc/benchmark.dtd",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/benchmark.dtd"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.benchmark.dtd.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00162",
       "raw": "0.001618668"
      },
      {
       "html": ".00434",
       "raw": "0.004338094004197046"
      },
      {
       "html": ".262",
       "raw": "0.262144"
      },
      {
       "html": ".0148 ",
       "raw": "0.014832"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/result.dtd",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/result.dtd"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.result.dtd.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00183",
       "raw": "0.001826659"
      },
      {
       "html": ".00456",
       "raw": "0.004560797999147326"
      },
      {
       "html": ".254",
       "raw": "0.253952"
      },
      {
       "html": ".0281 ",
       "raw": "0.028137"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/table.dtd",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/table.dtd"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.table.dtd.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00204",
       "raw": "0.002039817"
      },
      {
       "html": ".00592",
       "raw": "0.005922370000916999"
      },
      {
       "html": ".287",
       "raw": "0.286720"
      },
      {}
     ]
    }
   ]
  },
  {
   "href": "../doc/DEVELOPMENT.md",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/DEVELOPMENT.md"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.DEVELOPMENT.md.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00230",
       "raw": "0.002296848"
      },
      {
       "html": ".00579",
       "raw": "0.005788779002614319"
      },
      {
       "html": ".254",
       "raw": "0.253952"
      },
      {
       "html": "0      ",
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/INDEX.md",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/INDEX.md"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.INDEX.md.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00173",
       "raw": "0.001726275"
      },
      {
       "html": ".00407",
       "raw": "0.004074042000866029"
      },
      {
       "html": ".250",
       "raw": "0.249856"
      },
      {
       "html": "0      ",
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/INSTALL.md",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/INSTALL.md"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.INSTALL.md.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00198",
       "raw": "0.001979501"
      },
      {
       "html": ".00514",
       "raw": "0.00514046899479581"
      },
      {
       "html": ".287",
       "raw": "0.286720"
      },
      {
       "html": "0      ",
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/benchexec.md",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/benchexec.md"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.benchexec.md.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00401",
       "raw": "0.004007335"
      },
      {
       "html": ".00919",
       "raw": "0.009185946997604333"
      },
      {
       "html": ".287",
       "raw": "0.286720"
      },
      {
       "html": "0      ",
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/benchmarking.md",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/benchmarking.md"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.benchmarking.md.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00463",
       "raw": "0.004633289"
      },
      {
       "html": ".0145 ",
       "raw": "0.014527131002978422"
      },
      {
       "html": ".287",
       "raw": "0.286720"
      },
      {
       "html": "0      ",
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/container.md",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/container.md"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.container.md.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00324",
       "raw": "0.003244617"
      },
      {
       "html": ".00987",
       "raw": "0.009874222996586468"
      },
      {
       "html": ".254",
       "raw": "0.253952"
      },
      {
       "html": ".0334 ",
       "raw": "0.033386"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/resources.md",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/resources.md"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.resources.md.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00439",
       "raw": "0.004392859"
      },
      {
       "html": ".0156 ",
       "raw": "0.015613405994372442"
      },
      {
       "html": ".287",
       "raw": "0.286720"
      },
      {
       "html": "0      ",
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/run-results.md",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/run-results.md"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.run-results.md.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00499",
       "raw": "0.004988435"
      },
      {
       "html": ".0129 ",
       "raw": "0.012905390998639632"
      },
      {
       "html": ".250",
       "raw": "0.249856"
      },
      {
       "html": ".00507",
       "raw": "0.005066"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/runexec.md",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/runexec.md"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.runexec.md.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00479",
       "raw": "0.004791855"
      },
      {
       "html": ".0110 ",
       "raw": "0.010970504998113029"
      },
      {
       "html": ".250",
       "raw": "0.249856"
      },
      {
       "html": "0      ",
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/table-generator.md",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/table-generator.md"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.table-generator.md.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00435",
       "raw": "0.004350979"
      },
      {
       "html": ".0122 ",
       "raw": "0.012150137998105492"
      },
      {
       "html": ".262",
       "raw": "0.262144"
      },
      {
       "html": "0      ",
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/tool-integration.md",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/tool-integration.md"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.tool-integration.md.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00428",
       "raw": "0.00427634"
      },
      {
       "html": ".00791",
       "raw": "0.007912149994808715"
      },
      {
       "html": ".279",
       "raw": "0.278528"
      },
      {
       "html": "0      ",
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/benchmark-example-calculatepi.xml",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/benchmark-example-calculatepi.xml"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.benchmark-example-calculatepi.xml.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00430",
       "raw": "0.004300348"
      },
      {
       "html": ".00924",
       "raw": "0.009237630001734942"
      },
      {
       "html": ".250",
       "raw": "0.249856"
      },
      {
       "html": "0      ",
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/benchmark-example-cbmc.xml",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/benchmark-example-cbmc.xml"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.benchmark-example-cbmc.xml.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00386",
       "raw": "0.003860758"
      },
      {
       "html": ".0114 ",
       "raw": "0.011412734995246865"
      },
      {
       "html": ".287",
       "raw": "0.286720"
      },
      {
       "html": "0      ",
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/benchmark-example-rand.xml",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/benchmark-example-rand.xml"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.benchmark-example-rand.xml.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00442",
       "raw": "0.004420762"
      },
      {
       "html": ".0111 ",
       "raw": "0.011073210000176914"
      },
      {
       "html": ".254",
       "raw": "0.253952"
      },
      {
       "html": "0      ",
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/benchmark-example-true.xml",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/benchmark-example-true.xml"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.benchmark-example-true.xml.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00517",
       "raw": "0.005168485"
      },
      {
       "html": ".0110 ",
       "raw": "0.01097818699781783"
      },
      {
       "html": ".385",
       "raw": "0.385024"
      },
      {
       "html": "0      ",
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/benchmark.xml",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/benchmark.xml"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.benchmark.xml.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00459",
       "raw": "0.004588429"
      },
      {
       "html": ".0137 ",
       "raw": "0.013661452998348977"
      },
      {
       "html": ".287",
       "raw": "0.286720"
      },
      {
       "html": ".00897",
       "raw": "0.008972"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/table-generator-basic.xml",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/table-generator-basic.xml"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.table-generator-basic.xml.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00402",
       "raw": "0.004022495"
      },
      {
       "html": ".00962",
       "raw": "0.009622956000384875"
      },
      {
       "html": ".291",
       "raw": "0.290816"
      },
      {
       "html": "0      ",
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/table-generator-example.xml",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/table-generator-example.xml"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.table-generator-example.xml.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00421",
       "raw": "0.004206491"
      },
      {
       "html": ".00957",
       "raw": "0.009571135000442155"
      },
      {
       "html": ".250",
       "raw": "0.249856"
      },
      {
       "html": "0      ",
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/table-generator.xml",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/table-generator.xml"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.table-generator.xml.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00516",
       "raw": "0.005157266"
      },
      {
       "html": ".0119 ",
       "raw": "0.011915394999959972"
      },
      {
       "html": ".287",
       "raw": "0.286720"
      },
      {
       "html": ".00263",
       "raw": "0.002625"
      }
     ]
    }
   ]
  },
  {
   "href": "../doc/task-definition-example.yml",
   "id": [
    "benchexec/tablegenerator/test_integration/doc/task-definition-example.yml"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.task-definition-example.yml.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00483",
       "raw": "0.00482794"
      },
      {
       "html": ".0136 ",
       "raw": "0.013622508005937561"
      },
      {
       "html": ".254",
       "raw": "0.253952"
      },
      {
       "html": "0      ",
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "id": [
    "dummy task 1"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.dummy%20task%201.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00500",
       "raw": "0.004999807"
      },
      {
       "html": ".0127 ",
       "raw": "0.012675965001108125"
      },
      {
       "html": ".344",
       "raw": "0.344064"
      },
      {
       "html": ".00482",
       "raw": "0.004822"
      }
     ]
    }
   ]
  },
  {
   "id": [
    "dummy task 2"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.dummy%20task%202.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00507",
       "raw": "0.00507474"
      },
      {
       "html": ".0139 ",
       "raw": "0.01388536599552026"
      },
      {
       "html": ".373",
       "raw": "0.372736"
      },
      {
       "html": "0      ",
       "raw": "0"
      }
     ]
    }
   ]
  },
  {
   "id": [
    "dummy task 3"
   ],
   "results": [
    {
     "category": "missing",
     "href": "../results/benchmark-example-true.2019-11-06_0932.logfiles/no%20options.dummy%20task%203.log",
     "values": [
      {
       "raw": "true"
      },
      {
       "html": ".00463",
       "raw": "0.004628365"
      },
      {
       "html": ".0140 ",
       "raw": "0.014039524998224806"
      },
      {
       "html": ".254",
       "raw": "0.253952"
      },
      {
       "html": ".00983",
       "raw": "0.009827"
      }
     ]
    }
   ]
  }
 ],
 "stats": [
  {
   "content": [
    [
     {
      "sum": 26
     },
     {
      "avg": "0.00390",
      "max": "0.00517",
      "median": "0.00433",
      "min": "0.00162",
      "stdev": "0.00117",
      "sum": ".101"
     },
     {
      "avg": "0.0102",
      "max": "0.0156",
      "median": "0.0110",
      "min": "0.00407",
      "stdev": "0.00339",
      "sum": ".265"
     },
     {
      "avg": "0.279",
      "max": "0.385",
      "median": "0.270",
      "min": "0.250",
      "stdev": "0.0359",
      "sum": "7.26"
     },
     {
      "avg": "0.00431",
      "max": "0.0334",
      "median": "0",
      "min": "0",
      "stdev": "0.00871",
      "sum": ".108"
     }
    ]
   ],
   "description": "",
   "id": null,
   "title": "total"
  },
  {
   "content": [
    [
     null,
     {
      "sum": "1.49 "
     },
     {
      "sum": "5.42 "
     },
     null,
     {
      "sum": "13.5  "
     }
    ]
   ],
   "description": "(This line contains some statistics from local execution. Only trust those values, if you use your own computer.)",
   "id": null,
   "title": "local summary"
  }
 ],
 "tools": [
  {
   "benchmarkname": "benchmark-example-true",
   "columns": [
    {
     "display_title": "status",
     "max_width": 6,
     "relevant_for_diff": false,
     "title": "status",
     "type": "status"
    },
    {
     "display_title": "cputime",
     "max_width": 7,
     "number_of_significant_digits": 3,
     "relevant_for_diff": false,
     "title": "cputime",
     "type": "measure",
     "unit": "s"
    },
    {
     "display_title": "walltime",
     "max_width": 8,
     "number_of_significant_digits": 3,
     "relevant_for_diff": false,
     "title": "walltime",
     "type": "measure",
     "unit": "s"
    },
    {
     "display_title": "memory",
     "max_width": 6,
     "number_of_significant_digits": 3,
     "relevant_for_diff": false,
     "title": "memory",
     "type": "measure",
     "unit": "MB"
    },
    {
     "display_title": "cpuenergy",
     "max_width": 9,
     "number_of_significant_digits": 3,
     "relevant_for_diff": false,
     "title": "cpuenergy",
     "type": "measure",
     "unit": "J"
    }
   ],
   "cores": "4",
   "cpu": "Intel Core i5-6440HQ CPU @ 2.60GHz",
   "cpuCores": "-",
   "date": "2019-11-06 09:32:28 CET",
   "freq": "3500 MHz",
   "generator": "BenchExec 2.3-dev",
   "host": "t460p",
   "memlimit": "-",
   "name": "no options",
   "niceName": "no options",
   "options": "true",
   "os": "Linux-5.0.0-32-generic-x86_64-with-Ubuntu-18.04-bionic",
   "ram": "33587 MB",
   "timelimit": "-",
   "tool": "DummyTool",
   "toolmodule": "benchexec.tools.dummy",
   "turbo": ", Turbo Boost: enabled"
  }
 ],
 "version": "(test)"
}