[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T18:36:15Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "4148631f83e1fc50ea626184aa80b3337f1afea8a7ed22402104410977582cf6",
    "programfile": "trex02-1.c.c",
    "programhash": "4148631f83e1fc50ea626184aa80b3337f1afea8a7ed22402104410977582cf6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/19d4ed3596631fbe9b6195e42fc64dfed3297672053cbed10976f460db2860ce.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "19d4ed3596631fbe9b6195e42fc64dfed3297672053cbed10976f460db2860ce",
    "witness-size": 33936,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 22:04:50.128196",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "4148631f83e1fc50ea626184aa80b3337f1afea8a7ed22402104410977582cf6",
    "programfile": "../../sv-benchmarks/c/loops/trex02-1.c",
    "programhash": "4148631f83e1fc50ea626184aa80b3337f1afea8a7ed22402104410977582cf6",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/687099f80d633e7364079b2e8704cb473173849c70dfa9d3d407ce506136aaee.zip",
    "witness-number-of-tests": 24,
    "witness-sha256": "687099f80d633e7364079b2e8704cb473173849c70dfa9d3d407ce506136aaee",
    "witness-size": 10949,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:58:51+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "4148631f83e1fc50ea626184aa80b3337f1afea8a7ed22402104410977582cf6",
    "programfile": "../../sv-benchmarks/c/loops/trex02-1.c",
    "programhash": "4148631f83e1fc50ea626184aa80b3337f1afea8a7ed22402104410977582cf6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/905393ec8ac65f70e5fa98a85fd8f782c9ae81a65d5446ece716ef2c96bc2705.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "905393ec8ac65f70e5fa98a85fd8f782c9ae81a65d5446ece716ef2c96bc2705",
    "witness-size": 2358,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:15:03",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "4148631f83e1fc50ea626184aa80b3337f1afea8a7ed22402104410977582cf6",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_508dedad-032f-4447-9da9-1c0ab7d78e96/sv-benchmarks/c/loops/trex02-1.c",
    "programhash": "4148631f83e1fc50ea626184aa80b3337f1afea8a7ed22402104410977582cf6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/bab2e0e40db0b30a0770a27ad54d3cd5d098386a3b197633bdf911c153ff3e2c.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "bab2e0e40db0b30a0770a27ad54d3cd5d098386a3b197633bdf911c153ff3e2c",
    "witness-size": 7461,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:23:42Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "4148631f83e1fc50ea626184aa80b3337f1afea8a7ed22402104410977582cf6",
    "programfile": "trex02-1.c.c",
    "programhash": "4148631f83e1fc50ea626184aa80b3337f1afea8a7ed22402104410977582cf6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f2cc8df19746ca07f072b88b8aa2a8f3aac8a564c745599f64bfd5144a81501b.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "f2cc8df19746ca07f072b88b8aa2a8f3aac8a564c745599f64bfd5144a81501b",
    "witness-size": 82532,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 09:25:15 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "4148631f83e1fc50ea626184aa80b3337f1afea8a7ed22402104410977582cf6",
    "programfile": "../../sv-benchmarks/c/loops/trex02-1.c",
    "programhash": "4148631f83e1fc50ea626184aa80b3337f1afea8a7ed22402104410977582cf6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/526a653914cc4e034fba13bd68fdad72fa3e13c894fe54f82f188ad03b9b83e7.zip",
    "witness-number-of-tests": 30,
    "witness-sha256": "526a653914cc4e034fba13bd68fdad72fa3e13c894fe54f82f188ad03b9b83e7",
    "witness-size": 24459,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:17:13+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "4148631f83e1fc50ea626184aa80b3337f1afea8a7ed22402104410977582cf6",
    "programfile": "../../sv-benchmarks/c/loops/trex02-1.c",
    "programhash": "4148631f83e1fc50ea626184aa80b3337f1afea8a7ed22402104410977582cf6",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/5376a2a650ece9a30a6ee171c6dd80501194330caf49743f80ab14cc76e21e3c.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "5376a2a650ece9a30a6ee171c6dd80501194330caf49743f80ab14cc76e21e3c",
    "witness-size": 1703,
    "witness-type": "test-suite"
  }
]