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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ParaGlueminisat_2016.zip2016-07-22 01:28 221K 
[   ]Priss6.zip2016-07-22 01:28 2.2M 
[   ]ampharos-sat-2016.zip2016-07-22 01:28 2.7M 
[   ]cbpenelope2016.zip2016-07-22 01:28 199K 
[   ]ccspenelope2016.zip2016-07-22 01:28 198K 
[   ]cmsat5_run_parallel.zip2016-07-22 01:28 4.7M 
[   ]dissolve-SATcomp16.tar.gz2016-07-22 01:32 158M 
[   ]gluco_par.zip2016-07-22 01:28 87K 
[   ]penelope_for_2015_AICR_24_Pair_BUMP100.zip2016-07-22 01:28 842K 
[   ]penelope_for_2015_AICR_48_Pair_BUMP100.zip2016-07-22 01:28 842K 
[   ]plingeling-bbc-sc2016.zip2016-07-22 01:28 478K 
[   ]syrup.zip2016-07-22 01:28 1.6M 
[   ]tbParaGlueminisat_2016.zip2016-07-22 01:28 221K 
[   ]treengeling-bbc-sc2016.zip2016-07-22 01:28 546K 

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