| benchmarks_2016-04-20.zip |
04/20/2016 05:23 PM |
35 MB |
362 |
MD5: 2f142f2a1e7c7758256f3ba36a278716 |
benchmarks_2016-04-20.zip
|
| dep_analyzer-1.0.tar.gz |
04/20/2016 12:47 PM |
351 KB |
629 |
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 |
216 |
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 |
216 |
MD5: 4595aeadee93a3e0d359936d6cefe2c6 |
hqspre-1.0_2016-10-21.zip
|
| hqspre-1.1.zip |
01/08/2017 07:36 PM |
314 KB |
267 |
MD5: e8eb74c28fe8101835834098bba06401 |
hqspre-1.1.zip
|
| hqspre-1.2.zip |
03/23/2017 12:12 PM |
382 KB |
257 |
MD5: f036a27f4699e84dac26e74de9881ce0 |
hqspre-1.2.zip
|
| hqspre-1.3.zip |
09/11/2017 08:26 PM |
489 KB |
239 |
MD5: acd254f326e887f7ead0776d106c5d31 |
hqspre-1.3.zip
|
| hqspre-1.4.zip |
06/03/2018 07:14 PM |
685 KB |
515 |
SHA256: c7fed2b844f7b97c1b7d08e537ab1c29401dbc621c3fa92736ea68156266b3ee |
hqspre-1.4.zip
|
| hqs_2016-05-16.zip |
05/16/2016 01:18 PM |
3.6 MB |
295 |
MD5: 5e62cda3172441f17418ebdce9af6d18 |
hqs_2016-05-16.zip
|
| hqs_2018-08-30.zip |
08/30/2018 04:04 PM |
2.63 MB |
438 |
SHA256: 685974610bb928e040067c09462164dc30a4682dce08cc39585805eb9f2eec21 |
hqs_2018-08-30.zip
|