[ { "architecture": "32bit", "creationtime": "2019-02-06T00:49:45+01:00", "entryfunction": "main", "producer": "CPAchecker 1.8-svn 30375", "program-sha256": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916", "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label00.c", "programhash": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916", "sourcecodelang": "C", "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )", "witness-file": "fileByHash/d71b7841e5a08b5518ba1b37c6414fe88efc19c4d5815d1be0720db061d070e1.zip", "witness-number-of-tests": 101, "witness-sha256": "d71b7841e5a08b5518ba1b37c6414fe88efc19c4d5815d1be0720db061d070e1", "witness-size": 36225, "witness-type": "test-suite" }, { "architecture": "64bit", "creationtime": "2019-02-06T05:27:17Z", "entryfunction": "main", "producer": "KLEE 2.0.0-pre-test-comp", "program-sha256": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916", "programfile": "Problem03_label00.c.c", "programhash": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916", "sourcecodelang": "C", "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )", "witness-file": "fileByHash/61dd05a408007a70abda1fdf281bfb34d4a29d8c41c21e623bf2f228582e6c2f.zip", "witness-number-of-tests": 388, "witness-sha256": "61dd05a408007a70abda1fdf281bfb34d4a29d8c41c21e623bf2f228582e6c2f", "witness-size": 249378, "witness-type": "test-suite" }, { "architecture": "32bit", "creationtime": "2019-02-06T00:52:20+01:00", "entryfunction": "main", "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19", "program-sha256": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916", "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label00.c", "programhash": "c6a19ecaef15a75040b8f4e50da40a14586b9f850455e15a870fa5b2facf6916", "sourcecodelang": "C", "specification": "COVER EDGES(@DECISIONEDGE)", "witness-file": "fileByHash/587d1dafb156c474d7697f79bdf91a39d774e89d9d39d2999e5a7a1f385543c2.zip", "witness-number-of-tests": 476, "witness-sha256": "587d1dafb156c474d7697f79bdf91a39d774e89d9d39d2999e5a7a1f385543c2", "witness-size": 186963, "witness-type": "test-suite" } ]