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

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

Jump to solvers results

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf
MD5SUMa959d408d44dc22efc55e46b642f9083
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.30119
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)3093583SAT 5.30119 5.30087
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3162434SAT 7.42387 7.42392
sattime 2011-03-02 (incomplete)3154158SAT 13.7399 13.7405
borg-sat 11.03.02-seq-random (fixed) (complete)3377356SAT 20.9868 21.5242
sattime2011 2011-03-02 (incomplete)3153558SAT 26.076 26.0752
csls prob-4cores (incomplete)3157842SAT 26.7099 6.68952
ppfolio par (complete)3190934SAT 55.47 13.9874
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3204826SAT 110.468 110.467
csls prob-8cores (incomplete)3158442SAT 127.467 31.908
ppfolio seq (complete)3191534SAT 131.07 131.16
borg-sat 11.03.02-par-random (fixed) (complete)3378256SAT 143.939 37.272
shortsattime2011 2011-03-02 (incomplete)3156950SAT 149.737 149.734
borg-sat 11.03.02-seq-random (fixed, 1200 s timeout) (complete)3484154SAT 190.009 190.215
sattime+ 2011-03-02 (incomplete)3169647SAT 207.657 207.652
borg-sat 11.03.02-random [DEPRECATED] (complete)3317200SAT 230.885 77.8669
shortsattime+ 2011-03-02 (incomplete)3169047SAT 261.181 261.193
csls pnorm-8cores (incomplete)3159042SAT 267.088 66.8489
MultiFlip 2011-02-11 (incomplete)3095983SAT 297.654 297.646
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3204824SAT 310.981 310.976
SAT09 reference solver: TNM 2009-03-22 (incomplete)3204825SAT 347.955 347.947
MPhaseSAT64 2011-05-14 (fixed) (complete)3374956SAT 412.115 412.118
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3094783SAT 474.28 474.26
MPhaseSAT 2011-02-15 (complete)3094183SAT 487.396 487.386
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449136SAT 609.61 609.73
adaptg2wsat2011 2011-03-02 (incomplete)3168447SAT 611.331 611.312
MPhaseSAT_M 2011-02-16 (complete)3095383SAT 698.796 698.784
Satisfiability Solver Selector 2011-03-18 (complete)3200987SAT 840.12 840.243
sathys 2011-04-01 (complete)3189734? (TO) 1299.73 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3173247? (TO) 1299.99 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3175647? (TO) 1300 1300.02
Black Hole SAT 2011-03-08 (complete)3172047? (TO) 1300.03 1300.01
RestartSAT B95 (complete)3170247? (TO) 1300.04 1300.01
RestartSAT A75 (complete)3170847? (TO) 1300.04 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3171447? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367456? (TO) 1300.05 1300.02
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3369856? (TO) 1300.05 1300.02
synit_sat 2011-03-03 (complete)3159642? (TO) 1300.05 1300.02
march_rw 2011-03-02 (complete)3152385? (TO) 1300.05 1300.01
QuteRSat 2011-03-01 [DEPRECATED] (complete)3188534? (TO) 1300.05 1300.02
QuteRSat 2011-05-12 (fixed) (complete)3376156? (TO) 1300.06 1300.03
SAT09 reference solver: march_hi hi (complete)3204827? (TO) 1300.06 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3174447? (TO) 1300.06 1300.01
jMiniSat 2011 (complete)3279333? (TO) 1300.52 1300.02
SAT_Intersec_01 2011-03-01 (complete)3194885? (TO) 1300.64 1300.09
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3190334? (TO) 1301.15 1300.05
Sol 2011-04-04 (complete)3189134? (TO) 1302.1 1300.02
STRUCTure 0.1 (hbr=2) (complete)3311280? (TO) 4800.11 1207.23
STRUCTure 0.1 (complete)3312480? (TO) 4800.23 1207.13
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366256? (TO) 4800.24 1202.84
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3173847? (TO) 4800.28 1201.74
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3175047? (TO) 4800.34 1201.73
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3368656? (TO) 4800.34 1203.14
CryptoMiniSat TechDemo-Alpha-mt (complete)3172647? (TO) 4800.41 1201.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 -141 -142 -143 144 145 146 -147
-148 149 -150 0