2013年SAT竞赛
隶属于2013年国家税务总局7月8日至12日在芬兰赫尔辛基举行的会议
由联合组织乌尔姆大学,赫尔辛基大学,
都柏林大学学院,德克萨斯大学奥斯汀分校,

每个类别的获奖者


核心求解器、顺序、应用SAT

#解算器版本作者#已解决
1玲玲aqw阿明·比尔119
2ZENN 0.1.0号Takeru Yasumoto先生113
3satUZK 48号亚历山大·范德·格林滕、安德烈亚斯·沃兹劳、埃瓦德·斯佩克梅耶110

核心求解器、顺序、应用认证UNSAT

#解算器版本作者#已解决
1葡萄糖2.3（认证未饱和）Gilles Audemard、Laurent Simon94
2glueminisat-cert-不饱和2.2.7jNabeshima Hidetomo、岩沼浩二、井上胜美91
3Riss3g证书诺伯特·曼泰85

核心解算器，顺序，应用SAT+UNSAT

#解算器版本作者#已解决
1玲玲aqw阿明·比尔231
2玲玲587f阿明·比尔212
3ZENN 0.1.0号Takeru Yasumoto先生208

核心求解器、顺序、硬组合SAT

#解算器版本作者#已解决
1葡萄糖2.3Gilles Audemard、Laurent Simon109
2gluebit_clasp 1.0陈景超109
3BreakID葡萄糖1Jo Devriendt、Bart Bogaerts109

核心求解器、顺序、硬组合认证UNSAT

#解算器版本作者#已解决
1Riss3g证书诺伯特·曼泰92
2葡萄糖2.3（认证未饱和）Gilles Audemard、Laurent Simon91
3用于drup-nocachestamp马特·索斯83

核心解算器、顺序、硬组合SAT+UNSAT

#解算器版本作者#已解决
1BreakID葡萄糖1Jo Devriendt、Bart Bogaerts208
2gluebit_clasp 1.0陈景超208
3葡萄糖2.3Gilles Audemard、Laurent Simon202

核心解算器、顺序、随机SAT

#解算器版本作者#已解决
1问题SAT SC13阿德里安·巴林特（Adrian Balint），乌维·舍宁（Uwe Schöning）99
22013年至2013年朱敏莉、于莉92
3Ncca+V 1.0贾马尔·哈贝特（Djamal Habet）和多妮娅·图米（Donia Toumi）、安德烈·阿布拉姆（AndréAbramé）91

核心解算器、顺序、随机认证UNSAT

#解算器版本作者#已解决
-dk-SAT11 3高德纳76
-3月br日Marijn鞋跟72

核心解算器、顺序、随机SAT+UNSAT

#解算器版本作者#已解决
1CSHCrandMC公司尤里·马利茨基（Yuri Malitsky）、阿什什·萨巴沃尔（Ashish Sabharwal）、霍斯特·萨穆洛维茨（Horst Samulowitz）、梅诺夫·塞尔曼（Meinolf Sellmann）179
2MIPSat随机sat_unsat塞尔吉奥·努涅斯、丹尼尔·博拉霍、卡洛斯·利纳雷斯·洛佩斯151
3march_vflip 1.0陈景超120

核心求解器，并行，应用SAT+UNSAT

#解算器版本作者#已解决
1弯曲aqw阿明·比尔271
2挑战aqw阿明·比尔260
3PeneLoPe 2013年吉莱斯·奥德马尔、贝诺·霍森、萨伊德·贾布尔、吉安·马里·拉格尼茨、塞德里克·皮埃特247

核心解算器、并行、硬组合SAT+UNSAT

#解算器版本作者#已解决
1挑战aqw阿明·比尔253
2弯曲aqw阿明·比尔242
3pmcSAT 1.0里卡多·马奎斯、路易斯·格雷拉·席尔瓦、保罗·弗洛雷斯和路易斯·米格尔·席尔维拉219

