[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 00:40:46.486656",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b",
    "programfile": "../../sv-benchmarks/c/bitvector/gcd_2.c",
    "programhash": "e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/da284e64fa3104cbd76645c893cce5fed5a6ebb677507ee294e2a86728bfe536.zip",
    "witness-number-of-tests": 350,
    "witness-sha256": "da284e64fa3104cbd76645c893cce5fed5a6ebb677507ee294e2a86728bfe536",
    "witness-size": 151788,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:21:54Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b",
    "programfile": "gcd_2.c.c",
    "programhash": "e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/af0fbee2e9a1af0588bf68f87a796d0740aaadb89b43be660726436899b2235c.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "af0fbee2e9a1af0588bf68f87a796d0740aaadb89b43be660726436899b2235c",
    "witness-size": 5007,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:47:21Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b",
    "programfile": "gcd_2.c.c",
    "programhash": "e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/b925a7451ec5d6d3cff8778b12d997236854d84545a58eee9a17b24c98c18442.zip",
    "witness-number-of-tests": 24,
    "witness-sha256": "b925a7451ec5d6d3cff8778b12d997236854d84545a58eee9a17b24c98c18442",
    "witness-size": 27742,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:38:58+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b",
    "programfile": "../../sv-benchmarks/c/bitvector/gcd_2.c",
    "programhash": "e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/3fda82cd3df4f0dc2f4fa6ecb9c7cc62071a2a8bc7cd971d5517dec4dbe7d676.zip",
    "witness-number-of-tests": 9,
    "witness-sha256": "3fda82cd3df4f0dc2f4fa6ecb9c7cc62071a2a8bc7cd971d5517dec4dbe7d676",
    "witness-size": 3764,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 08:18:36 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b",
    "programfile": "../../sv-benchmarks/c/bitvector/gcd_2.c",
    "programhash": "e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/1257bb6722499eba8edd2e7d4801490b9eb8e9f62b74e275b5994b78f2ba1ada.zip",
    "witness-number-of-tests": 12,
    "witness-sha256": "1257bb6722499eba8edd2e7d4801490b9eb8e9f62b74e275b5994b78f2ba1ada",
    "witness-size": 13861,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:36:31",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_69d005de-e856-4178-9c7e-7363cd7ceb86/sv-benchmarks/c/bitvector/gcd_2.c",
    "programhash": "e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/02b0ff9a630c7604115dcd44cf99455960fb9514477d53be1fdfe2e0df199014.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "02b0ff9a630c7604115dcd44cf99455960fb9514477d53be1fdfe2e0df199014",
    "witness-size": 10311,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T02:36:50+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b",
    "programfile": "../../sv-benchmarks/c/bitvector/gcd_2.c",
    "programhash": "e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/7a62e2446f9f838aa1b84ef34b5b20167802b14350ff9dcf7db180cceb4285da.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "7a62e2446f9f838aa1b84ef34b5b20167802b14350ff9dcf7db180cceb4285da",
    "witness-size": 2443,
    "witness-type": "test-suite"
  }
]