{ "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" }, "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" } }, "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.28672" }, {} ] } ] }, { "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.28672" }, { "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.28672" }, { "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.28672" }, { "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.28672" }, { "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.28672" }, { "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.28672" }, { "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.29081599999999996" }, { "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.28672" }, { "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.37273599999999996" }, { "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, "scale_factor": 1, "title": "status", "type": "status" }, { "display_title": "cputime", "max_width": 7, "relevant_for_diff": false, "scale_factor": 1, "source_unit": "s", "title": "cputime", "type": "measure", "unit": "s" }, { "display_title": "walltime", "max_width": 8, "relevant_for_diff": false, "scale_factor": 1, "source_unit": "s", "title": "walltime", "type": "measure", "unit": "s" }, { "display_title": "memory", "max_width": 6, "relevant_for_diff": false, "scale_factor": 1e-06, "source_unit": "B", "title": "memory", "type": "measure", "unit": "MB" }, { "display_title": "cpuenergy", "max_width": 9, "relevant_for_diff": false, "scale_factor": 1, "source_unit": "J", "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)" }