|
http://groups.sosy-lab.org/CSIsat/benchmarks |
||||||
|
name
|
type | size | date | description | ||
| | | blast | <DIR> | 6 items | 2008-01-30 | |
| | | logs | <DIR> | 0 items | 2008-01-30 | |
| | | LRA_conj | <DIR> | 96 items | 2008-01-30 | |
| | | clp-prover | 5.4 MB | 2008-01-26 | ||
| | | csisat_x86 | 1.5 MB | 2008-01-30 | ||
| | | csisat_x86_64 | 2.0 MB | 2008-01-30 | ||
| | | README.txt | txt | 2.2 KB | 2008-01-30 | |
| | | test_BLAST_alias | 525 B | 2008-01-28 | ||
| | | test_BLAST_clp | 117 B | 2008-01-28 | ||
| | | test_BLAST_csisat | 131 B | 2008-01-30 | ||
| | | test_BLAST_foci | 105 B | 2008-01-28 | ||
| | | test_BLAST_no_disj | 1.2 KB | 2008-01-28 | ||
| | | test_LRA_clp | 148 B | 2008-01-28 | ||
| | | test_LRA_csisat | 187 B | 2008-01-30 | ||