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

Result page for benchmark
random/large/
unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf

Jump to solvers results

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf
MD5SUMd89541d4d678adcd99dbf4694eb0406c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark12.1322
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses12750
Sum of the clauses size89250
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 512750

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
borg-sat 11.03.02-par-random (fixed) (complete)3378105SAT 12.1322 3.99559
shortsattime2011 2011-03-02 (incomplete)3156799SAT 15.6876 15.6882
csls prob-4cores (incomplete)3157691SAT 63.8523 15.9847
MPhaseSAT_M 2011-02-16 (complete)3095232SAT 88.9985 89.0069
borg-sat 11.03.02-seq-random (fixed, 1200 s timeout) (complete)3484003SAT 155.268 155.921
sattime2011 2011-03-02 (incomplete)3153407SAT 171.285 171.283
MultiFlip 2011-02-11 (incomplete)3095832SAT 261.589 261.632
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3204222SAT 390.883 390.879
SAT09 reference solver: TNM 2009-03-22 (incomplete)3204221SAT 493.332 493.322
borg-sat 11.03.02-seq-random (fixed) (complete)3377205SAT 557.75 559.046
csls pnorm-8cores (incomplete)3158891SAT 570.495 142.787
borg-sat 11.03.02-random [DEPRECATED] (complete)3317049SAT 629.777 179.725
EagleUP 1.565.350 (incomplete)3093432SAT 635.666 635.648
sattime+ 2011-03-02 (incomplete)3169496SAT 646.205 646.19
csls prob-8cores (incomplete)3158291SAT 684.513 171.436
Satisfiability Solver Selector 2011-03-18 (complete)3200836SAT 733.66 738.806
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3204220SAT 763.252 763.237
MPhaseSAT64 2011-05-14 (fixed) (complete)3374805SAT 802.762 802.742
adaptg2wsat2011 2011-03-02 (incomplete)3168296SAT 802.893 802.877
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3448985SAT 803.42 803.57
sattime 2011-03-02 (incomplete)3154007SAT 887.998 887.979
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3094632SAT 926.754 926.749
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3162283SAT 1014.9 1014.89
MPhaseSAT 2011-02-15 (complete)3094032SAT 1031.8 1031.98
ppfolio par (complete)3190783SAT 2712.25 678.988
QuteRSat 2011-05-12 (fixed) (complete)3376005? (TO) 1066.68 1300.13
SAT09 reference solver: march_hi hi (complete)3204223? (TO) 1299.99 1300.01
synit_sat 2011-03-03 (complete)3159491? (TO) 1300.01 1300.02
march_rw 2011-03-02 (complete)3152234? (TO) 1300.01 1300.01
ppfolio seq (complete)3191383? (TO) 1300.02 1300.01
sathys 2011-04-01 (complete)3189583? (TO) 1300.02 1300.01
Black Hole SAT 2011-03-08 (complete)3171896? (TO) 1300.04 1300.01
RestartSAT A75 (complete)3170696? (TO) 1300.04 1300.01
RestartSAT B95 (complete)3170096? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3369705? (TO) 1300.05 1300.02
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3174296? (TO) 1300.05 1300.02
UmSat 2011-02-25 [DEPRECATED] (complete)3171296? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367305? (TO) 1300.05 1300.02
shortsattime+ 2011-03-02 (incomplete)3168896? (TO) 1300.06 1300.01
QuteRSat 2011-03-01 [DEPRECATED] (complete)3188383? (TO) 1300.06 1300.02
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3175496? (TO) 1300.06 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3173096? (TO) 1300.06 1300.01
SAT_Intersec_01 2011-03-01 (complete)3194734? (TO) 1300.58 1300.1
jMiniSat 2011 (complete)3279182? (TO) 1300.58 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3190183? (TO) 1300.89 1300.04
Sol 2011-04-04 (complete)3188983? (TO) 1303.07 1300.02
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366105? (TO) 4800.2 1202.84
CryptoMiniSat TechDemo-Alpha-mt (complete)3172496? (TO) 4800.23 1201.92
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3174896? (TO) 4800.4 1201.73
STRUCTure 0.1 (complete)3312329? (TO) 4800.42 1207.33
STRUCTure 0.1 (hbr=2) (complete)3311129? (TO) 4800.42 1207.33
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3368505? (TO) 4800.43 1203.54
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3173696? (TO) 4800.43 1201.73

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 0