[
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T05:44:59+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "../../sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/2ed89947de2e724d9d0e63a1123efe9426982dd52cee9060890b6d7f730925c3.zip",
    "witness-number-of-tests": 8,
    "witness-sha256": "2ed89947de2e724d9d0e63a1123efe9426982dd52cee9060890b6d7f730925c3",
    "witness-size": 3418,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:39:23+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "../../sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@CALL(__VERIFIER_error))",
    "witness-file": "fileByHash/492cb89dd019265d91064a53fdffa3add19887a347b79d671e3f2f0e631f9ea7.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "492cb89dd019265d91064a53fdffa3add19887a347b79d671e3f2f0e631f9ea7",
    "witness-size": 1001,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08T23:32:14+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32236 / testcomp20",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "../../sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/b09ceebcd4056ac6655070af89b69f857f73eed3a6fe54b01b920f91ba9d0c99.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "b09ceebcd4056ac6655070af89b69f857f73eed3a6fe54b01b920f91ba9d0c99",
    "witness-size": 1001,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:54:27Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "terminator_03-1.c.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/ced3be2957b530661c4a35504dec1e2eccc6970e2f66946b3e0cdd9143c5a33c.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "ced3be2957b530661c4a35504dec1e2eccc6970e2f66946b3e0cdd9143c5a33c",
    "witness-size": 17979,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 10:35:04 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "../../sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/ffb52e8fc60bc851a267c1b1d028d868d120bf201ecc208eb46c1252c4039513.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "ffb52e8fc60bc851a267c1b1d028d868d120bf201ecc208eb46c1252c4039513",
    "witness-size": 15538,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 10:03:09",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_a2a43eb0-6024-4165-835d-29a4bec7e8bc/sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/46d2f85df55ce0781ff2d114eb3acbd2decfb42c6d79bf2cd1fd58dd03994989.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "46d2f85df55ce0781ff2d114eb3acbd2decfb42c6d79bf2cd1fd58dd03994989",
    "witness-size": 7016,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "Mon Dec  9 04:01:13 CET 2019",
    "entryfunction": "main",
    "producer": "LibKluzzer 0.6",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "../../sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE))",
    "witness-file": "fileByHash/089e7c14f0d7742fe283eb120c4dbef5e9f81c828a4607db56c33e87a849a8fd.zip",
    "witness-number-of-tests": 15,
    "witness-sha256": "089e7c14f0d7742fe283eb120c4dbef5e9f81c828a4607db56c33e87a849a8fd",
    "witness-size": 15565,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09 11:00:12.933487",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "../../sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/8408c69a9329dc8c348ec2ba80509492bbd8adfc5b4e65254a57406f335b4e19.zip",
    "witness-number-of-tests": 202,
    "witness-sha256": "8408c69a9329dc8c348ec2ba80509492bbd8adfc5b4e65254a57406f335b4e19",
    "witness-size": 89542,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T00:53:15Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "terminator_03-1.c.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )",
    "witness-file": "fileByHash/5b2fdcd683d234005cf5e3888766ae62e60d04efd5f32bfd63d1d5ea59e197dc.zip",
    "witness-number-of-tests": 1,
    "witness-sha256": "5b2fdcd683d234005cf5e3888766ae62e60d04efd5f32bfd63d1d5ea59e197dc",
    "witness-size": 4469,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T01:49:18Z",
    "entryfunction": "main",
    "producer": "KLEE 2.1-pre-test-comp",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "terminator_03-1.c.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/31d0b325b33cfcd5a35f89d268e58f07ef9b0094b542bfc8265fe2d8ba693c54.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "31d0b325b33cfcd5a35f89d268e58f07ef9b0094b542bfc8265fe2d8ba693c54",
    "witness-size": 5213,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T06:06:12+01:00",
    "entryfunction": "main",
    "producer": "CPAchecker 1.8-svn-32283M / tigertestcomp20",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "../../sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER EDGES(@DECISIONEDGE)",
    "witness-file": "fileByHash/ec31135d2daf2d06c1fa51c0efa73c1a350a7da3f1bef69402cf64704605d0e2.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "ec31135d2daf2d06c1fa51c0efa73c1a350a7da3f1bef69402cf64704605d0e2",
    "witness-size": 1715,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-09T16:57:59Z",
    "entryfunction": "main",
    "producer": "Tracer-X",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "terminator_03-1.c.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/f3cd8fc075cfb0fa9e58b94669b60cf2722c1afdfc52a84bc00f385640728096.zip",
    "witness-number-of-tests": 2,
    "witness-sha256": "f3cd8fc075cfb0fa9e58b94669b60cf2722c1afdfc52a84bc00f385640728096",
    "witness-size": 26333,
    "witness-type": "test-suite"
  },
  {
    "architecture": "32bit",
    "creationtime": "2019-12-08 21:52:43.679500",
    "entryfunction": "main",
    "producer": "Legion",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "../../sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "CHECK( LTL(G ! call(__VERIFIER_error())) )",
    "witness-file": "fileByHash/608646ab6d390b5ed3918f4b1e591f911307beef7a3e4fbf3eeb06460add01cf.zip",
    "witness-number-of-tests": 4,
    "witness-sha256": "608646ab6d390b5ed3918f4b1e591f911307beef7a3e4fbf3eeb06460add01cf",
    "witness-size": 2412,
    "witness-type": "test-suite"
  },
  {
    "architecture": "64bit",
    "creationtime": "2019-12-09 11:40:29",
    "entryfunction": "main",
    "producer": "Symbiotic",
    "program-sha256": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "programfile": "/tmp/vcloud-vcloud-master/worker/run_dir_781e16c2-2baa-403e-b522-dead48914980/sv-benchmarks/c/loops/terminator_03-1.c",
    "programhash": "221089018870caca42da06540ebd7b56caca7c9b62005d50aa3aebf7c8445fc1",
    "sourcecodelang": "C",
    "specification": "COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )",
    "witness-file": "fileByHash/0a8bf9f9f60c29a3fa75f73612e72f073f55b79ab16684b07c61783a36e27d01.zip",
    "witness-number-of-tests": 3,
    "witness-sha256": "0a8bf9f9f60c29a3fa75f73612e72f073f55b79ab16684b07c61783a36e27d01",
    "witness-size": 7486,
    "witness-type": "test-suite"
  }
]