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