[
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:19:12+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "51e83bad4a7cd48ea2552a05b8834055e25da9cb35a3e59f5ca82965abb556a7",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/max05-1.i",
    "programhash": "51e83bad4a7cd48ea2552a05b8834055e25da9cb35a3e59f5ca82965abb556a7",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/c41655c3422e1a515d92b3c6e86823f2cc1421f002ef39325cbf1cc7d40eae62.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "c41655c3422e1a515d92b3c6e86823f2cc1421f002ef39325cbf1cc7d40eae62",
    "witness-size": 2235,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T09:30 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "51e83bad4a7cd48ea2552a05b8834055e25da9cb35a3e59f5ca82965abb556a7",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_22cb688c-cec4-4727-84cd-31fd90aaa58f/sv-benchmarks/c/reducercommutativity/max05-1.i",
    "programhash": "51e83bad4a7cd48ea2552a05b8834055e25da9cb35a3e59f5ca82965abb556a7",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/d566c674211e749bf223a68aaf901cc0770949fbfbd481830e1fb68e7382f180.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "d566c674211e749bf223a68aaf901cc0770949fbfbd481830e1fb68e7382f180",
    "witness-size": 904,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T21:21:24Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "51e83bad4a7cd48ea2552a05b8834055e25da9cb35a3e59f5ca82965abb556a7",
    "programfile": "max05-1.i.c",
    "programhash": "51e83bad4a7cd48ea2552a05b8834055e25da9cb35a3e59f5ca82965abb556a7",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/a89a1bf2cd01e2a1df21a72349a47d6383aa494161ea8e2edff3f2c90dc21355.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "a89a1bf2cd01e2a1df21a72349a47d6383aa494161ea8e2edff3f2c90dc21355",
    "witness-size": 6156,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T01:41:17+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "51e83bad4a7cd48ea2552a05b8834055e25da9cb35a3e59f5ca82965abb556a7",
    "programfile": "../../sv-benchmarks/c/reducercommutativity/max05-1.i",
    "programhash": "51e83bad4a7cd48ea2552a05b8834055e25da9cb35a3e59f5ca82965abb556a7",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b753957036a208ee46a7c2204c49fb428bc596615078cb24e559a52b97c13a19.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "b753957036a208ee46a7c2204c49fb428bc596615078cb24e559a52b97c13a19",
    "witness-size": 3454,
    "witness-type": "test-suite"
  }
]