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

Result page for benchmark
crafted/mosoi/
289/289-sat-11x4.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/
289/289-sat-11x4.cnf
MD5SUM9cdd889575fbb7075e2479f8d018dc69
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.000999
Satisfiable
(Un)Satisfiability was proved
Number of variables176
Number of clauses1628
Sum of the clauses size5984
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2264
Number of clauses of size 30
Number of clauses of size 41364
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
PicoSAT 941 (complete)3438829SAT 0.000999 0.00573191
SApperloT2010 2011-05-15 (fixed) (complete)3438828SAT 0.003998 0.015716
sattime+ 2011-03-02 (incomplete)3499848SAT 0.005999 0.0064199
sattime 2011-03-02 (incomplete)3427174SAT 0.006998 0.017673
clasp 2.0-R4092-crafted (complete)3423054SAT 0.007997 0.0187411
SAT07 reference solver: minisat SAT 2007 (complete)3275439SAT 0.007998 0.00934807
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275438SAT 0.007998 0.00879106
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421854SAT 0.008997 0.016211
RestartSAT B95 (complete)3421058SAT 0.008997 0.0188711
glucose 2 (complete)3303427SAT 0.009997 0.0114351
claspmt 2.0-R4095 [DEPRECATED] (complete)3322416SAT 0.010997 0.013972
ppfolio seq (complete)3275437SAT 0.010997 0.010896
claspmt 2.0-R4095-patched (fixed) (complete)3381021SAT 0.011997 0.0168881
sathys 2011-04-01 (complete)3438830SAT 0.014997 0.0145591
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499352SAT 0.016997 0.01764
MPhaseSAT 2011-02-15 (complete)3445718SAT 0.024995 0.025613
ppfolio par (complete)3275436SAT 0.026994 0.011981
QuteRSat 2011-05-12 (fixed) (complete)3421057SAT 0.036994 0.038742
Plingeling 587f (fixed) (complete)3394474SAT 0.05499 0.116961
SArTagnan 2011-05-15 (fixed) (complete)3438831SAT 0.091985 0.0281839
jMiniSat 2011 (complete)3438832SAT 0.151976 0.128875
Sol 2011-04-04 (complete)3394475SAT 0.19097 0.191623
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421554SAT 0.379941 0.06324
Satisfiability Solver Selector 2011-03-18 (complete)3275435SAT 2.77158 3.10931
priss 1.0 (complete)3499351SAT 9.16461 2.344

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 -176 0