Project

General

Profile

Files

File Date Size D/L Checksum
benchmarks_2016-04-20.zip 04/20/2016 05:23 PM 35 MB 176 MD5: 2f142f2a1e7c7758256f3ba36a278716 benchmarks_2016-04-20.zip
dep_analyzer-1.0.tar.gz 04/20/2016 12:47 PM 351 KB 318 MD5: 721a8c567ab885ea67f6f704572604da dep_analyzer-1.0.tar.gz
dqbf_benchmarks_tacas-2017_2016-10-21.zip 10/21/2016 11:48 AM 3.2 MB 103 MD5: aa87cbdd83f8b25c27b203c475c25371 dqbf_benchmarks_tacas-2017_2016-10-21.zip
hqspre-1.0_2016-10-21.zip 10/21/2016 02:52 PM 242 KB 100 MD5: 4595aeadee93a3e0d359936d6cefe2c6 hqspre-1.0_2016-10-21.zip
hqspre-1.1.zip 01/08/2017 07:36 PM 314 KB 133 MD5: e8eb74c28fe8101835834098bba06401 hqspre-1.1.zip
hqspre-1.2.zip 03/23/2017 12:12 PM 382 KB 131 MD5: f036a27f4699e84dac26e74de9881ce0 hqspre-1.2.zip
hqspre-1.3.zip 09/11/2017 08:26 PM 489 KB 112 MD5: acd254f326e887f7ead0776d106c5d31 hqspre-1.3.zip
hqspre-1.4.zip 06/03/2018 07:14 PM 685 KB 173 SHA256: c7fed2b844f7b97c1b7d08e537ab1c29401dbc621c3fa92736ea68156266b3ee hqspre-1.4.zip
hqs_2016-05-16.zip 05/16/2016 01:18 PM 3.6 MB 173 MD5: 5e62cda3172441f17418ebdce9af6d18 hqs_2016-05-16.zip
hqs_2018-08-30.zip 08/30/2018 04:04 PM 2.63 MB 123 SHA256: 685974610bb928e040067c09462164dc30a4682dce08cc39585805eb9f2eec21 hqs_2018-08-30.zip