[
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 08:46:21 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "87a3ae9632cd62b72418a2b5d5f0168af66c06df9ddaf45bb8ebdfbe599c728e",
    "programfile": "../../sv-benchmarks/c/recursive-simple/sum_non_eq-2.c",
    "programhash": "87a3ae9632cd62b72418a2b5d5f0168af66c06df9ddaf45bb8ebdfbe599c728e",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/654213c639e6ae0eec5ddce38a072b6b4d47a66a98345d8a6937ac8483eeb8a2.zip",
    "witness-number-of-tests": 17,
    "witness-sha256": "654213c639e6ae0eec5ddce38a072b6b4d47a66a98345d8a6937ac8483eeb8a2",
    "witness-size": 25303,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:53:38+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "87a3ae9632cd62b72418a2b5d5f0168af66c06df9ddaf45bb8ebdfbe599c728e",
    "programfile": "../../sv-benchmarks/c/recursive-simple/sum_non_eq-2.c",
    "programhash": "87a3ae9632cd62b72418a2b5d5f0168af66c06df9ddaf45bb8ebdfbe599c728e",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/c152554abea10258b16a646ab8ed4283da693db7647bb656b23cdbec93f2d65f.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "c152554abea10258b16a646ab8ed4283da693db7647bb656b23cdbec93f2d65f",
    "witness-size": 1343,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T19:32:49Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "87a3ae9632cd62b72418a2b5d5f0168af66c06df9ddaf45bb8ebdfbe599c728e",
    "programfile": "sum_non_eq-2.c.c",
    "programhash": "87a3ae9632cd62b72418a2b5d5f0168af66c06df9ddaf45bb8ebdfbe599c728e",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/5247c502ef198c5e27d6fa5de76a2963ec55c65507cae0aba12128519f58b118.zip",
    "witness-number-of-tests": 1001,
    "witness-sha256": "5247c502ef198c5e27d6fa5de76a2963ec55c65507cae0aba12128519f58b118",
    "witness-size": 394423,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 04:58:19.535074",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "87a3ae9632cd62b72418a2b5d5f0168af66c06df9ddaf45bb8ebdfbe599c728e",
    "programfile": "../../sv-benchmarks/c/recursive-simple/sum_non_eq-2.c",
    "programhash": "87a3ae9632cd62b72418a2b5d5f0168af66c06df9ddaf45bb8ebdfbe599c728e",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/ab251f020cb0767ff568bae800bb6015203b44457b638b696c66761c7496c0b1.zip",
    "witness-number-of-tests": 233,
    "witness-sha256": "ab251f020cb0767ff568bae800bb6015203b44457b638b696c66761c7496c0b1",
    "witness-size": 95046,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:01:14",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "87a3ae9632cd62b72418a2b5d5f0168af66c06df9ddaf45bb8ebdfbe599c728e",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_1adcc1f1-d5a8-4249-aad0-bf11538ceded/sv-benchmarks/c/recursive-simple/sum_non_eq-2.c",
    "programhash": "87a3ae9632cd62b72418a2b5d5f0168af66c06df9ddaf45bb8ebdfbe599c728e",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/2bdeb8e3a46407d01065e3f874a70e19452b518eb4d7ce658984718a61acc083.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "2bdeb8e3a46407d01065e3f874a70e19452b518eb4d7ce658984718a61acc083",
    "witness-size": 6495,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:10:03Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "87a3ae9632cd62b72418a2b5d5f0168af66c06df9ddaf45bb8ebdfbe599c728e",
    "programfile": "sum_non_eq-2.c.c",
    "programhash": "87a3ae9632cd62b72418a2b5d5f0168af66c06df9ddaf45bb8ebdfbe599c728e",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f0ecf7c8f62cff0541f2a48d27389399a3ae8ef51af91336ac2cf984ac477ea2.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "f0ecf7c8f62cff0541f2a48d27389399a3ae8ef51af91336ac2cf984ac477ea2",
    "witness-size": 3841,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:02:44+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "87a3ae9632cd62b72418a2b5d5f0168af66c06df9ddaf45bb8ebdfbe599c728e",
    "programfile": "../../sv-benchmarks/c/recursive-simple/sum_non_eq-2.c",
    "programhash": "87a3ae9632cd62b72418a2b5d5f0168af66c06df9ddaf45bb8ebdfbe599c728e",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/4fa13a0f30b92a2b0717ac913b4a4f59fac7d32d3afb323b93c0bc230909a575.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "4fa13a0f30b92a2b0717ac913b4a4f59fac7d32d3afb323b93c0bc230909a575",
    "witness-size": 1358,
    "witness-type": "test-suite"
  }
]