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

Result page for benchmark
crafted/spence/sgen/
sgen3-n180-s34713902-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n180-s34713902-sat.cnf
MD5SUM19292459de25c4f5e9e6f187c00d549d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.431934
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of clauses432
Sum of the clauses size1080
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2360
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 572
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
shortsattime+ 2011-03-02 (incomplete)3273514SAT 0.431934 0.431729
sattime+ 2011-03-02 (incomplete)3273515SAT 0.517921 0.518624
march_rw 2011-03-02 (complete)3273508SAT 0.661899 0.667832
sattime 2011-03-02 (incomplete)3273510SAT 0.757884 0.758199
shortsattime2011 2011-03-02 (incomplete)3273511SAT 1.81272 1.81332
adaptg2wsat2011 2011-03-02 (incomplete)3273513SAT 1.87871 1.87832
MPhaseSAT64 2011-05-14 (fixed) (complete)3375678SAT 2.34564 2.34619
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3273506SAT 2.6006 2.60094
MPhaseSAT 2011-02-15 (complete)3273505SAT 2.66359 2.67073
MPhaseSAT_M 2011-02-16 (complete)3273507SAT 2.67359 2.67441
sattime2011 2011-03-02 (incomplete)3273509SAT 3.71943 3.72242
ppfolio par (complete)3273540SAT 3.88441 1.52189
ppfolio seq (complete)3273541SAT 6.18406 6.19315
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449601SAT 7.69 16.7585
SApperloT2010 2011-05-15 (fixed) (complete)3379878SAT 10.3874 10.3874
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3273546SAT 10.6334 10.6346
Satisfiability Solver Selector 2011-03-18 (complete)3273542SAT 25.07 51.2585
rcl 2011-04-01 (complete)3273537SAT 26.053 26.0601
claspmt 2.0-R4095-patched (fixed) (complete)3373278SAT 127.176 31.914
STRUCTure 0.1 (hbr=2) (complete)3312002SAT 235.306 59.4311
claspmt 2.0-R4095 [DEPRECATED] (complete)3299657SAT 263.468 66.0887
RestartSAT A75 (complete)3273517SAT 370.522 370.518
RestartSAT B95 (complete)3273516SAT 528.103 528.108
STRUCTure 0.1 (complete)3313202SAT 587.368 148.019
UmSat 2011-02-25 [DEPRECATED] (complete)3273518SAT 655.345 655.327
UmSat 2011-05-12 (fixed) (complete)3379278SAT 659.224 659.204
jMiniSat 2011 (complete)3280055SAT 721.333 720.755
PicoSAT 941 (complete)3273532SAT 732.379 732.358
riss Exp (complete)3273527SAT 1068.52 1068.47
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3273549SAT 1074.56 1074.53
SAT07 reference solver: minisat SAT 2007 (complete)3273551SAT 1176.93 1176.89
riss Auto (1200 s timeout) (complete)3472832? (TO) 1200.02 1200.03
clasp 2.0-R4092-crafted (complete)3300557? (TO) 1299.95 1300.01
glucose 2 (complete)3273543? (TO) 1299.97 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370578? (TO) 1299.98 1300.02
sathys 2011-04-01 (complete)3273538? (TO) 1299.99 1300.01
riss Auto (complete)3273528? (TO) 1300.03 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368178? (TO) 1300.03 1300.02
Lingeling 587 [DEPRECATED] (complete)3273534? (TO) 1300.03 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3273521? (TO) 1300.03 1300.01
riss 1.0 (complete)3273526? (TO) 1300.03 1300.01
Black Hole SAT 2011-03-08 (complete)3273519? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3273525? (TO) 1300.04 1300.01
synit_sat 2011-03-03 (complete)3273512? (TO) 1300.04 1300.02
QuteRSat 2011-05-12 (fixed) (complete)3376878? (TO) 1300.04 1300.03
SApperloT 2011-03-23 (complete)3273548? (TO) 1300.05 1300.01
Lingeling 587f (fixed) (complete)3371778? (TO) 1300.05 1300.02
QuteRSat 2011-03-01 [DEPRECATED] (complete)3273535? (TO) 1300.05 1300.02
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3273523? (TO) 1300.05 1300.01
tts 5-4 (complete)3273544? (TO) 1300.06 1300.04
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3273539? (TO) 1301.27 1300.03
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3273550? (TO) 1304.9 1300.01
Sol 2011-04-04 (complete)3273536? (TO) 1306.8 1300.03
priss UP (complete)3273529? (TO) 2408.05 1300.02
SArTagnan 2011-05-15 (fixed) (complete)3386122? (TO) 3415.95 1300.05
priss 1.0 (complete)3273531? (TO) 4800.25 1201.92
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3273522? (TO) 4800.26 1201.93
Plingeling 587f (fixed) (complete)3371178? (TO) 4800.27 1203.83
ttsth 5-4 (complete)3273545? (TO) 4800.29 1203.99
CryptoMiniSat TechDemo-Alpha-mt (complete)3273520? (TO) 4800.3 1201.52
priss Auto (complete)3273530? (TO) 4800.3 1201.72
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3273524? (TO) 4800.31 1201.73
SArTagnan 2011-03-24 [DEPRECATED] (complete)3273547? (TO) 4800.36 1201.94
Plingeling 587 [DEPRECATED] (complete)3273533? (TO) 4800.42 1201.72
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369378? (TO) 4800.44 1203.45
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366978? (TO) 4800.45 1203.45

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 177 -178 -179 180
0