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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]BeansAndEggs.zip2016-07-07 10:38 73K 
[   ]CHBR_glucose.zip2016-07-07 10:38 2.2M 
[   ]CHBR_glucose_tuned.zip2016-07-07 10:38 2.2M 
[   ]COMiniSatPSChandrasekharDRUP.zip2016-07-07 10:38 75K 
[   ]GHackCOMSPS_DRUP.zip2016-07-07 10:38 150K 
[   ]Glucose_nbSat.zip2016-07-07 10:38 85K 
[   ]Lingelingbbcmain.zip2016-07-07 10:38 246K 
[   ]MapleCMS.zip2016-07-07 10:38 1.1M 
[   ]MapleCOMSPS_CHB_DRUP.zip2016-07-07 10:38 72K 
[   ]MapleCOMSPS_DRUP.zip2016-07-07 10:38 72K 
[   ]MapleCOMSPS_LRB_DRUP.zip2016-07-07 10:38 75K 
[   ]MapleGlucose.zip2016-07-07 10:38 74K 
[   ]Riss6.zip2016-07-07 10:38 8.2M 
[   ]Scavel_SAT.zip2016-07-07 10:38 334K 
[   ]Splatz06vmain.zip2016-07-07 10:38 74K 
[   ]YalSAT03r.zip2016-07-07 10:38 33K 
[   ]abcdSAT_drup.zip2016-07-07 10:38 150K 
[   ]cmsat5_autotune2.zip2016-07-07 10:38 1.1M 
[   ]cmsat5_main2.zip2016-07-07 10:38 1.1M 
[   ]drat-trim.zip2016-07-07 10:38 10K 
[   ]glucose.zip2016-07-07 10:38 1.6M 
[   ]glucosePLE.zip2016-07-07 10:38 248K 
[   ]glucose_hack_kiel_newScript.zip2016-07-07 10:38 77K 
[   ]glue_alt.zip2016-07-07 10:38 80K 
[   ]glueminisat-2.2.10-81-main.zip2016-07-07 10:38 322K 
[   ]gulch.zip2016-07-07 10:38 73K 
[   ]tb_glucose.zip2016-07-07 10:38 2.2M 
[   ]tc_glucose.zip2016-07-07 10:38 2.2M 

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