开放式轨道

#解算器版本作者#已解决
1CSHC第8部分尤里·马利茨基（Yuri Malitsky）、阿什什·萨巴沃尔（Ashish Sabharwal）、霍斯特·萨穆洛维茨（Horst Samulowitz）、梅诺夫·塞尔曼（Meinolf Sellmann）234
2MIPSat公司塞尔吉奥·努涅斯、丹尼尔·博拉霍、卡洛斯·利纳雷斯·洛佩斯231
3葡萄糖红+3月r531Siert Wieringa公司186

核心解算器、顺序、MiniSAT黑客追踪、应用SAT+UNSAT

#解算器版本作者#已解决
1SINN最小1.0.0Takeru Yasumoto先生206
2迷你比特1.0陈景超189
3迷你高尔夫预取诺伯特·曼泰175

完整结果


解算器可以具有以下标记之一：
  • 不合格：求解者给出了错误的答案
  • 没有参加比赛：这位选手没有资格在赛道上赢得奖牌

核心求解器、顺序、应用SAT

#解算器版本#已解决%所有的%VBS的累计CPU时间CPU时间中值
0VBS公司14999.3310067390.7993452.2872
1玲玲aqw11979.3379.87250711.95491671.413
2ZENN 0.1.0号11375.3375.84285593.13461903.9542
3道格·海恩斯（不合格）1.11117474.5273179.89371821.1993
4satUZK 48号11073.3373.83288204.09531921.3606
5上升3g 3g1087272.48298632.03821990.8803
6玲玲587f10771.3371.81306967.99382046.4533
7CSHCapplLG公司10670.6771.14309761.13262065.0742
8gluebit_lgl 1.01057070.47291967.19431946.448
9MIPSat公司1057070.47307557.22782050.3815
10forl节点10469.3369.8316878.7282112.5249
11MIPSat公司10469.3369.8325119.6982167.4647
12葡萄糖2.310368.6769.13306865.1872045.7679
13胶粘位1.01026868.46291927.89031946.1859
14解算器版本43b b1026868.46315139.40932100.9294
15上升3g1026868.46322501.05072150.007
16奇异之夜卫星通信11-st1026868.46324324.08942162.1606
17解算器版本43a10167.3367.79312244.36062081.6291
18BreakID葡萄糖110066.6767.11313875.8482092.5057
19胶合剂2.2.7j10066.6767.11314199.70182094.6647
20CSHCapplLC公司10066.6767.11355795.74442371.9716
21relback 1.1版996666.44308343.44872055.623
22葡萄糖H 1.0996666.44316141.49862107.61
23破碎葡萄糖1996666.44324754.40712165.0294
24gluH_simp 1.0966464.43334810.78172232.0719
25尼格玛1.0966464.43345460.06572303.0671
26葡萄糖红r531936262.42363050.23842420.3349
27标准方程式V 1.1936262.42391403.81442609.3588
28Nigma-NoPB 1.0版9261.3361.74354518.14322363.4543
29小纯1.0.1845656.38420429.03142802.8602
30sattimeRelbackShr SRShr1.07348.6748.99480919.54663206.1303
312013年SAT4J SAT竞赛7046.6746.98464329.9993095.5333

核心求解器、顺序、应用认证UNSAT

#解算器版本#已解决%所有的%VBS的累计CPU时间CPU时间中值
0VBS公司10670.6710099213.6186935.9775
1葡萄糖2.3（认证未饱和）9462.6788.68363727.72722424.8515
2glueminisat-cert-不饱和2.2.7j9160.6785.85395292.71992635.2848
3Riss3g证书8556.6780.19413190.53462754.6036
4用于drup-nocachestamp845679.25412190.40292747.936
5forl drup公司845679.25418724.22332791.4948
6Nigma-DRUP 1.0版785273.58473128.82113154.1921
7Nigma-NoPB-DRUP 1.07348.6768.87474716.0533164.7737
8微型bit_u 1.06845.3364.15525076.84223500.5123
9迷你滚筒滚筒6543.3361.32524647.90463497.6527
10灵灵aqw德鲁伊483245.28552100.04253680.6669
112013年SAT4J认证SAT竞赛151014.15714561.1364763.7409

