[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T14:06:35Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "programfile": "sum03-1.i.c",
    "programhash": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/e93cd514bf45d2d9b48c2008aa85dbe3d96bdcab08ca0df0a8aeeeedfa98c353.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "e93cd514bf45d2d9b48c2008aa85dbe3d96bdcab08ca0df0a8aeeeedfa98c353",
    "witness-size": 17447,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T22:43:23+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "programfile": "../../sv-benchmarks/c/loops/sum03-1.i",
    "programhash": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/db9a36f8c830a0111e36ea0e533f91d33223e38e031f47d1da61bcf2e946a8d3.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "db9a36f8c830a0111e36ea0e533f91d33223e38e031f47d1da61bcf2e946a8d3",
    "witness-size": 1001,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T04:24:39+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "programfile": "../../sv-benchmarks/c/loops/sum03-1.i",
    "programhash": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/052484b6b676b7413140a11294c765cc9228f5bf5933c396912443e445aa7269.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "052484b6b676b7413140a11294c765cc9228f5bf5933c396912443e445aa7269",
    "witness-size": 994,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 10:27:54.436032",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "programfile": "../../sv-benchmarks/c/loops/sum03-1.i",
    "programhash": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/31b8159076649ba805ef2151dadc6f140f1d4d433a60b54b3ebb2c5ef096851d.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "31b8159076649ba805ef2151dadc6f140f1d4d433a60b54b3ebb2c5ef096851d",
    "witness-size": 2866,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 00:16:17 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "programfile": "../../sv-benchmarks/c/loops/sum03-1.i",
    "programhash": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/8ea30e5938b0911314474bc4da66153e1bfb0e94cad9f76d5ba4c0d4f2fd2a74.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "8ea30e5938b0911314474bc4da66153e1bfb0e94cad9f76d5ba4c0d4f2fd2a74",
    "witness-size": 11263,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:03:25",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_489b94f8-ef6c-441a-8a02-f48f62f5ecdd/sv-benchmarks/c/loops/sum03-1.i",
    "programhash": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/7cc8ccb96d941b1a360b1aba2e14a3f4903d0f2e47f0dc622c4672dc2e4b16b6.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "7cc8ccb96d941b1a360b1aba2e14a3f4903d0f2e47f0dc622c4672dc2e4b16b6",
    "witness-size": 6852,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 05:16:07 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "programfile": "../../sv-benchmarks/c/loops/sum03-1.i",
    "programhash": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/0c366f05c6e32fb63d1a69e41a1ff8533acc5f4c26d67071332711ec2db3a712.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "0c366f05c6e32fb63d1a69e41a1ff8533acc5f4c26d67071332711ec2db3a712",
    "witness-size": 11505,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:56:37+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "programfile": "../../sv-benchmarks/c/loops/sum03-1.i",
    "programhash": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/6c14f71df37c8917168d88f6d0bcb585bf570cad027d88daf57ead9d895b19d3.zip",
    "witness-number-of-tests": 6,
    "witness-sha256": "6c14f71df37c8917168d88f6d0bcb585bf570cad027d88daf57ead9d895b19d3",
    "witness-size": 2713,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T17:46:32Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "programfile": "sum03-1.i.c",
    "programhash": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/bae32bc9fa6865d3fdd5fb6dad9f3a2f605b66114d1a075116e54a6dc0f6b6e0.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "bae32bc9fa6865d3fdd5fb6dad9f3a2f605b66114d1a075116e54a6dc0f6b6e0",
    "witness-size": 17473,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:09:45Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "programfile": "sum03-1.i.c",
    "programhash": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/b101ddd4c91a54b83f520a3e8622116403b9bdef8636ba59ac8a91c352a39bbe.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b101ddd4c91a54b83f520a3e8622116403b9bdef8636ba59ac8a91c352a39bbe",
    "witness-size": 4486,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T07:10:50Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "programfile": "sum03-1.i.c",
    "programhash": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/bb69d118b7feef76873536299844ec6a584d72fd19fb262e5f3868dfc797c0d7.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "bb69d118b7feef76873536299844ec6a584d72fd19fb262e5f3868dfc797c0d7",
    "witness-size": 4471,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:46:53",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_bff715da-275d-4f12-b29d-5e71d6dfcf53/sv-benchmarks/c/loops/sum03-1.i",
    "programhash": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/7ec0428a18fed8512acd25512c14a98658fc469b3cc25a6b58892cdce50282d1.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "7ec0428a18fed8512acd25512c14a98658fc469b3cc25a6b58892cdce50282d1",
    "witness-size": 6412,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:39:01+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "programfile": "../../sv-benchmarks/c/loops/sum03-1.i",
    "programhash": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/f9653c2a8dd971c234b8a9b0d8ccdf5ced80a694963a695d519a0005c05b308e.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "f9653c2a8dd971c234b8a9b0d8ccdf5ced80a694963a695d519a0005c05b308e",
    "witness-size": 1359,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 00:03:59.616252",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "programfile": "../../sv-benchmarks/c/loops/sum03-1.i",
    "programhash": "2a3547b16f75be3d225cb90d16687f3917cbb2360e0681ebeeb6cce258fb5cb0",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/d147da73b2a8a197825beabe27174bf6453659346f5ca731a128fda39f19c999.zip",
    "witness-number-of-tests": 460,
    "witness-sha256": "d147da73b2a8a197825beabe27174bf6453659346f5ca731a128fda39f19c999",
    "witness-size": 209007,
    "witness-type": "test-suite"
  }
]