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

Result page for benchmark
crafted/spence/sgen/
sgen3-n160-s40283905-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n160-s40283905-sat.cnf
MD5SUM8e3c134eb643f2d9a45c884774c054a8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.186971
Satisfiable
(Un)Satisfiability was proved
Number of variables160
Number of clauses384
Sum of the clauses size960
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2320
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 564
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)3499805SAT 0.186971 0.187506
MPhaseSAT 2011-02-15 (complete)3445675SAT 1.22581 1.2267
sattime 2011-03-02 (incomplete)3427131SAT 1.77373 1.77362
PicoSAT 941 (complete)3438614SAT 1.9797 2.00425
RestartSAT B95 (complete)3420972SAT 14.6328 14.6329
ppfolio seq (complete)3275222SAT 21.7387 21.7372
ppfolio par (complete)3275221SAT 23.5254 2.94878
jMiniSat 2011 (complete)3438617SAT 118.975 118.54
Satisfiability Solver Selector 2011-03-18 (complete)3275220SAT 143.54 143.663
SApperloT2010 2011-05-15 (fixed) (complete)3438613SAT 188.444 188.439
claspmt 2.0-R4095 [DEPRECATED] (complete)3322373SAT 191.878 24.0805
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275223SAT 221.585 221.584
SAT07 reference solver: minisat SAT 2007 (complete)3275224SAT 353.802 353.787
clasp 2.0-R4092-crafted (complete)3423011SAT 443.15 443.178
claspmt 2.0-R4095-patched (fixed) (complete)3380978SAT 879.543 110.343
Plingeling 587f (fixed) (complete)3394388SAT 1001 125.941
priss 1.0 (complete)3499265SAT 2688.46 672.147
glucose 2 (complete)3303384SAT 4660.36 4660.25
SArTagnan 2011-05-15 (fixed) (complete)3438616SAT 6351.99 795.661
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421511SAT 19368.4 2425.02
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499266? (exit code) 4998.93 4998.78
sathys 2011-04-01 (complete)3438615? (TO) 5000.04 4999.93
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421811? (TO) 5000.08 5000.03
QuteRSat 2011-05-12 (fixed) (complete)3420971? (TO) 5000.1 4999.93
Sol 2011-04-04 (complete)3394389? (TO) 5000.13 4957.55

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 0