核心解算器，顺序，应用SAT+UNSAT

#解算器版本#已解决%所有的%VBS的累计CPU时间CPU时间中值
0VBS公司28896100203506.9154706.6212
1玲玲aqw2317780.21610487.14862034.9572
2玲玲587f21270.6773.61685669.37422285.5646
3ZENN 0.1.0号20869.3372.22655037.82662183.4594
4CSHCapplLC公司20668.6771.53761866.22142539.5541
5CSHCapplLG公司20568.3371.18694460.00492314.8667
6胶粘位1.02046870.83625555.24752085.1842
7葡萄糖2.32016769.79666706.41662222.3547
8上升3g 3g2016769.79675138.11832250.4604
9MIPSat公司2016769.79709230.06322364.1002
10奇异之夜卫星通信11-st19966.3369.1725858.12912419.5271
11葡萄糖H 1.019665.3368.06685129.61912283.7654
12胶合剂2.2.7j19665.3368.06690715.3422302.3845
13BreakID葡萄糖11956567.71675259.34282250.8645
14relback（非竞争）v1.119464.6767.36703532.44822345.1082
15解算器版本43b b19464.6767.36714502.47912381.6749
16forl节点1926466.67717510.33072391.7011
17上升3g1926466.67719729.29032399.0976
18gluebit_lgl 1.019163.6766.32698820.52182329.4017
19解算器版本43a19163.6766.32725370.54642417.9018
20gluH_simp 1.019063.3365.97730668.36372435.5612
21葡萄糖红r53118862.6765.28746483.25642488.2775
22破碎葡萄糖118561.6764.24728760.93422429.2031
23satUZK 48号1836163.54798124.64482660.4155
24尼格玛1.017959.6762.15810787.19882702.624
25Nigma-NoPB 1.0版16655.3357.64829100.65732763.6689
26标准方程式V 1.116454.6756.94901216.67033004.0556
27小纯1.0.11565254.17932839.75283109.4658
28sattimeRelbackShr SRShr1.01354546.881025076.89873416.923
292013年SAT4J SAT竞赛1113738.541111831.1023706.1037

核心求解器、顺序、硬组合SAT

