[
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:48:59",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "63608cafb6992119801abb9e4554ec7f80ac998fa62ae8ec7262c7e294b0c8d0",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_0acd2853-27cf-4839-98a1-a540f42eddd8/sv-benchmarks/c/loop-acceleration/diamond_1-1.c",
    "programhash": "63608cafb6992119801abb9e4554ec7f80ac998fa62ae8ec7262c7e294b0c8d0",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/ce98b34cb33fae78f2a7b99db91603d425640549f81d3517f78c8d14fa6c843c.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "ce98b34cb33fae78f2a7b99db91603d425640549f81d3517f78c8d14fa6c843c",
    "witness-size": 6426,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 03:02:18 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "63608cafb6992119801abb9e4554ec7f80ac998fa62ae8ec7262c7e294b0c8d0",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/diamond_1-1.c",
    "programhash": "63608cafb6992119801abb9e4554ec7f80ac998fa62ae8ec7262c7e294b0c8d0",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/98786f1c21242959e0b7342799ffd100c66297cd8acee1c31bbf0bb554007fae.zip",
    "witness-number-of-tests": 7,
    "witness-sha256": "98786f1c21242959e0b7342799ffd100c66297cd8acee1c31bbf0bb554007fae",
    "witness-size": 10687,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:30:02+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "63608cafb6992119801abb9e4554ec7f80ac998fa62ae8ec7262c7e294b0c8d0",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/diamond_1-1.c",
    "programhash": "63608cafb6992119801abb9e4554ec7f80ac998fa62ae8ec7262c7e294b0c8d0",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/8efb454cce76e018b3dc58512e60929e26aa5ada415b67fdd424aad2f7517837.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "8efb454cce76e018b3dc58512e60929e26aa5ada415b67fdd424aad2f7517837",
    "witness-size": 2015,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:11:32Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "63608cafb6992119801abb9e4554ec7f80ac998fa62ae8ec7262c7e294b0c8d0",
    "programfile": "diamond_1-1.c.c",
    "programhash": "63608cafb6992119801abb9e4554ec7f80ac998fa62ae8ec7262c7e294b0c8d0",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/9e12f77fb78c585e24c986ad6c8ad1bf19396328175015b4b56f5719e16d6adb.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "9e12f77fb78c585e24c986ad6c8ad1bf19396328175015b4b56f5719e16d6adb",
    "witness-size": 4298,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T13:44:37Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "63608cafb6992119801abb9e4554ec7f80ac998fa62ae8ec7262c7e294b0c8d0",
    "programfile": "diamond_1-1.c.c",
    "programhash": "63608cafb6992119801abb9e4554ec7f80ac998fa62ae8ec7262c7e294b0c8d0",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/6728f31296881217bd0d9283a679297ea8f0718eab58f5899c611b504766cc2d.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "6728f31296881217bd0d9283a679297ea8f0718eab58f5899c611b504766cc2d",
    "witness-size": 17103,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 04:21:18.926991",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "63608cafb6992119801abb9e4554ec7f80ac998fa62ae8ec7262c7e294b0c8d0",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/diamond_1-1.c",
    "programhash": "63608cafb6992119801abb9e4554ec7f80ac998fa62ae8ec7262c7e294b0c8d0",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/e59ea3ad03bd36e1b3efaa56674789cf9b33dd23c89fc3ffae88ffcf7191b146.zip",
    "witness-number-of-tests": 632,
    "witness-sha256": "e59ea3ad03bd36e1b3efaa56674789cf9b33dd23c89fc3ffae88ffcf7191b146",
    "witness-size": 276333,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:03:28+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "63608cafb6992119801abb9e4554ec7f80ac998fa62ae8ec7262c7e294b0c8d0",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/diamond_1-1.c",
    "programhash": "63608cafb6992119801abb9e4554ec7f80ac998fa62ae8ec7262c7e294b0c8d0",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/8ea52ad33733f7a178b5ca28ce86f9a1eacf757ca410413b1f1b94934022f3d8.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "8ea52ad33733f7a178b5ca28ce86f9a1eacf757ca410413b1f1b94934022f3d8",
    "witness-size": 1340,
    "witness-type": "test-suite"
  }
]