[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 09:48:55.032807",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "c2190db4e1ec06ce71f67bfad072ad4abe48b1dbcb9cbaaf48d15d7fa28321b6",
    "programfile": "../../sv-benchmarks/c/loop-invgen/seq-3.i",
    "programhash": "c2190db4e1ec06ce71f67bfad072ad4abe48b1dbcb9cbaaf48d15d7fa28321b6",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/ca50831fe502b4377bec7067ba79a42ffc5c04e2fac527b7a91f72341298a16e.zip",
    "witness-number-of-tests": 69,
    "witness-sha256": "ca50831fe502b4377bec7067ba79a42ffc5c04e2fac527b7a91f72341298a16e",
    "witness-size": 30481,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T03:15:50+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "c2190db4e1ec06ce71f67bfad072ad4abe48b1dbcb9cbaaf48d15d7fa28321b6",
    "programfile": "../../sv-benchmarks/c/loop-invgen/seq-3.i",
    "programhash": "c2190db4e1ec06ce71f67bfad072ad4abe48b1dbcb9cbaaf48d15d7fa28321b6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/deffa1c31b2472aca7aa1bc517846fb19f22dc778a6213951e7d34e2c4032ab5.zip",
    "witness-number-of-tests": 12,
    "witness-sha256": "deffa1c31b2472aca7aa1bc517846fb19f22dc778a6213951e7d34e2c4032ab5",
    "witness-size": 4817,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:33:38Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "c2190db4e1ec06ce71f67bfad072ad4abe48b1dbcb9cbaaf48d15d7fa28321b6",
    "programfile": "seq-3.i.c",
    "programhash": "c2190db4e1ec06ce71f67bfad072ad4abe48b1dbcb9cbaaf48d15d7fa28321b6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/5b6e4a6d517e3ba3066ff5d2ad3aa35a889a742025543b30415e485f95d617c7.zip",
    "witness-number-of-tests": 5,
    "witness-sha256": "5b6e4a6d517e3ba3066ff5d2ad3aa35a889a742025543b30415e485f95d617c7",
    "witness-size": 86209,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T17:40:48Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "c2190db4e1ec06ce71f67bfad072ad4abe48b1dbcb9cbaaf48d15d7fa28321b6",
    "programfile": "seq-3.i.c",
    "programhash": "c2190db4e1ec06ce71f67bfad072ad4abe48b1dbcb9cbaaf48d15d7fa28321b6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/46c4fac9beb70b19c8cece88527f8c3ba32f5a5b37ede081daee3ef4eb7d3cb4.zip",
    "witness-number-of-tests": 528,
    "witness-sha256": "46c4fac9beb70b19c8cece88527f8c3ba32f5a5b37ede081daee3ef4eb7d3cb4",
    "witness-size": 248969,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:56:24+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "c2190db4e1ec06ce71f67bfad072ad4abe48b1dbcb9cbaaf48d15d7fa28321b6",
    "programfile": "../../sv-benchmarks/c/loop-invgen/seq-3.i",
    "programhash": "c2190db4e1ec06ce71f67bfad072ad4abe48b1dbcb9cbaaf48d15d7fa28321b6",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/9c65e759497f09db34d01ce27fff4397bcbae5b878c449fd0cc4a00f2644de0b.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "9c65e759497f09db34d01ce27fff4397bcbae5b878c449fd0cc4a00f2644de0b",
    "witness-size": 3566,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:23:27",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "c2190db4e1ec06ce71f67bfad072ad4abe48b1dbcb9cbaaf48d15d7fa28321b6",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_7c8e041f-f0a4-4fac-9f6e-84c492776d10/sv-benchmarks/c/loop-invgen/seq-3.i",
    "programhash": "c2190db4e1ec06ce71f67bfad072ad4abe48b1dbcb9cbaaf48d15d7fa28321b6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/7c362dd2edb0e530ae666b3cd0cedf839f9cb95ee6036508d238c13ae8ef3c4b.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "7c362dd2edb0e530ae666b3cd0cedf839f9cb95ee6036508d238c13ae8ef3c4b",
    "witness-size": 8206,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 10:52:20 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "c2190db4e1ec06ce71f67bfad072ad4abe48b1dbcb9cbaaf48d15d7fa28321b6",
    "programfile": "../../sv-benchmarks/c/loop-invgen/seq-3.i",
    "programhash": "c2190db4e1ec06ce71f67bfad072ad4abe48b1dbcb9cbaaf48d15d7fa28321b6",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/aa130836ce707a33d89fd36b7789f2a95ef17bc3fd409dbc31fe55ff60d8c36d.zip",
    "witness-number-of-tests": 24,
    "witness-sha256": "aa130836ce707a33d89fd36b7789f2a95ef17bc3fd409dbc31fe55ff60d8c36d",
    "witness-size": 20902,
    "witness-type": "test-suite"
  }
]