#解算器版本#已解决%所有的%VBS的累计CPU时间CPU时间中值
0VBS公司14697.3310014689.7299100.6146
1SparrowToRiss（非竞争）SC1312482.6784.93183015.7691220.1051
2sattimeRelbackShr（非竞争）SRShr1.011878.6780.82222214.76821481.4318
3RSeq（非竞争）V 1.111878.6780.82325958.78672173.0586
42013年sattimeRelbackSeq（非竞争）1177880.14329029.06662193.5271
5葡萄糖2.310972.6774.66253515.65231690.1043
6gluebit_clasp 1.010972.6774.66260056.86631733.7124
7BreakID葡萄糖110972.6774.66262093.0081747.2867
8MIPSat（非竞争）硬卫星_不饱和210972.6774.66302996.79242019.9786
9玲玲aqw1087273.97253952.51771693.0168
10CSHCcombCS公司1087273.97294939.68281966.2646
11ZENN 0.1.0号10771.3373.29270957.65081806.3843
12风险3g（非竞争）3g10670.6772.6274925.57891832.8372
13MIPSat（非竞争）硬卫星_不饱和110670.6772.6314013.78622093.4252
14破碎葡萄糖11057071.92269274.25211795.1617
15gluH_simp 1.01057071.92280207.61151868.0507
16卡扣_vflip 1.01057071.92284328.10361895.5207
17胶合剂2.2.7j1057071.92286182.98121907.8865
18风险3g（非竞争性）10469.3371.23279960.0641866.4004
19forl节点10368.6770.55284014.0051893.4267
20奇异之夜卫星通信11-st10167.3369.18311165.15782074.4344
21卫星时间扣SCSeq1.010167.3369.18366618.45152444.123
22玲玲587f10066.6768.49298302.33421988.6822
23解算器版本43a10066.6768.49311153.76082074.3584
24解算器版本43b b996667.81299536.19451996.908
25小纯1.0.1996667.81339036.9172260.2461
26MIPSat硬卫星9764.6766.44403272.89392688.486
27葡萄糖红r5319462.6764.38320599.05792137.3271
28satUZK 48号906061.64370403.40472469.356
292013年SAT4J SAT竞赛8858.6760.27415417.82012769.4521
30relback（非竞争）v1.1875859.59367668.01042451.1201
31葡萄糖H 1.08657.3358.9360214.14722401.4276
32麻雀+CP3 SC137952.6754.11369922.84182466.1523
33道格·海恩斯1.17952.6754.11415314.52292768.7635
34CCA编号：2013.4.187751.3352.74383572.08052557.1472
352013年至2013年724849.32419727.262798.1817
36gNovelty+GCwa 1.06442.6743.84443956.37892959.7092
37gNovelty+GCa 1.05838.6739.73482638.11423217.5874
38平衡Z静态32位gcc4.3.55637.3338.36489503.68133263.3579
39dk-SAT11更多内存5033.3334.25548156.64263654.3776
403月br sat+unsat2919.3319.86630926.25164206.175

核心求解器、顺序、硬组合认证UNSAT

#解算器版本#已解决%所有的%VBS的累计CPU时间CPU时间中值
0VBS公司10771.3310074691.5009698.0514
1Riss3g证书9261.3385.98415467.9622769.7864
2葡萄糖2.3（认证未饱和）9160.6785.05444772.92312965.1528
3用于drup-nocachestamp8355.3377.57432830.04882885.5337
4forl drup公司7751.3371.96442375.48152949.1699
5glueminisat-cert-不饱和2.2.7j724867.29489841.55253265.6103
6迷你滚筒滚筒4932.6745.79594375.58163962.5039
7dk-SAT11 33825.3335.51593240.52153954.9368
8灵灵aqw德鲁伊151014.02679478.30534529.8554
92013年SAT4J认证SAT竞赛117.3310.28719821.4554798.8097

核心解算器、顺序、硬组合SAT+UNSAT

#解算器版本#已解决%所有的%VBS的累计CPU时间CPU时间中值
0VBS公司28093.3310082590.4486294.9659
1BreakID葡萄糖120869.3374.29654799.79292182.666
2gluebit_clasp 1.020869.3374.29655995.41582186.6514
3葡萄糖2.320267.3372.14676059.80422253.5327
4风险3g（不合格）3g20066.6771.43674412.9742248.0432
5胶合剂2.2.7j1986670.71689601.99792298.6733
6上升3g19665.3370692526.9652308.4232
7奇异之夜卫星通信11-st19665.3370710890.0032369.6333
8破碎葡萄糖11956569.64697158.96072323.8632
9gluH_simp 1.01956569.64741380.44352471.2681
10解算器版本43a19464.6769.29760682.35952535.6079
11玲玲aqw19364.3368.93700855.62482336.1854
12SparrowToRiss SC13型19163.6768.21725213.7282417.3791
13forl节点19063.3367.86700190.55432333.9685
14解算器版本43b b18862.6767.14744649.90192482.1663
15MIPSat硬卫星_不饱和218762.3366.79814613.86692715.3796
16RSeq（非竞争）V 1.118762.3366.79937374.58933124.582
17sattimeRelback序列201318762.3366.79941631.42423138.7714
18sattimeRelbackShr SRShr1.018561.6766.07755884.44772519.6148
19玲玲587f18260.6765747872.54012492.9085
20CSHCcombCS公司17859.3363.57814802.09182716.007
21卡扣_vflip 1.017658.6762.86782827.78962609.426
22MIPSat硬卫星_不饱和11745862.14839209.90072797.3663
23葡萄糖红r53117357.6761.79767927.27732559.7576
24ZENN 0.1.0号17257.3361.43788561.72852628.5391
25小纯1.0.117257.3361.43818515.86862728.3862
26relback 1.1版1655558.93866434.17442888.1139
27葡萄糖H 1.01625457.86888715.07222962.3836
28卫星时间扣SCSeq1.016053.3357.14983258.13413277.5271
29satUZK 48号1474952.5958726.33073195.7544
302013年SAT4J SAT竞赛11939.6742.51075670.37283585.5679
31dk-SAT11更多内存11337.6740.361005714.16833352.3806
322013年至2013年812728.931124736.63963749.1221
333月br sat+unsat6822.6724.291233214.52974110.7151
34gNovelty+GCwa 1.06421.3322.861193956.37893979.8546
35gNovelty+GCa 1.05819.3320.711232638.11424108.7937

