Index of /sat-competition-2017/solvers/parallel

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]abcdsat_parallel.zip2017-09-19 10:36 117K 
[   ]cbpenelope2017.zip2017-09-15 22:12 200K 
[   ]ccspenelope2017.zip2017-09-15 22:12 236K 
[   ]ddc-submit.tar.gz2017-09-15 22:12 1.2M 
[   ]painless.zip2017-09-15 22:12 110K 
[   ]plingeling-bbe-sc2017.zip2017-09-15 22:12 235K 
[   ]scalope.zip2017-09-15 22:12 3.1M 
[   ]syrup.zip2017-09-15 22:12 740K 
[   ]treengeling-bbe-sc2017.zip2017-09-15 22:12 269K 

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