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

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

Jump to solvers results

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf
MD5SUM6a6ca4aade15f7a3c6a2d058c788d3f5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.20651
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
sattime+ 2011-03-02 (incomplete)3169636SAT 3.20651 3.20671
shortsattime2011 2011-03-02 (incomplete)3156939SAT 14.7328 14.7334
adaptg2wsat2011 2011-03-02 (incomplete)3168436SAT 19.409 19.4096
MultiFlip 2011-02-11 (incomplete)3095972SAT 25.3241 25.3265
EagleUP 1.565.350 (incomplete)3093572SAT 32.0981 32.0968
borg-sat 11.03.02-random [DEPRECATED] (complete)3317189SAT 41.9656 11.6944
shortsattime+ 2011-03-02 (incomplete)3169036SAT 56.1535 56.1544
sattime 2011-03-02 (incomplete)3154147SAT 56.6644 56.6673
SAT09 reference solver: TNM 2009-03-22 (incomplete)3204781SAT 61.0507 61.0494
sattime2011 2011-03-02 (incomplete)3153547SAT 93.2168 93.2152
MPhaseSAT64 2011-05-14 (fixed) (complete)3374945SAT 143.399 143.406
borg-sat 11.03.02-seq-random (fixed) (complete)3377345SAT 153.11 154.121
MPhaseSAT 2011-02-15 (complete)3094172SAT 156.87 156.868
csls pnorm-8cores (incomplete)3159031SAT 162.246 40.6114
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3094772SAT 163.421 163.418
csls prob-8cores (incomplete)3158431SAT 201.79 50.5097
borg-sat 11.03.02-par-random (fixed) (complete)3378245SAT 292.565 74.4563
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449125SAT 348.37 348.582
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3204780SAT 355.617 355.621
borg-sat 11.03.02-seq-random (fixed, 1200 s timeout) (complete)3484143SAT 362.566 362.536
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3162423SAT 400.024 400.015
ppfolio seq (complete)3191523SAT 433.905 433.896
Satisfiability Solver Selector 2011-03-18 (complete)3200976SAT 547.89 548.06
csls prob-4cores (incomplete)3157831SAT 859.018 215.002
MPhaseSAT_M 2011-02-16 (complete)3095372SAT 881.336 881.324
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3204782SAT 1074.84 1074.81
ppfolio par (complete)3190923SAT 1434.69 359.156
RestartSAT A75 (complete)3170836? (TO) 1299.99 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3173236? (TO) 1300 1300.01
QuteRSat 2011-05-12 (fixed) (complete)3376145? (TO) 1300.03 1300.03
QuteRSat 2011-03-01 [DEPRECATED] (complete)3188523? (TO) 1300.04 1300.02
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3174436? (TO) 1300.04 1300.01
synit_sat 2011-03-03 (complete)3159631? (TO) 1300.05 1300.02
march_rw 2011-03-02 (complete)3152374? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3175636? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3369845? (TO) 1300.05 1300.02
Black Hole SAT 2011-03-08 (complete)3172036? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367445? (TO) 1300.05 1300.02
SAT09 reference solver: march_hi hi (complete)3204783? (TO) 1300.05 1300.01
RestartSAT B95 (complete)3170236? (TO) 1300.05 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3171436? (TO) 1300.05 1300.01
sathys 2011-04-01 (complete)3189723? (TO) 1300.05 1300.01
jMiniSat 2011 (complete)3279322? (TO) 1300.45 1300.02
SAT_Intersec_01 2011-03-01 (complete)3194874? (TO) 1300.65 1300.1
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3190323? (TO) 1301.14 1300.05
Sol 2011-04-04 (complete)3189123? (TO) 1303.09 1300.02
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3173836? (TO) 4800.09 1201.54
STRUCTure 0.1 (complete)3312469? (TO) 4800.13 1207.33
CryptoMiniSat TechDemo-Alpha-mt (complete)3172636? (TO) 4800.26 1201.93
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3175036? (TO) 4800.28 1201.74
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3368645? (TO) 4800.28 1205.15
STRUCTure 0.1 (hbr=2) (complete)3311269? (TO) 4800.31 1207.33
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366245? (TO) 4800.36 1203.36

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