核心解算器、顺序、随机SAT

#解算器版本#已解决%所有的%VBS的累计CPU时间CPU时间中值
0VBS公司13548.2110075915.5387562.3373
1问题SAT SC139935.3673.33984294.64053515.338
22013年至2013年9232.8668.151019567.21453641.3115
3Ncca+V 1.09132.567.411036328.04663701.1716
42013年4月8日CScoreSAT9032.1466.671038187.38873707.8121
5WalkSATlm2013 2013年4月8日8731.0764.441025810.65113663.6095
62013年CCA20138329.6461.481060142.25123786.2223
7FrwCB2013 SC2013_201304278229.2960.741066829.90743810.1068
8平衡Z静态32位gcc4.3.57627.1456.31082032.4353864.4016
9MIPSat随机sat7627.1456.31094814.01293910.05
10vflipnum 1.0版本7426.4354.811110270.16983965.2506
11CSHCrandMC公司7225.7153.33983087.7593932.351
12sattimeRelback序列20136723.9349.63952338.48113809.3539
13卫星时间扣SCSeq1.06723.9349.63952362.04223809.4482
14sattimeRelbackShr SRShr1.06723.9349.63992358.413969.4336
15march_vflip 1.06322.546.67993267.4633973.0699
16MIPSat随机sat_unsat5820.7142.96987827.27053951.3091
17gNovelty+GCwa 1.04817.1435.561067300.97774269.2039
18迪米修斯MPS 1.700.8524716.7934.811214403.96974337.157
19gNovelty+GCa 1.03111.0722.961123220.77614492.8831
20dk-SAT11状态+未状态00012500005000
213月br sat+unsat00012500005000
22解算器版本43a00012500005000
23解算器版本43b b00012500005000
24奇异之夜卫星通信11-st00012500005000
25小纯1.0.100012500005000

核心解算器、顺序、随机认证UNSAT

#解算器版本#已解决%所有的%VBS的累计CPU时间CPU时间中值
0VBS公司815410037392.373461.6342
1dk-SAT11 37650.6793.83404878.6872699.1912
23月br日724888.89417676.22732784.5082

核心解算器、顺序、随机SAT+UNSAT

#解算器版本#已解决%所有的%VBS的累计CPU时间CPU时间中值
0VBS公司20852100200341.2753963.1792
1CSHCrandMC公司17944.7586.061348522.7253371.3068
2MIPSat随机sat_unsat15137.7572.61560956.59053902.3915
3march_vflip 1.01203057.691505499.133763.7478
4dk-SAT11状态+未状态11428.554.811560992.25593902.4806
53月br sat+unsat11127.7553.371563375.07323908.4377
6sattimeClasp（非竞争）SCSeq1.09724.2546.631664367.57224160.9189
72013年sattimeRelbackSeq（非竞争）6716.7532.211702338.48114255.8462
8sattimeRelbackShr（非竞争）SRShr1.06716.7532.211742358.414355.896
9gNovelty+GCwa 1.0481223.081817300.97774543.2524
10小纯1.0.1379.2517.791888750.6984721.8767
11gNovelty+GCa 1.0317.7514.91873220.77614683.0519
12解算器版本43a51.252.41990004.874975.0122
13解算器版本43b b20.50.961998821.54997.0538
14奇异之夜卫星通信11-st00020000005000

