SAT 2011 Competition: main competition (phase 2): 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.223965
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
sattime+ 2011-03-02 (incomplete)3499808SAT 0.223965 0.223668
sattime 2011-03-02 (incomplete)3427134SAT 0.978851 0.979275
MPhaseSAT 2011-02-15 (complete)3445678SAT 2.66959 2.6711
ppfolio par (complete)3275236SAT 2.69059 0.676691
SApperloT2010 2011-05-15 (fixed) (complete)3438628SAT 10.4984 10.499
ppfolio seq (complete)3275237SAT 13.18 13.2484
Satisfiability Solver Selector 2011-03-18 (complete)3275235SAT 156.42 156.53
claspmt 2.0-R4095 [DEPRECATED] (complete)3322376SAT 367.491 52.6842
RestartSAT B95 (complete)3420978SAT 525.289 525.278
PicoSAT 941 (complete)3438629SAT 731.778 731.756
jMiniSat 2011 (complete)3438632SAT 753.945 753.375
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275238SAT 1028.06 1028.04
SAT07 reference solver: minisat SAT 2007 (complete)3275239SAT 1066.89 1066.86
claspmt 2.0-R4095-patched (fixed) (complete)3380981SAT 1267.79 158.924
clasp 2.0-R4092-crafted (complete)3423014SAT 1377.48 1377.43
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421514SAT 3036.07 380.279
Plingeling 587f (fixed) (complete)3394394SAT 16135.5 2023.8
SArTagnan 2011-05-15 (fixed) (complete)3438631SAT 33574.9 4203.94
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499272? (exit code) 4998.38 4998.23
glucose 2 (complete)3303387? (TO) 5000 4999.91
sathys 2011-04-01 (complete)3438630? (TO) 5000.01 4999.93
QuteRSat 2011-05-12 (fixed) (complete)3420977? (TO) 5000.07 4999.93
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421814? (TO) 5000.08 4999.93
Sol 2011-04-04 (complete)3394395? (TO) 5000.15 4957.67
priss 1.0 (complete)3499271? (TO) 20400.2 5100.02

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