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

Result page for benchmark
crafted/spence/sgen/
sgen3-n140-s18527668-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n140-s18527668-sat.cnf
MD5SUMd6f66d406779966e0b3cbed9097980e3
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.234964
Satisfiable
(Un)Satisfiability was proved
Number of variables140
Number of clauses336
Sum of the clauses size840
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2280
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 556
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)3427148SAT 0.234964 0.235562
sattime+ 2011-03-02 (incomplete)3499822SAT 0.25996 0.260756
MPhaseSAT 2011-02-15 (complete)3445692SAT 0.840871 0.8422
ppfolio seq (complete)3275307SAT 1.17382 1.17425
SAT07 reference solver: minisat SAT 2007 (complete)3275309SAT 1.19982 1.20042
jMiniSat 2011 (complete)3438702SAT 1.22081 0.986129
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499300SAT 4.80127 5.74038
ppfolio par (complete)3275306SAT 5.32919 0.67367
PicoSAT 941 (complete)3438699SAT 8.24675 8.24654
SApperloT2010 2011-05-15 (fixed) (complete)3438698SAT 16.6125 16.6339
RestartSAT B95 (complete)3421006SAT 18.1762 18.1778
Satisfiability Solver Selector 2011-03-18 (complete)3275305SAT 24.02 24.1708
QuteRSat 2011-05-12 (fixed) (complete)3421005SAT 32.886 32.8858
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421828SAT 39.417 39.4157
claspmt 2.0-R4095-patched (fixed) (complete)3380995SAT 39.591 4.98356
clasp 2.0-R4092-crafted (complete)3423028SAT 90.5282 90.5258
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275308SAT 105.002 105
claspmt 2.0-R4095 [DEPRECATED] (complete)3322390SAT 152.919 19.2046
Plingeling 587f (fixed) (complete)3394422SAT 159.717 20.4417
sathys 2011-04-01 (complete)3438700SAT 178.111 178.141
glucose 2 (complete)3303401SAT 217.897 217.898
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421528SAT 228.855 28.6618
Sol 2011-04-04 (complete)3394423SAT 475.073 469.314
SArTagnan 2011-05-15 (fixed) (complete)3438701SAT 525.685 65.8865
priss 1.0 (complete)3499299SAT 5914.74 1478.72

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 0