核心求解器，并行，应用SAT+UNSAT

#解算器版本#已解决%所有的%VBS的累计壁面时间壁面时间中位数
0VBS公司29096.6710081810.5624282.1054
1弯曲aqw27190.3393.45308038.96361026.7965
2挑战aqw26086.6789.66378331.77551261.1059
3PeneLoPe 2013年24782.3385.17488569.24671628.5642
4严格的葡聚糖24180.3383.1446782.3671489.2746
5pcasso端口22775.6778.28530958.37751769.8613
6pcasso 1型22775.6778.28534348.47771781.1616
7SatX10-GLCI错误修复22675.3377.93530612.74581768.7092
8奇异之夜卫星11-mt2257577.59581108.70581937.029
9pmcSAT 1.02137173.45647525.22772158.4174
10葡萄糖红r5312107072.41605800.94262019.3365
11葡萄糖红-多r53120568.3370.69647904.26882159.6809
122013年SAT4J平行SAT竞赛1113738.281125034.21713750.1141

核心解算器、并行、硬组合SAT+UNSAT

#解算器版本#已解决%所有的%VBS的累计壁面时间壁面时间中位数
0VBS公司2769210083854.9648303.8223
1挑战aqw25384.3391.67344849.44111149.4981
2弯曲aqw24280.6787.68423820.98241412.7366
3pcasso（不合格）港口22073.3379.71575217.02951917.3901
4pmcSAT 1.02197379.35568692.43341895.6414
5pcasso（不合格）12197379.35574811.0551916.0369
6严格的葡聚糖20668.6774.64611573.55652038.5785
7葡萄糖红r5312046873.91616546.44722055.1548
8葡萄糖红-多r53119765.6771.38652057.51452173.525
9奇异之夜卫星11-mt1896368.48664222.2642214.0742
102013年SAT4J平行SAT竞赛1173942.391016519.03953388.3968

开放式轨道

#解算器版本#已解决%所有的%VBS的累计壁面时间壁面时间中位数
0VBS公司25384.33100127922.3354505.6219
1CSHC第8部分2347892.49521860.33631739.5345
2MIPSat公司2317791.3731601.55662438.6719
3葡萄糖红+3月r5311866273.52653594.43112178.6481
4交互打开1.017257.3367.98827392.65292757.9755
5pcasso（不合格）11625464.03819082.56492730.2752
6pcasso（不合格）港口16053.3363.24816314.69952721.049
7风险3g（不合格）3g15150.3359.68852138.65972840.4622
8严格的葡聚糖1505059.29849899.01022832.9967
9解算器版本43a14849.3358.5916474.74493054.9158
10解算器版本43b b14548.3357.31918300.66953061.0022
11forl节点1414755.73883479.2652944.9309
12胶合剂2.2.7j1414755.73887161.28462957.2043
13小纯1.0.113043.3351.38987481.29493291.6043

核心解算器、顺序、MiniSAT黑客追踪、应用SAT+UNSAT

#解算器版本#已解决%所有的%VBS的累计CPU时间CPU时间中值
0VBS公司23578.33100243412.89591035.7996
1SINN最小1.0.020668.6787.66705085.35912350.2845
2迷你比特1.01896380.43788626.81662628.7561
3迷你高尔夫预取17558.3374.47806432.99552688.11
4迷你高尔夫117558.3374.47810649.42212702.1647
 
网站模板根据设计修改阿尔辛