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