[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T22:05:10Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "terminator_03-1.c.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/52e1c64ea960e9593332d149232fd24f47ec25ffe0fe20d33c4e2792b8b50910.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "52e1c64ea960e9593332d149232fd24f47ec25ffe0fe20d33c4e2792b8b50910",
    "witness-size": 2781,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T23:21:47Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "terminator_03-1.c.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/c61858ecca55ff488d2ce8aa11d8355665791661c37c9555d7b53d70bf67526a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "c61858ecca55ff488d2ce8aa11d8355665791661c37c9555d7b53d70bf67526a",
    "witness-size": 4502,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:57:57+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "../../sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/d16e232ed9ebe2ba8f6fb105aec2c3d749c0ec390b48723bffebf0c7db0186da.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "d16e232ed9ebe2ba8f6fb105aec2c3d749c0ec390b48723bffebf0c7db0186da",
    "witness-size": 992,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:54 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_32eb8ba7-667a-4970-9626-abf1a778bd16/sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/be3f8cd60ed0bc8634ae311ea4774be13418c660c78ddb785cabd2c3c0e3c9c0.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "be3f8cd60ed0bc8634ae311ea4774be13418c660c78ddb785cabd2c3c0e3c9c0",
    "witness-size": 2719,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:35:32+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "../../sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/021bb16d55d5c55f24f2b70f8885da5f6b128b9bdcb78a90a51a06a4bed26886.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "021bb16d55d5c55f24f2b70f8885da5f6b128b9bdcb78a90a51a06a4bed26886",
    "witness-size": 3369,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T13:38 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_b4bd9809-031c-4c46-bb35-1e38997ed352/sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/bfc89238b47f94086588c4a6007df69728a5ada7e536838ecff58f88ed703d6b.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "bfc89238b47f94086588c4a6007df69728a5ada7e536838ecff58f88ed703d6b",
    "witness-size": 921,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:57:57+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "../../sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/808041d5a0a9122c283c56aa98162e0da49627559646e3b3fd94df852837977d.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "808041d5a0a9122c283c56aa98162e0da49627559646e3b3fd94df852837977d",
    "witness-size": 2751,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T23:21:47Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "terminator_03-1.c.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/f68dd8250281d4d4ad5fb7850e5a4008d4247f9a98e96db994107c496e8d8740.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f68dd8250281d4d4ad5fb7850e5a4008d4247f9a98e96db994107c496e8d8740",
    "witness-size": 2783,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T05:35:32+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "../../sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/43d66407d549c0383faf589aca242e6ac94a05d1eaa7a39a4ad678a96cf310f0.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "43d66407d549c0383faf589aca242e6ac94a05d1eaa7a39a4ad678a96cf310f0",
    "witness-size": 2804,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T08:46 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_32eb8ba7-667a-4970-9626-abf1a778bd16/sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/7acb8eab7dbeeee60072db29d6646f31d18cfe1ea1e35cb6add55372cfc314b3.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "7acb8eab7dbeeee60072db29d6646f31d18cfe1ea1e35cb6add55372cfc314b3",
    "witness-size": 1605,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:24:22+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "../../sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/627aa35c37b9d608d49b181fa1ed6fb699f5a333496d37ff386722215a6bf151.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "627aa35c37b9d608d49b181fa1ed6fb699f5a333496d37ff386722215a6bf151",
    "witness-size": 2746,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:30:06+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "../../sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/1249eb3796277ee3c543b361ce1b6951d7c9f63d43d38854d0dac8eb182d41cb.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "1249eb3796277ee3c543b361ce1b6951d7c9f63d43d38854d0dac8eb182d41cb",
    "witness-size": 1049,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-05T22:05:10Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "terminator_03-1.c.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/410b672d544746860ce56b1adf2a46ebaf401df06233fde5db94406fe4f62e65.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "410b672d544746860ce56b1adf2a46ebaf401df06233fde5db94406fe4f62e65",
    "witness-size": 20570,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:24:22+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "../../sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/d6777c0367e1041942ef2c86e98a272cd21144ba94e0df42f76f691d39002f36.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "d6777c0367e1041942ef2c86e98a272cd21144ba94e0df42f76f691d39002f36",
    "witness-size": 3409,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T00:30:06+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "../../sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/d77420e59a4fe09a8333adcb9044ea3c4633654a5c6b63e58c779b6835e61526.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "d77420e59a4fe09a8333adcb9044ea3c4633654a5c6b63e58c779b6835e61526",
    "witness-size": 2810,
    "witness-type": "test-suite"
  }
]