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

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

Jump to solvers results

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf
MD5SUM1a4e1674582e40801444509cae2068da
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.5668
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
EagleUP 1.565.350 (incomplete)3093570SAT 27.5668 27.5683
borg-sat 11.03.02-par-random (fixed) (complete)3378243SAT 232.172 59.1468
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449123SAT 409.7 409.814
SAT09 reference solver: TNM 2009-03-22 (incomplete)3204773SAT 426.241 426.23
borg-sat 11.03.02-seq-random (fixed, 1200 s timeout) (complete)3484141SAT 466.869 466.946
shortsattime2011 2011-03-02 (incomplete)3156937SAT 470.486 470.479
Satisfiability Solver Selector 2011-03-18 (complete)3200974SAT 568.24 568.455
shortsattime+ 2011-03-02 (incomplete)3169034SAT 723.764 723.743
sattime2011 2011-03-02 (incomplete)3153545SAT 739.475 739.475
csls prob-8cores (incomplete)3158429SAT 827.266 207.053
MPhaseSAT64 2011-05-14 (fixed) (complete)3374943SAT 923.365 923.343
csls pnorm-8cores (incomplete)3159029SAT 968.423 242.381
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3204774SAT 1048.17 1048.13
MPhaseSAT_M 2011-02-16 (complete)3095370SAT 1078.59 1078.56
MPhaseSAT 2011-02-15 (complete)3094170SAT 1078.63 1078.6
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3094770SAT 1150.7 1150.67
csls prob-4cores (incomplete)3157829SAT 1540.13 385.497
borg-sat 11.03.02-random [DEPRECATED] (complete)3317187SAT 2493.72 627.13
borg-sat 11.03.02-seq-random (fixed) (complete)3377343? (MO) 701.71 701.777
adaptg2wsat2011 2011-03-02 (incomplete)3168434? (TO) 1299.96 1300.01
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3162421? (TO) 1299.97 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3171434? (TO) 1299.97 1300.01
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3204772? (TO) 1299.99 1300.01
sattime 2011-03-02 (incomplete)3154145? (TO) 1299.99 1300.01
ppfolio seq (complete)3191521? (TO) 1300 1300.01
sathys 2011-04-01 (complete)3189721? (TO) 1300.01 1300.01
RestartSAT B95 (complete)3170234? (TO) 1300.01 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367443? (TO) 1300.03 1300.02
Black Hole SAT 2011-03-08 (complete)3172034? (TO) 1300.04 1300.01
RestartSAT A75 (complete)3170834? (TO) 1300.04 1300.01
MultiFlip 2011-02-11 (incomplete)3095970? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3174434? (TO) 1300.04 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3173234? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3175634? (TO) 1300.05 1300.01
march_rw 2011-03-02 (complete)3152372? (TO) 1300.05 1300.01
SAT09 reference solver: march_hi hi (complete)3204775? (TO) 1300.05 1300.02
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3369843? (TO) 1300.05 1300.02
synit_sat 2011-03-03 (complete)3159629? (TO) 1300.06 1300.02
QuteRSat 2011-03-01 [DEPRECATED] (complete)3188521? (TO) 1300.06 1300.02
QuteRSat 2011-05-12 (fixed) (complete)3376143? (TO) 1300.06 1300.03
sattime+ 2011-03-02 (incomplete)3169634? (TO) 1300.07 1300.01
jMiniSat 2011 (complete)3279320? (TO) 1300.54 1300.02
SAT_Intersec_01 2011-03-01 (complete)3194872? (TO) 1300.58 1300.09
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3190321? (TO) 1301.13 1300.03
Sol 2011-04-04 (complete)3189121? (TO) 1303.09 1300.02
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3368643? (TO) 4800.13 1203.14
STRUCTure 0.1 (hbr=2) (complete)3311267? (TO) 4800.23 1207.13
CryptoMiniSat TechDemo-Alpha-mt (complete)3172634? (TO) 4800.27 1201.72
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3173834? (TO) 4800.28 1201.64
ppfolio par (complete)3190921? (TO) 4800.29 1201.91
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366243? (TO) 4800.33 1201.74
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3175034? (TO) 4800.42 1201.74
STRUCTure 0.1 (complete)3312467? (TO) 4800.46 1207.23

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