Index of /sat-competition-2016/solvers/random

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]CSCCSat.zip2016-05-02 10:27 11K 
[   ]DCCAlm.zip2016-05-02 10:28 19K 
[   ]YalSAT03r.zip2016-05-02 10:29 33K 
[   ]cmsat5_agile.zip2016-05-02 10:27 1.1M 
[   ]dimetheus.zip2016-05-02 10:28 1.1M 
[   ]multi-sat.zip2016-05-02 10:28 82K 
[   ]polypower1.0.zip2016-05-02 10:28 285K 
[   ]polypower2.0.zip2016-05-02 10:28 296K 
[   ]stocBCD.zip2016-05-02 10:28 12K 

Apache/2.4.18 (Ubuntu) Server at baldur.iti.kit.edu Port 80