Index of /solvers

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]CCAnrSim.zip2019-07-12 17:26 13K 
[   ]COMiniSatPS_Pulsar_drup.zip2019-07-12 17:09 527K 
[   ]CaDiCaL.zip2019-07-12 16:34 328K 
[   ]Candy.zip2019-07-12 17:23 22M 
[   ]MLDChronoBT_GCBump.zip2019-07-12 16:48 159K 
[   ]MapleCOMSPS_CHB_VSIDS_drup.zip2019-07-12 17:10 526K 
[   ]MapleCOMSPS_LRB_VSIDS_2_drup.zip2019-07-12 17:07 527K 
[   ]MapleCOMSPS_LRB_VSIDS_drup.zip2019-07-12 17:08 529K 
[   ]MapleLCMChronoBT_DEL.zip2019-07-22 15:08 559K 
[   ]MapleLCMChronoBT_Scavel_EWMA.zip2019-07-12 16:58 100K 
[   ]MapleLCMChronoBT_ldcr.zip2019-07-22 15:08 1.3M 
[   ]MapleLCMDISTChronoBT_Scavel_EWMA_08ALL.zip2019-07-12 17:02 101K 
[   ]MapleLCMDiscChronoBT-DL-v3.zip2019-07-12 16:32 81K 
[   ]MapleLCMDistChronoBT-DL-v1.zip2019-07-12 16:34 81K 
[   ]MapleLCMDistChronoBT-DL-v2.1.zip2019-07-12 16:33 81K 
[   ]MapleLCMDistChronoBT-DL-v2.2.zip2019-07-12 16:33 81K 
[   ]MapleLCMDistChronoBTVariableReindexing.zip2019-07-12 17:33 728M 
[   ]MapleLCMdistCBTcoreFirst.zip2019-07-12 16:34 78K 
[   ]Maple_CM_OnlineDel_19b.zip2019-07-12 17:09 80K 
[   ]Maple_LCM_BTL.zip2019-07-22 15:09 499K 
[   ]Maple_LCM_OnlineDel_19a.zip2019-07-12 17:05 79K 
[   ]Maple_LCM_Scavel_155.zip2019-07-22 15:09 530K 
[   ]MergeSAT.zip2019-07-12 16:56 6.7M 
[   ]Minisat-v2.2.0-106-ge2dd095.zip2019-07-12 17:20 523K 
[   ]PADC_MapleLCMDistChronoBT.zip2019-07-12 16:45 950K 
[   ]PADC_Maple_LCM_Dist.zip2019-07-12 16:46 79K 
[   ]PSIDS_MapleLCMDistChronoBT.zip2019-07-12 16:44 601K 
[   ]Relaxed_LCMDistChronoBT.zip2019-07-13 23:06 90K 
[   ]Relaxed_LCMDistChronoBT_Scavel.zip2019-07-13 23:06 91K 
[   ]Relaxed_LCMDistChronoBT_p9.zip2019-07-13 23:05 90K 
[   ]Relaxed_LCM_Dist.zip2019-07-13 23:07 89K 
[   ]Riss7.1.zip2019-07-12 17:50 5.7M 
[   ]SLIME.zip2019-07-12 17:08 193K 
[   ]SparrowToMergeSAT.zip2019-07-12 17:08 6.7M 
[   ]Topk3.2_Glucose3.0.zip2019-07-12 17:19 75K 
[   ]Topk3_Glucose3.0.zip2019-07-12 17:18 75K 
[   ]Topk6.2_Glucose3.0.zip2019-07-12 17:18 75K 
[   ]Topk6_Glucose3.0.zip2019-07-12 17:18 75K 
[   ]ZIB_Glucose.zip2019-07-12 17:12 74K 
[   ]cmsatv56-walksat-chronobt.zip2019-07-12 16:56 8.1M 
[   ]cmsatv56-walksat.zip2019-07-12 16:58 8.1M 
[   ]cmsatv56-yalsat-chronobt.zip2019-07-12 16:57 8.1M 
[   ]cmsatv56-yalsat.zip2019-07-12 17:02 8.1M 
[   ]expMaple_CM.zip2019-07-12 16:46 88K 
[   ]expMaple_CM_GCBump.zip2019-07-12 16:44 1.0M 
[   ]expMaple_CM_GCBumpOnlyLRB.zip2019-07-12 16:43 91K 
[   ]glucose-4.2.1.zip2019-07-12 17:09 203K 
[   ]glucose3.0.zip2019-07-12 17:11 74K 
[   ]glucose_421_del.zip2019-07-22 15:09 3.5M 
[   ]glucose_BTL.zip2019-07-22 15:10 385K 
[   ]optsat.zip2019-07-12 16:56 69K 
[   ]smallsat.zip2019-07-12 17:04 76K 

Apache/2.4.10 (Debian) Server at sat-race-2019.ciirc.cvut.cz Port 80