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

Result page for benchmark
crafted/mosoi/289/
289-sat-7x6.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/mosoi/289/
289-sat-7x6.cnf
MD5SUMd97201611a1145eb2ceef5296c6c3ed9
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.001999
Satisfiable
(Un)Satisfiability was proved
Number of variables168
Number of clauses1554
Sum of the clauses size5712
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2252
Number of clauses of size 30
Number of clauses of size 41302
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)3438799SAT 0.001999 0.018979
SApperloT2010 2011-05-15 (fixed) (complete)3438798SAT 0.003999 0.0197169
sattime+ 2011-03-02 (incomplete)3499842SAT 0.004998 0.00640497
sattime 2011-03-02 (incomplete)3427168SAT 0.006998 0.0175839
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275408SAT 0.006998 0.00961308
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421848SAT 0.007997 0.0210201
RestartSAT B95 (complete)3421046SAT 0.007997 0.020149
SAT07 reference solver: minisat SAT 2007 (complete)3275409SAT 0.007998 0.00789805
clasp 2.0-R4092-crafted (complete)3423048SAT 0.008998 0.0169379
ppfolio seq (complete)3275407SAT 0.009997 0.0122151
claspmt 2.0-R4095-patched (fixed) (complete)3381015SAT 0.009998 0.0131569
claspmt 2.0-R4095 [DEPRECATED] (complete)3322410SAT 0.010997 0.015247
glucose 2 (complete)3303421SAT 0.010997 0.0116889
sathys 2011-04-01 (complete)3438800SAT 0.016996 0.0318379
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499340SAT 0.020996 0.020951
MPhaseSAT 2011-02-15 (complete)3445712SAT 0.022995 0.028223
ppfolio par (complete)3275406SAT 0.034993 0.0121049
QuteRSat 2011-05-12 (fixed) (complete)3421045SAT 0.039993 0.0401759
SArTagnan 2011-05-15 (fixed) (complete)3438801SAT 0.069988 0.0242509
Plingeling 587f (fixed) (complete)3394462SAT 0.074987 0.033249
jMiniSat 2011 (complete)3438802SAT 0.156975 0.133946
Sol 2011-04-04 (complete)3394463SAT 0.168974 0.24281
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421548SAT 0.284956 0.049585
Satisfiability Solver Selector 2011-03-18 (complete)3275405SAT 2.82857 2.84806
priss 1.0 (complete)3499339SAT 10.8184 2.7189

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 0