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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]COMiniSatPS_Pulsar_drup.zip2017-09-15 13:58 528K 
[   ]Candy.zip2017-09-15 13:57 41M 
[   ]CandyRSILi.zip2017-09-15 13:58 37M 
[   ]CandyRSILv.zip2017-09-15 13:58 37M 
[   ]CandySL21.zip2017-09-15 13:58 41M 
[   ]GHackCOMSPS_drup.zip2017-09-15 13:58 150K 
[   ]MapleCOMSPS_CHB_VSIDS_drup.zip2017-09-15 14:00 526K 
[   ]MapleCOMSPS_LRB_VSIDS_2_drup.zip2017-09-15 14:00 528K 
[   ]MapleCOMSPS_LRB_VSIDS_drup.zip2017-09-15 14:00 529K 
[   ]MapleLRB_LCM.zip2017-09-15 14:01 79K 
[   ]MapleLRB_LCMoccRestart.zip2017-09-15 14:01 82K 
[   ]Maple_LCM.zip2017-09-15 14:01 77K 
[   ]Maple_LCM_Dist.zip2017-09-15 14:01 79K 
[   ]Riss7.zip2017-09-15 14:02 2.3M 
[   ]abcdsat_r17.zip2017-09-15 13:56 165K 
[   ]bs_glucose.zip2017-09-15 13:56 3.9M 
[   ]cadical-sc17-agile-proof.zip2017-09-15 13:56 79K 
[   ]cadical-sc17-proof.zip2017-09-15 13:57 79K 
[   ]glu_vc.zip2017-09-15 13:59 80K 
[   ]glucose-3.0+width.zip2017-09-15 13:58 91K 
[   ]glucose-4.1.zip2017-09-15 13:59 287K 
[   ]lingeling-bbe.zip2017-09-15 14:00 246K 
[   ]satUZK-seq.zip2017-09-15 14:05 2.8M 
[   ]tch_glucose1.zip2017-09-15 14:03 2.2M 
[   ]tch_glucose2.zip2017-09-15 14:03 2.2M 
[   ]tch_glucose3.zip2017-09-15 14:05 2.2M 

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