{ "head": { "branch": null, "date": { "content": [ [ "2015-03-03 16:13:02 CET", 5 ] ], "id": "date", "name": "Date of execution" }, "displayName": null, "host": { "content": [ [ "tortuga", 5 ] ], "id": "host", "name": "Host" }, "limit": { "content": [ [ "timelimit: 10 s, memlimit: 3000 MB, CPU core limit: 1", 5 ] ], "id": "limits", "name": "Limits" }, "options": { "content": [ [ "-noout -setprop log.consoleLevel=WARNING -predicateAnalysis", 5 ] ], "id": "options", "name": "Options" }, "os": { "content": [ [ "Linux 3.13.0-45-generic x86_64", 5 ] ], "id": "os", "name": "OS" }, "property": { "content": [ [ "unreach-label", 5 ] ], "id": "property", "name": "Properties" }, "runset": { "content": [ [ "predicateAnalysis.0", 5 ] ], "id": "run", "name": "Run set" }, "system": { "content": [ [ "CPU: Intel Core i7-2600 CPU @ 3.40GHz, cores: 8, frequency: 3401 MHz; RAM: 16389384 kB", 5 ] ], "id": "system", "name": "System" }, "title": { "content": [ [ "status", 1 ], [ "cputime (s)", 1 ], [ "walltime (s)", 1 ], [ "memory (MB)", 1 ], [ "score", 1 ] ], "id": "columnTitles", "name": "benchexec/tablegenerator/test_integration/results/test/programs/simple/" }, "tool": { "content": [ [ "CPAchecker 1.4-svn 15944M", 5 ] ], "id": "tool", "name": "Tool" } }, "rows": [ { "href": "../results/test/programs/simple/bitvectors/implicitunsignedconversion_false-unreach-label.i", "id": [ "bitvectors/implicitunsignedconversion_false-unreach-label.i" ], "results": [ { "category": "wrong", "href": "../results/test.2015-03-03_1613.logfiles/predicateAnalysis.implicitunsignedconversion_false-unreach-label.i.log", "values": [ { "raw": "true" }, { "html": "2.17", "raw": "2.169189428" }, { "html": "2.18", "raw": "2.1783649921417236" }, { "html": "128", "raw": "128.032768" }, { "html": "0   ", "raw": "0" } ] } ] }, { "href": "../results/test/programs/simple/switch_test_default_fallthrough_false-unreach-label.c", "id": [ "switch_test_default_fallthrough_false-unreach-label.c" ], "results": [ { "category": "correct", "href": "../results/test.2015-03-03_1613.logfiles/predicateAnalysis.switch_test_default_fallthrough_false-unreach-label.c.log", "values": [ { "raw": "false(reach)" }, { "html": "2.19", "raw": "2.189887353" }, { "html": "2.20", "raw": "2.1968865394592285" }, { "html": "129", "raw": "129.11820799999998" }, { "html": "10   ", "raw": "10" } ] } ] }, { "href": "../results/test/programs/simple/compoundLiteral_true-unreach-label.c", "id": [ "compoundLiteral_true-unreach-label.c" ], "results": [ { "category": "correct", "href": "../results/test.2015-03-03_1613.logfiles/predicateAnalysis.compoundLiteral_true-unreach-label.c.log", "values": [ { "raw": "true" }, { "html": "2.23", "raw": "2.22954344" }, { "html": "2.24", "raw": "2.237081289291382" }, { "html": "132", "raw": "132.337664" }, { "html": "-2.5 ", "raw": "-2.5" } ] } ] } ], "stats": [ { "content": [ [ { "sum": 3 }, { "avg": "2.20", "max": "2.23", "median": "2.19", "min": "2.17", "stdev": "0.0250", "sum": "6.59" }, { "avg": "2.20", "max": "2.24", "median": "2.20", "min": "2.18", "stdev": "0.0245", "sum": "6.61" }, { "avg": "130", "max": "132", "median": "129", "min": "128", "stdev": "1.83", "sum": "389" }, { "avg": "2.5", "max": "10", "median": "0", "min": "-2.5", "stdev": "5.40", "sum": "7.5 " } ] ], "description": "in total 1 true tasks, 2 false tasks", "id": null, "title": "total" }, { "content": [ [ { "sum": 2 }, { "avg": "2.21", "max": "2.23", "median": "2.21", "min": "2.19", "stdev": "0.0198", "sum": "4.42" }, { "avg": "2.22", "max": "2.24", "median": "2.22", "min": "2.20", "stdev": "0.0201", "sum": "4.43" }, { "avg": "131", "max": "132", "median": "131", "min": "129", "stdev": "1.61", "sum": "261" }, { "avg": "3.75", "max": "10", "median": "3.75", "min": "-2.5", "stdev": "6.25", "sum": "7.5 " } ] ], "description": "(property holds + result is true) OR (property does not hold + result is false)", "id": null, "title": "    correct results" }, { "content": [ [ { "sum": 1 }, { "avg": "2.23", "max": "2.23", "median": "2.23", "min": "2.23", "stdev": "0", "sum": "2.23" }, { "avg": "2.24", "max": "2.24", "median": "2.24", "min": "2.24", "stdev": "0", "sum": "2.24" }, { "avg": "132", "max": "132", "median": "132", "min": "132", "stdev": "0", "sum": "132" }, { "avg": "-2.5", "max": "-2.5", "median": "-2.5", "min": "-2.5", "stdev": "0.0", "sum": "-2.5 " } ] ], "description": "property holds + result is true", "id": null, "title": "        correct true" }, { "content": [ [ { "sum": 1 }, { "avg": "2.19", "max": "2.19", "median": "2.19", "min": "2.19", "stdev": "0", "sum": "2.19" }, { "avg": "2.20", "max": "2.20", "median": "2.20", "min": "2.20", "stdev": "0", "sum": "2.20" }, { "avg": "129", "max": "129", "median": "129", "min": "129", "stdev": "0", "sum": "129" }, { "avg": "10", "max": "10", "median": "10", "min": "10", "stdev": "0", "sum": "10   " } ] ], "description": "property does not hold + result is false", "id": null, "title": "        correct false" }, { "content": [ [ { "sum": 1 }, { "avg": "2.17", "max": "2.17", "median": "2.17", "min": "2.17", "stdev": "0", "sum": "2.17" }, { "avg": "2.18", "max": "2.18", "median": "2.18", "min": "2.18", "stdev": "0", "sum": "2.18" }, { "avg": "128", "max": "128", "median": "128", "min": "128", "stdev": "0", "sum": "128" }, { "avg": "0", "max": "0", "median": "0", "min": "0", "stdev": "0", "sum": "0   " } ] ], "description": "(property holds + result is false) OR (property does not hold + result is true)", "id": null, "title": "    incorrect results" }, { "content": [ [ { "sum": 1 }, { "avg": "2.17", "max": "2.17", "median": "2.17", "min": "2.17", "stdev": "0", "sum": "2.17" }, { "avg": "2.18", "max": "2.18", "median": "2.18", "min": "2.18", "stdev": "0", "sum": "2.18" }, { "avg": "128", "max": "128", "median": "128", "min": "128", "stdev": "0", "sum": "128" }, { "avg": "0", "max": "0", "median": "0", "min": "0", "stdev": "0", "sum": "0   " } ] ], "description": "property does not hold + result is true", "id": null, "title": "        incorrect true" }, { "content": [ [ { "sum": 0 }, null, null, null, null ] ], "description": "property holds + result is false", "id": null, "title": "        incorrect false" }, { "content": [ [ { "sum": -29 }, null, null, null, null ] ], "description": "in total 1 true tasks, 2 false tasks", "id": "score", "title": "score (3 tasks, max score: 4)" } ], "tools": [ { "benchmarkname": "test", "block": "0", "columns": [ { "display_title": "status", "max_width": 12, "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": "memUsage", "type": "measure", "unit": "MB" }, { "display_title": "score", "max_width": 5, "relevant_for_diff": false, "scale_factor": 1, "title": "score", "type": "measure" } ], "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.0", "niceName": "predicateAnalysis.0", "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" } ], "version": "(test)" }