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

Result page for benchmark
random/medium/
unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf

Jump to solvers results

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf
MD5SUM129ae27f6626450c69af6381b8baccdf
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.09392
Satisfiable
(Un)Satisfiability was proved
Number of variables175
Number of clauses3727
Sum of the clauses size18635
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53727
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
shortsattime2011 2011-03-02 (incomplete)3157348SAT 7.09392 7.09431
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3162832SAT 7.2359 7.23823
sattime+ 2011-03-02 (incomplete)3170045SAT 8.5587 8.55957
EagleUP 1.565.350 (incomplete)3093981SAT 10.7114 10.7144
csls prob-4cores (incomplete)3158240SAT 12.967 3.24876
ppfolio seq (complete)3191932SAT 13.386 13.3865
adaptg2wsat2011 2011-03-02 (incomplete)3168845SAT 16.0056 16.0075
MPhaseSAT64 2011-05-14 (fixed) (complete)3375354SAT 16.5905 16.5922
MultiFlip 2011-02-11 (incomplete)3096381SAT 16.9814 16.9833
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3095181SAT 17.2054 17.2063
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3206416SAT 17.4893 17.4897
borg-sat 11.03.02-random [DEPRECATED] (complete)3317598SAT 17.4913 4.95192
MPhaseSAT 2011-02-15 (complete)3094581SAT 17.7223 17.7216
borg-sat 11.03.02-par-random (fixed) (complete)3378654SAT 18.0733 5.06485
MPhaseSAT_M 2011-02-16 (complete)3095781SAT 19.828 19.8288
csls pnorm-8cores (incomplete)3159440SAT 26.122 6.54227
borg-sat 11.03.02-seq-random (fixed) (complete)3377754SAT 29.6835 29.8973
sattime 2011-03-02 (incomplete)3154556SAT 31.1563 31.1577
sattime2011 2011-03-02 (incomplete)3153956SAT 32.676 32.6777
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3206418SAT 45.3311 45.3315
ppfolio par (complete)3191332SAT 53.0059 17.0469
borg-sat 11.03.02-seq-random (fixed, 1200 s timeout) (complete)3484552SAT 74.3377 74.5163
csls prob-8cores (incomplete)3158840SAT 78.81 19.7311
SAT09 reference solver: TNM 2009-03-22 (incomplete)3206417SAT 85.9929 85.9934
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449534SAT 89.06 89.2948
Satisfiability Solver Selector 2011-03-18 (complete)3201385SAT 293.02 293.145
shortsattime+ 2011-03-02 (incomplete)3169445SAT 529.596 529.578
CryptoMiniSat TechDemo-Alpha-st (complete)3173645? (TO) 1299.98 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3171845? (TO) 1299.98 1300.01
Black Hole SAT 2011-03-08 (complete)3172445? (TO) 1300.02 1300.01
RestartSAT A75 (complete)3171245? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3174845? (TO) 1300.04 1300.02
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3176045? (TO) 1300.05 1300.01
SAT09 reference solver: march_hi hi (complete)3206419? (TO) 1300.05 1300.02
sathys 2011-04-01 (complete)3190132? (TO) 1300.05 1300.01
synit_sat 2011-03-03 (complete)3160040? (TO) 1300.05 1300.02
march_rw 2011-03-02 (complete)3152783? (TO) 1300.05 1300.02
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367854? (TO) 1300.06 1300.02
RestartSAT B95 (complete)3170645? (TO) 1300.06 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370254? (TO) 1300.06 1300.02
QuteRSat 2011-05-12 (fixed) (complete)3376554? (TO) 1300.06 1300.03
QuteRSat 2011-03-01 [DEPRECATED] (complete)3188932? (TO) 1300.08 1300.02
jMiniSat 2011 (complete)3279731? (TO) 1300.5 1300.02
SAT_Intersec_01 2011-03-01 (complete)3195283? (TO) 1300.59 1300.1
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3190732? (TO) 1301.06 1300.05
Sol 2011-04-04 (complete)3189532? (TO) 1304.23 1300.02
STRUCTure 0.1 (complete)3312878? (TO) 4800.11 1207.43
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369054? (TO) 4800.12 1202.84
CryptoMiniSat TechDemo-Alpha-mt (complete)3173045? (TO) 4800.3 1203.52
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3175445? (TO) 4800.38 1201.74
STRUCTure 0.1 (hbr=2) (complete)3311678? (TO) 4800.4 1207.43
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3174245? (TO) 4800.41 1201.74
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366654? (TO) 4800.45 1203.04

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:
1 -2 -3 4 5 -6 7 -8 9 -10 11 12 -13 -14 15 -16 17 18 -19 20 -21 -22 23 24 -25 26 27 -28 29 -30 31 32 -33 34 -35 -36 37 -38 39 40 -41 -42 43
-44 -45 -46 -47 48 -49 50 -51 -52 53 54 55 -56 57 58 -59 -60 -61 62 -63 -64 65 -66 -67 68 -69 -70 71 -72 73 74 -75 76 77 78 -79 80 -81 82
-83 -84 85 86 87 88 -89 90 -91 92 93 94 -95 96 -97 -98 99 100 101 -102 -103 -104 105 106 -107 108 -109 110 111 112 -113 -114 -115 -116 -117
118 -119 120 -121 122 123 -124 125 126 -127 128 129 -130 131 -132 -133 -134 -135 -136 -137 -138 139 140 -141 142 143 144 -145 146 -147 -148
-149 150 151 -152 -153 -154 -155 -156 -157 -158 159 -160 -161 162 163 -164 -165 166 -167 168 -169 170 -171 172 -173 -174 175 0