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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]CHBR_glucose_agile.zip2016-07-07 10:37 2.2M 
[   ]CHBR_glucose_tuned_agile.zip2016-07-07 10:37 2.2M 
[   ]COMiniSatPSChandrasekharnoDRUP.zip2016-07-07 10:37 75K 
[   ]GHackCOMSPS_no_DRUP.zip2016-07-07 10:37 150K 
[   ]Lingeling.zip2016-07-07 10:37 346K 
[   ]Lingelingbbcnotrace.zip2016-07-07 10:37 235K 
[   ]MapleCMS.zip2016-07-07 10:37 1.1M 
[   ]MapleCOMSPS_CHB_no_DRUP.zip2016-07-07 10:37 73K 
[   ]MapleCOMSPS_LRB_no_DRUP.zip2016-07-07 10:37 75K 
[   ]MapleCOMSPS_no_DRUP.zip2016-07-07 10:37 73K 
[   ]MapleGlucose.zip2016-07-07 10:37 74K 
[   ]Riss6.zip2016-07-07 10:37 8.2M 
[   ]Splatz06vnotrace.zip2016-07-07 10:37 74K 
[   ]YalSAT03r.zip2016-07-07 10:37 33K 
[   ]abcdSAT_drup.zip2016-07-07 10:37 150K 
[   ]cmsat5_agile2.zip2016-07-07 10:37 1.1M 
[   ]glucosePLE.zip2016-07-07 10:37 248K 
[   ]glucose_hack_kiel_newScript.zip2016-07-07 10:37 77K 
[   ]glue_alt.zip2016-07-07 10:37 80K 
[   ]glueminisat-2.2.10-81-agile.zip2016-07-07 10:37 322K 
[   ]gulch-agile.zip2016-07-07 10:37 74K 
[   ]gulch-once.zip2016-07-07 10:37 73K 
[   ]tb_glucose_agile.zip2016-07-07 10:37 2.2M 
[   ]tc_glucose_agile.zip2016-07-07 10:37 2.2M 

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