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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]COMiniSatPS_Pulsar_no_drup.zip2017-09-15 13:51 528K 
[   ]GHackCOMSPS_no_drup.zip2017-09-15 13:51 150K 
[   ]MapleCOMSPS_CHB_VSIDS_no_drup.zip2017-09-15 13:52 526K 
[   ]MapleCOMSPS_LRB_VSIDS_2_no_drup.zip2017-09-15 13:53 528K 
[   ]MapleCOMSPS_LRB_VSIDS_no_drup.zip2017-09-15 13:53 529K 
[   ]Riss7.zip2017-09-15 13:53 2.3M 
[   ]Sat4jdefault.zip2017-09-15 13:54 311K 
[   ]abcdSAT_n17.zip2017-09-15 13:49 1.7M 
[   ]abcdsat_r17.zip2017-09-15 13:50 165K 
[   ]cadical-sc17-agile.zip2017-09-15 13:50 79K 
[   ]cadical-sc17-noproof.zip2017-09-15 13:51 79K 
[   ]glu_vc.zip2017-09-15 13:52 80K 
[   ]glulu.zip2017-09-15 13:52 1.7M 
[   ]lingeling-bbe.zip2017-09-15 13:52 235K 

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