{ "architecture": "32bit", "creationtime": "2019-02-05T23:47:34+01:00", "entryfunction": "main", "producer": "CPAchecker 1.8-svn 30375", "program-sha256": "301dbff99bcaefbc34fb3a0c6bc2cd9d8529bcf9fddb40ec031b3dc8b61cb3bd", "programfile": "../../sv-benchmarks/c/seq-mthreaded/pals_floodmax.5.1.ufo.BOUNDED-10.pals.c", "programhash": "301dbff99bcaefbc34fb3a0c6bc2cd9d8529bcf9fddb40ec031b3dc8b61cb3bd", "sourcecodelang": "C", "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )", "witness-file": "fileByHash/59ac929fbc123b3d5fd0dedddeaaa293157d8666e8b11883dd16b1c5be0a2379.zip", "witness-number-of-tests": 1, "witness-sha256": "59ac929fbc123b3d5fd0dedddeaaa293157d8666e8b11883dd16b1c5be0a2379", "witness-size": 10185, "witness-type": "test-suite" }