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

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

Jump to solvers results

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf
MD5SUMdee9409d3106901eba323258572940c9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.065989
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
adaptg2wsat2011 2011-03-02 (incomplete)3168493SAT 0.065989 0.0665949
shortsattime2011 2011-03-02 (incomplete)3156996SAT 0.065989 0.067489
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3205008SAT 0.084986 0.08535
SAT09 reference solver: TNM 2009-03-22 (incomplete)3205009SAT 0.090985 0.0919009
csls pnorm-8cores (incomplete)3159088SAT 0.103983 0.0305621
EagleUP 1.565.350 (incomplete)3093629SAT 0.117981 0.118242
MultiFlip 2011-02-11 (incomplete)3096029SAT 0.12198 0.122599
csls prob-4cores (incomplete)3157888SAT 0.134978 0.037883
sattime2011 2011-03-02 (incomplete)3153604SAT 0.143977 0.146889
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3205010SAT 0.211966 0.212063
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3162480SAT 0.235963 0.235571
shortsattime+ 2011-03-02 (incomplete)3169093SAT 0.247961 0.247626
sattime 2011-03-02 (incomplete)3154204SAT 0.270957 0.270829
ppfolio seq (complete)3191580SAT 0.356945 0.360354
csls prob-8cores (incomplete)3158488SAT 0.472927 0.122071
borg-sat 11.03.02-seq-random (fixed) (complete)3377402SAT 0.646901 0.746788
sattime+ 2011-03-02 (incomplete)3169693SAT 0.693894 0.694644
borg-sat 11.03.02-seq-random (fixed, 1200 s timeout) (complete)3484200SAT 0.725888 0.805388
borg-sat 11.03.02-par-random (fixed) (complete)3378302SAT 0.777881 0.726599
MPhaseSAT64 2011-05-14 (fixed) (complete)3375002SAT 0.825874 0.825613
ppfolio par (complete)3190980SAT 0.888864 0.808309
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3094829SAT 0.934857 0.935529
MPhaseSAT 2011-02-15 (complete)3094229SAT 1.16982 1.17133
MPhaseSAT_M 2011-02-16 (complete)3095429SAT 1.16982 1.17062
borg-sat 11.03.02-random [DEPRECATED] (complete)3317246SAT 1.23681 0.883852
sathys 2011-04-01 (complete)3189780SAT 2.69759 2.70136
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449182SAT 18.6102 18.7447
Satisfiability Solver Selector 2011-03-18 (complete)3201033SAT 34.7477 34.9163
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367502? (TO) 1299.95 1300.02
Black Hole SAT 2011-03-08 (complete)3172093? (TO) 1300 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3175693? (TO) 1300 1300.02
QuteRSat 2011-03-01 [DEPRECATED] (complete)3188580? (TO) 1300 1300.02
march_rw 2011-03-02 (complete)3152431? (TO) 1300.02 1300.02
QuteRSat 2011-05-12 (fixed) (complete)3376202? (TO) 1300.03 1300.02
UmSat 2011-02-25 [DEPRECATED] (complete)3171493? (TO) 1300.04 1300.01
RestartSAT B95 (complete)3170293? (TO) 1300.04 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3173293? (TO) 1300.04 1300.01
RestartSAT A75 (complete)3170893? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3369902? (TO) 1300.05 1300.02
SAT09 reference solver: march_hi hi (complete)3205011? (TO) 1300.06 1300.02
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3174493? (TO) 1300.06 1300.02
synit_sat 2011-03-03 (complete)3159688? (TO) 1300.06 1300.02
SAT_Intersec_01 2011-03-01 (complete)3194931? (TO) 1300.56 1300.09
jMiniSat 2011 (complete)3279379? (TO) 1300.68 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3190380? (TO) 1301.12 1300.03
Sol 2011-04-04 (complete)3189180? (TO) 1304.13 1300.02
STRUCTure 0.1 (hbr=2) (complete)3311326? (TO) 4800.28 1207.43
CryptoMiniSat TechDemo-Alpha-mt (complete)3172693? (TO) 4800.3 1201.62
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366302? (TO) 4800.34 1202.95
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3175093? (TO) 4800.36 1201.74
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3368702? (TO) 4800.39 1203.24
STRUCTure 0.1 (complete)3312526? (TO) 4800.41 1207.53
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3173893? (TO) 4800.45 1201.74

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