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

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

Jump to solvers results

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf
MD5SUM056b111696528692a64cdb39e1a29daf
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.88671
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
shortsattime2011 2011-03-02 (incomplete)3156917SAT 1.88671 1.8875
EagleUP 1.565.350 (incomplete)3093550SAT 2.10768 2.14017
adaptg2wsat2011 2011-03-02 (incomplete)3168414SAT 6.43002 6.4339
shortsattime+ 2011-03-02 (incomplete)3169014SAT 13.5299 13.5314
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3204694SAT 14.2328 14.2355
MultiFlip 2011-02-11 (incomplete)3095950SAT 22.4486 22.4493
borg-sat 11.03.02-seq-random (fixed, 1200 s timeout) (complete)3484121SAT 26.6429 26.8016
borg-sat 11.03.02-random [DEPRECATED] (complete)3317167SAT 28.1977 8.25958
csls prob-8cores (incomplete)3158409SAT 46.4949 11.6391
sattime2011 2011-03-02 (incomplete)3153525SAT 59.9009 59.9068
sattime+ 2011-03-02 (incomplete)3169614SAT 62.9904 62.9936
borg-sat 11.03.02-seq-random (fixed) (complete)3377323SAT 78.835 78.9229
csls pnorm-8cores (incomplete)3159009SAT 81.7916 20.4822
ppfolio seq (complete)3191501SAT 88.9825 88.9845
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449103SAT 116.94 117.222
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3204692SAT 140.939 140.945
MPhaseSAT64 2011-05-14 (fixed) (complete)3374923SAT 192.064 192.06
sattime 2011-03-02 (incomplete)3154125SAT 203.932 203.926
MPhaseSAT 2011-02-15 (complete)3094150SAT 221.487 221.486
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3094750SAT 222.153 222.152
ppfolio par (complete)3190901SAT 279.269 69.9151
borg-sat 11.03.02-par-random (fixed) (complete)3378223SAT 285.521 72.8331
csls prob-4cores (incomplete)3157809SAT 303.73 76.0209
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3162401SAT 462.306 462.299
Satisfiability Solver Selector 2011-03-18 (complete)3200954SAT 545.33 545.431
MPhaseSAT_M 2011-02-16 (complete)3095350SAT 575.76 575.786
SAT09 reference solver: TNM 2009-03-22 (incomplete)3204693SAT 751.099 751.16
UmSat 2011-02-25 [DEPRECATED] (complete)3171414? (TO) 1299.98 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367423? (TO) 1300 1300.02
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3174414? (TO) 1300 1300.02
march_rw 2011-03-02 (complete)3152352? (TO) 1300.02 1300.01
RestartSAT B95 (complete)3170214? (TO) 1300.03 1300.01
sathys 2011-04-01 (complete)3189701? (TO) 1300.04 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3173214? (TO) 1300.04 1300.01
SAT09 reference solver: march_hi hi (complete)3204695? (TO) 1300.04 1300.01
RestartSAT A75 (complete)3170814? (TO) 1300.05 1300.01
QuteRSat 2011-03-01 [DEPRECATED] (complete)3188501? (TO) 1300.05 1300.02
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3175614? (TO) 1300.05 1300.02
Black Hole SAT 2011-03-08 (complete)3172014? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3369823? (TO) 1300.06 1300.02
synit_sat 2011-03-03 (complete)3159609? (TO) 1300.07 1300.02
QuteRSat 2011-05-12 (fixed) (complete)3376123? (TO) 1300.08 1300.03
jMiniSat 2011 (complete)3279300? (TO) 1300.56 1300.02
SAT_Intersec_01 2011-03-01 (complete)3194852? (TO) 1300.57 1300.1
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3190301? (TO) 1301.23 1300.05
Sol 2011-04-04 (complete)3189101? (TO) 1303.11 1300.02
STRUCTure 0.1 (hbr=2) (complete)3311247? (TO) 4800.15 1207.13
CryptoMiniSat TechDemo-Alpha-mt (complete)3172614? (TO) 4800.29 1201.72
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366223? (TO) 4800.29 1203.35
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3368623? (TO) 4800.3 1203.34
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3175014? (TO) 4800.3 1201.94
STRUCTure 0.1 (complete)3312447? (TO) 4800.35 1207.23
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3173814? (TO) 4800.38 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