[
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T08:32 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_d8aa9856-77a7-4aec-b3bf-a279b1176f69/sv-benchmarks/c/loop-acceleration/diamond_1-2.c",
    "programhash": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/88b96c8d85d8e4485eaf81cc0d7a4cabb7695764bdd9293894d6c87320c0aefe.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "88b96c8d85d8e4485eaf81cc0d7a4cabb7695764bdd9293894d6c87320c0aefe",
    "witness-size": 917,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:26:02+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/diamond_1-2.c",
    "programhash": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/07e4ab16bd00f3a2b0888ee35c31c98869caa9c52cc47d94d047684f6866f39c.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "07e4ab16bd00f3a2b0888ee35c31c98869caa9c52cc47d94d047684f6866f39c",
    "witness-size": 2794,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:52:53Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "programfile": "diamond_1-2.c.c",
    "programhash": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/da7d5e14a68316b0ec16744cbd58d149b897d539035173808da37135f75b95c4.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "da7d5e14a68316b0ec16744cbd58d149b897d539035173808da37135f75b95c4",
    "witness-size": 6359,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T22:22:17+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/diamond_1-2.c",
    "programhash": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/420050bb86f60955d2c34d2cc58a24e2609442a5f7cc8f57423071e08199a1c4.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "420050bb86f60955d2c34d2cc58a24e2609442a5f7cc8f57423071e08199a1c4",
    "witness-size": 992,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:26:02+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/diamond_1-2.c",
    "programhash": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/b9f1c87bb2b10beb372dde57883b973c43f43e418d2942ea458fb4490437fd77.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b9f1c87bb2b10beb372dde57883b973c43f43e418d2942ea458fb4490437fd77",
    "witness-size": 1043,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T05:52:53Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "programfile": "diamond_1-2.c.c",
    "programhash": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/0e3ea3a2f43dd8cbfcf1f40eea9d27fd15bfffdbf40ec71fee7229afa5459720.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "0e3ea3a2f43dd8cbfcf1f40eea9d27fd15bfffdbf40ec71fee7229afa5459720",
    "witness-size": 2762,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T22:22:17+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/diamond_1-2.c",
    "programhash": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/0f3c58e7c05e658412b0e37f40fee7e974bbd4738e01df01e4eab1dd30624e2a.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "0f3c58e7c05e658412b0e37f40fee7e974bbd4738e01df01e4eab1dd30624e2a",
    "witness-size": 2741,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:06:58+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/diamond_1-2.c",
    "programhash": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/2b3bcaa5c54be81185301c0c2291150bb01bc78c1607991325dd5a2df73ed845.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "2b3bcaa5c54be81185301c0c2291150bb01bc78c1607991325dd5a2df73ed845",
    "witness-size": 2009,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T04:42:17Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "programfile": "diamond_1-2.c.c",
    "programhash": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/a6916a10edbecb7913bf663472053c2b6e45d9e0437a793d157021a41571a790.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "a6916a10edbecb7913bf663472053c2b6e45d9e0437a793d157021a41571a790",
    "witness-size": 4481,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-05T21:06:58+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30375",
    "program-sha256": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/diamond_1-2.c",
    "programhash": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/60d0fc5135f4f63175e257491745fd536bce108c23b3ce9d7a92aa920c5c4530.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "60d0fc5135f4f63175e257491745fd536bce108c23b3ce9d7a92aa920c5c4530",
    "witness-size": 2740,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T04:42:17Z",
    "entryfunction": "main",
    "producer": "KLEE 2.0.0-pre-test-comp",
    "program-sha256": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "programfile": "diamond_1-2.c.c",
    "programhash": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/6fd3e7e967a977517af359a822897bc9594f2980445a677710c2a134112416ab.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "6fd3e7e967a977517af359a822897bc9594f2980445a677710c2a134112416ab",
    "witness-size": 2782,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T13:25 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_b484a7c9-36e3-4b57-9392-59c64ce443b6/sv-benchmarks/c/loop-acceleration/diamond_1-2.c",
    "programhash": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/bdcffac1fbc67656b291163c4ecd98714bd028e303502ecc5af50892f0164d75.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "bdcffac1fbc67656b291163c4ecd98714bd028e303502ecc5af50892f0164d75",
    "witness-size": 919,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:54:39+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/diamond_1-2.c",
    "programhash": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/af75ab49447613c361f2d1ebb6631b2085f5323e5e986cbc7bcca7f5305a964d.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "af75ab49447613c361f2d1ebb6631b2085f5323e5e986cbc7bcca7f5305a964d",
    "witness-size": 1785,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:53 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_b484a7c9-36e3-4b57-9392-59c64ce443b6/sv-benchmarks/c/loop-acceleration/diamond_1-2.c",
    "programhash": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/88970afa66ff4dcbc98095d42b8c32d7ef132bf0ae7ac75bc0ccceaf757eb590.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "88970afa66ff4dcbc98095d42b8c32d7ef132bf0ae7ac75bc0ccceaf757eb590",
    "witness-size": 2698,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-02-06T04:54:39+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn 30541M / tigertestcomp19",
    "program-sha256": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "programfile": "../../sv-benchmarks/c/loop-acceleration/diamond_1-2.c",
    "programhash": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/3ab5d7250d06d1842eb1b563c42a70eb6dac10ddbdd18fc174cba8af1a17c3f6.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "3ab5d7250d06d1842eb1b563c42a70eb6dac10ddbdd18fc174cba8af1a17c3f6",
    "witness-size": 2790,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-02-06T14:53 CET (comp)",
    "entryfunction": "main",
    "error-specification-exists": "Key 'specification' not present.",
    "producer": "Symbiotic",
    "program-sha256": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "programfile": "/tmp/vcloud-vcloud-master/worker/working_dir_d8aa9856-77a7-4aec-b3bf-a279b1176f69/sv-benchmarks/c/loop-acceleration/diamond_1-2.c",
    "programhash": "72523f1872b80cb63c834f9163327a751e607bdda664f78db45b6bc454dabf11",
    "sourcecodelang": "C",
    "witness-file": "fileByHash/64c92a8c89b39c1efc8c97b1027c1568607582de6e5fe07f49f9f4e639eae71d.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "64c92a8c89b39c1efc8c97b1027c1568607582de6e5fe07f49f9f4e639eae71d",
    "witness-size": 2696,
    "witness-type": "test-suite"
  }
]