SAT 2011 Competition: main competition (phase 1): solvers results per benchmarks

Result page for benchmark
SAT02/handmade/zhang-lintao/
xor-chain/x1_40.shuffled.cnf

Jump to solvers results

General information on the benchmark

NameSAT02/handmade/zhang-lintao/
xor-chain/x1_40.shuffled.cnf
MD5SUM15f5068fb216bf26d5385140ce74faaf
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.000999
Satisfiable
(Un)Satisfiability was proved
Number of variables118
Number of clauses314
Sum of the clauses size940
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22
Number of clauses of size 3312
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
march_rw 2011-03-02 (complete)3266541UNSAT 0.000999 0.0063549
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274831UNSAT 0.000999 0.00631204
MPhaseSAT_M 2011-02-16 (complete)3266540UNSAT 0.001999 0.00629112
MPhaseSAT64 2011-05-14 (fixed) (complete)3375602UNSAT 0.001999 0.0124561
MPhaseSAT 2011-02-15 (complete)3266538UNSAT 0.001999 0.00660499
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3266539UNSAT 0.002998 0.00626291
ppfolio par (complete)3266573UNSAT 0.011997 0.00837403
Sol 2011-04-04 (complete)3266569UNSAT 0.088986 0.0915269
ppfolio seq (complete)3266574UNSAT 0.106983 0.108037
CryptoMiniSat TechDemo-Alpha-mt (complete)3266553UNSAT 0.864868 0.227187
synit_sat 2011-03-03 (complete)3266545UNSAT 0.880865 0.8815
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370502UNSAT 1.04284 1.05426
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3266558UNSAT 1.04984 1.0496
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368102UNSAT 1.06984 1.06974
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3266556UNSAT 1.07484 1.07492
QuteRSat 2011-05-12 (fixed) (complete)3376802UNSAT 1.07683 1.0817
tts 5-4 (complete)3266577UNSAT 1.25181 1.25685
ttsth 5-4 (complete)3266578UNSAT 1.39779 0.961474
CryptoMiniSat TechDemo-Alpha-st (complete)3266554UNSAT 1.75473 1.76642
QuteRSat 2011-03-01 [DEPRECATED] (complete)3266568UNSAT 2.5956 2.59495
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449870UNSAT 3.74 3.88864
Satisfiability Solver Selector 2011-03-18 (complete)3266575UNSAT 3.84 3.94759
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366902UNSAT 4.27935 1.07966
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3266555UNSAT 4.29035 1.07716
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3266557UNSAT 5.2482 1.48884
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369302UNSAT 5.42917 1.5373
PicoSAT 941 (complete)3266565UNSAT 43.4524 43.4518
UmSat 2011-02-25 [DEPRECATED] (complete)3266551UNSAT 44.5162 44.5171
UmSat 2011-05-12 (fixed) (complete)3379202UNSAT 49.4095 49.4148
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3266572UNSAT 73.8258 72.8019
SAT07 reference solver: minisat SAT 2007 (complete)3274832UNSAT 116.922 116.918
Plingeling 587f (fixed) (complete)3371102UNSAT 132.79 33.7169
Plingeling 587 [DEPRECATED] (complete)3266566UNSAT 135.942 34.4691
clasp 2.0-R4092-crafted (complete)3300481UNSAT 137.471 137.466
SApperloT 2011-03-23 (complete)3266581UNSAT 143.27 143.27
rcl 2011-04-01 (complete)3266570UNSAT 216.99 216.986
glucose 2 (complete)3266576UNSAT 241.101 241.109
Lingeling 587 [DEPRECATED] (complete)3266567UNSAT 282.776 282.769
Lingeling 587f (fixed) (complete)3371702UNSAT 288.571 288.565
claspmt 2.0-R4095 [DEPRECATED] (complete)3299581UNSAT 305.569 76.4887
jMiniSat 2011 (complete)3279979UNSAT 352.049 351.55
claspmt 2.0-R4095-patched (fixed) (complete)3373202UNSAT 392.218 98.2501
RestartSAT A75 (complete)3266550UNSAT 497.23 497.219
RestartSAT B95 (complete)3266549UNSAT 500.753 500.743
priss UP (complete)3266562UNSAT 527.426 275.381
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274830UNSAT 608.838 608.83
SArTagnan 2011-03-24 [DEPRECATED] (complete)3266580UNSAT 746.214 186.863
sathys 2011-04-01 (complete)3266571UNSAT 792.114 792.106
riss Exp (complete)3266560UNSAT 911.198 911.173
riss Auto (1200 s timeout) (complete)3473101UNSAT 1027.37 1027.35
riss 1.0 (complete)3266559UNSAT 1036.66 1036.63
riss Auto (complete)3266561UNSAT 1071.4 1071.37
SArTagnan 2011-05-15 (fixed) (complete)3386046UNSAT 1095.95 356.112
priss Auto (complete)3266563UNSAT 1130.77 283.113
priss 1.0 (complete)3266564UNSAT 1628.32 407.695
sattime 2011-03-02 (incomplete)3266543? (TO) 1299.99 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3266546? (TO) 1300 1300.01
shortsattime2011 2011-03-02 (incomplete)3266544? (TO) 1300.01 1300.01
sattime+ 2011-03-02 (incomplete)3266548? (TO) 1300.03 1300.01
sattime2011 2011-03-02 (incomplete)3266542? (TO) 1300.03 1300.01
Black Hole SAT 2011-03-08 (complete)3266552? (TO) 1300.03 1300.01
shortsattime+ 2011-03-02 (incomplete)3266547? (TO) 1300.05 1300.01
SApperloT2010 2011-05-15 (fixed) (complete)3379802? (TO) 1300.06 1300.07
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3266579? (TO) 1300.1 1300.07
STRUCTure 0.1 (hbr=2) (complete)3311926? (TO) 4800.2 1221.35
STRUCTure 0.1 (complete)3313126? (TO) 4800.38 1239.16

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found: