[
  {
    "architecture": "32bit",
    "creationtime": "Sun Dec  8 23:19:54 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "47438c3268bcb41b4901b70cb2e5faee32c14e977b57590d165d06fcac798387",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label32.c",
    "programhash": "47438c3268bcb41b4901b70cb2e5faee32c14e977b57590d165d06fcac798387",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/e07d80b47b7d52477fc00a7703480e09661d994a705b4855320834d49616ca62.zip",
    "witness-number-of-tests": 478,
    "witness-sha256": "e07d80b47b7d52477fc00a7703480e09661d994a705b4855320834d49616ca62",
    "witness-size": 484358,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T09:42:11Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "47438c3268bcb41b4901b70cb2e5faee32c14e977b57590d165d06fcac798387",
    "programfile": "Problem03_label32.c.c",
    "programhash": "47438c3268bcb41b4901b70cb2e5faee32c14e977b57590d165d06fcac798387",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e31e28c3e5d8695690329ce240a8ad17c66a9351685eebc5745541e681c2ee25.zip",
    "witness-number-of-tests": 99,
    "witness-sha256": "e31e28c3e5d8695690329ce240a8ad17c66a9351685eebc5745541e681c2ee25",
    "witness-size": 162891,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 00:58:03.036085",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "47438c3268bcb41b4901b70cb2e5faee32c14e977b57590d165d06fcac798387",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label32.c",
    "programhash": "47438c3268bcb41b4901b70cb2e5faee32c14e977b57590d165d06fcac798387",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/2222767cf9944f31b66e73c701ade176b18c2316c3929b1a01226560a490785f.zip",
    "witness-number-of-tests": 164,
    "witness-sha256": "2222767cf9944f31b66e73c701ade176b18c2316c3929b1a01226560a490785f",
    "witness-size": 71337,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:19:58+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "47438c3268bcb41b4901b70cb2e5faee32c14e977b57590d165d06fcac798387",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label32.c",
    "programhash": "47438c3268bcb41b4901b70cb2e5faee32c14e977b57590d165d06fcac798387",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/a95bf53b296b2a0df88f76e66dfdf177df0b92b37f696d66ba9c5cc08235c19b.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "a95bf53b296b2a0df88f76e66dfdf177df0b92b37f696d66ba9c5cc08235c19b",
    "witness-size": 6040,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:49:03",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "47438c3268bcb41b4901b70cb2e5faee32c14e977b57590d165d06fcac798387",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_57b53bde-fcb0-4062-b74f-b57679197239/sv-benchmarks/c/eca-rers2012/Problem03_label32.c",
    "programhash": "47438c3268bcb41b4901b70cb2e5faee32c14e977b57590d165d06fcac798387",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f8b83a2d4e5c95f33c0d02f95696cc9f6a0b14a0bdf49defcec0e6640f205cdf.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "f8b83a2d4e5c95f33c0d02f95696cc9f6a0b14a0bdf49defcec0e6640f205cdf",
    "witness-size": 235361,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:56:56Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "47438c3268bcb41b4901b70cb2e5faee32c14e977b57590d165d06fcac798387",
    "programfile": "Problem03_label32.c.c",
    "programhash": "47438c3268bcb41b4901b70cb2e5faee32c14e977b57590d165d06fcac798387",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f85cd36e3fc0781ce8382ad22daea1d7e4157d68746e6ba4526ff22b5be7c589.zip",
    "witness-number-of-tests": 20443,
    "witness-sha256": "f85cd36e3fc0781ce8382ad22daea1d7e4157d68746e6ba4526ff22b5be7c589",
    "witness-size": 45156267,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:30:52+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "47438c3268bcb41b4901b70cb2e5faee32c14e977b57590d165d06fcac798387",
    "programfile": "../../sv-benchmarks/c/eca-rers2012/Problem03_label32.c",
    "programhash": "47438c3268bcb41b4901b70cb2e5faee32c14e977b57590d165d06fcac798387",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/bb4551b980055bd8ebc96152c2eb70ae9d5d6921b09c910b343e341f03035bff.zip",
    "witness-number-of-tests": 101,
    "witness-sha256": "bb4551b980055bd8ebc96152c2eb70ae9d5d6921b09c910b343e341f03035bff",
    "witness-size": 36232,
    "witness-type": "test-suite"
  }
]