[
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 07:43:26 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "7f1687fad61723612293f412c54827ee541a943f87fc6218f343bd7254413f68",
    "programfile": "../../sv-benchmarks/c/loops/terminator_02-2.c",
    "programhash": "7f1687fad61723612293f412c54827ee541a943f87fc6218f343bd7254413f68",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/a2be1182ee21acac23ec4e02a01ec11203c8c4d1c6d069f1ac6ca74b8536c39b.zip",
    "witness-number-of-tests": 30,
    "witness-sha256": "a2be1182ee21acac23ec4e02a01ec11203c8c4d1c6d069f1ac6ca74b8536c39b",
    "witness-size": 24310,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:41:27",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "7f1687fad61723612293f412c54827ee541a943f87fc6218f343bd7254413f68",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_1fddbfc7-859e-48fd-92da-ac48c60a50cf/sv-benchmarks/c/loops/terminator_02-2.c",
    "programhash": "7f1687fad61723612293f412c54827ee541a943f87fc6218f343bd7254413f68",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/472f0fe599cd91a40ba2b144bfe400fccfcf0600d12639c7043b50f3c4c1ee6d.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "472f0fe599cd91a40ba2b144bfe400fccfcf0600d12639c7043b50f3c4c1ee6d",
    "witness-size": 8138,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:13:29Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "7f1687fad61723612293f412c54827ee541a943f87fc6218f343bd7254413f68",
    "programfile": "terminator_02-2.c.c",
    "programhash": "7f1687fad61723612293f412c54827ee541a943f87fc6218f343bd7254413f68",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/7fe0062ca2805e5ac964d055db41941c1fd2a121f8ea2f1c059a8038b4ac7f38.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "7fe0062ca2805e5ac964d055db41941c1fd2a121f8ea2f1c059a8038b4ac7f38",
    "witness-size": 34905,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 10:54:23.602830",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "7f1687fad61723612293f412c54827ee541a943f87fc6218f343bd7254413f68",
    "programfile": "../../sv-benchmarks/c/loops/terminator_02-2.c",
    "programhash": "7f1687fad61723612293f412c54827ee541a943f87fc6218f343bd7254413f68",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/2cd6a8449c69cf3f84d1735bd78ded8377f71a01f04ec28ee8ae3ce0165bd141.zip",
    "witness-number-of-tests": 696,
    "witness-sha256": "2cd6a8449c69cf3f84d1735bd78ded8377f71a01f04ec28ee8ae3ce0165bd141",
    "witness-size": 306308,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T11:08:22+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "7f1687fad61723612293f412c54827ee541a943f87fc6218f343bd7254413f68",
    "programfile": "../../sv-benchmarks/c/loops/terminator_02-2.c",
    "programhash": "7f1687fad61723612293f412c54827ee541a943f87fc6218f343bd7254413f68",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/ee366a0f1d2df3b69cfd91e5ae74e3b01586401d71c0cb597f8322fc66d8cd82.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "ee366a0f1d2df3b69cfd91e5ae74e3b01586401d71c0cb597f8322fc66d8cd82",
    "witness-size": 3585,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T13:37:56Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "7f1687fad61723612293f412c54827ee541a943f87fc6218f343bd7254413f68",
    "programfile": "terminator_02-2.c.c",
    "programhash": "7f1687fad61723612293f412c54827ee541a943f87fc6218f343bd7254413f68",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/1a6a85959d720553be04b7591ff822fb960ea9814cf9309def4404a2128986c5.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "1a6a85959d720553be04b7591ff822fb960ea9814cf9309def4404a2128986c5",
    "witness-size": 31156,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:47:33+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "7f1687fad61723612293f412c54827ee541a943f87fc6218f343bd7254413f68",
    "programfile": "../../sv-benchmarks/c/loops/terminator_02-2.c",
    "programhash": "7f1687fad61723612293f412c54827ee541a943f87fc6218f343bd7254413f68",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/79388399fa1335c6cd1738b5ef2ec4e9806c584777399d421d1ac4d5a7bd6a9e.zip",
    "witness-number-of-tests": 13,
    "witness-sha256": "79388399fa1335c6cd1738b5ef2ec4e9806c584777399d421d1ac4d5a7bd6a9e",
    "witness-size": 5187,
    "witness-type": "test-suite"
  }
]