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

Result page for benchmark
random/medium/
unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf

Jump to solvers results

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf
MD5SUMeac2f4cbe4e61cc8bd9f28b333bf1b8e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.03578
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
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 53195
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sattime 2011-03-02 (incomplete)3154453SAT 8.03578 8.03623
MPhaseSAT64 2011-05-14 (fixed) (complete)3375251SAT 8.59869 8.59943
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3095078SAT 9.59554 9.59537
MPhaseSAT 2011-02-15 (complete)3094478SAT 9.75651 9.75719
MPhaseSAT_M 2011-02-16 (complete)3095678SAT 9.97848 9.97999
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3206006SAT 12.4571 12.4572
MultiFlip 2011-02-11 (incomplete)3096278SAT 15.2757 15.2778
csls prob-8cores (incomplete)3158737SAT 45.0681 11.2843
csls pnorm-8cores (incomplete)3159337SAT 46.7779 11.7095
shortsattime2011 2011-03-02 (incomplete)3157245SAT 51.4492 51.4477
EagleUP 1.565.350 (incomplete)3093878SAT 55.5516 55.5533
SAT09 reference solver: TNM 2009-03-22 (incomplete)3206005SAT 80.8577 80.8586
adaptg2wsat2011 2011-03-02 (incomplete)3168742SAT 84.0782 84.0784
sattime2011 2011-03-02 (incomplete)3153853SAT 84.8881 85.2424
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449431SAT 97.29 97.4184
borg-sat 11.03.02-seq-random (fixed, 1200 s timeout) (complete)3484449SAT 129.323 129.4
csls prob-4cores (incomplete)3158137SAT 129.771 32.4815
borg-sat 11.03.02-random [DEPRECATED] (complete)3317495SAT 390.954 98.6851
Satisfiability Solver Selector 2011-03-18 (complete)3201282SAT 392.13 394.393
ppfolio seq (complete)3191829SAT 453.78 453.825
sattime+ 2011-03-02 (incomplete)3169942SAT 541.837 541.834
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3162729SAT 623.247 623.242
ppfolio par (complete)3191229SAT 718.314 179.826
shortsattime+ 2011-03-02 (incomplete)3169342SAT 718.74 718.725
borg-sat 11.03.02-par-random (fixed) (complete)3378551SAT 4363.78 1094.99
QuteRSat 2011-03-01 [DEPRECATED] (complete)3188829? (TO) 1299.96 1300.02
RestartSAT B95 (complete)3170542? (TO) 1299.98 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3175942? (TO) 1300.04 1300.02
UmSat 2011-02-25 [DEPRECATED] (complete)3171742? (TO) 1300.04 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3173542? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367751? (TO) 1300.05 1300.02
synit_sat 2011-03-03 (complete)3159937? (TO) 1300.05 1300.02
SAT09 reference solver: march_hi hi (complete)3206007? (TO) 1300.05 1300.02
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3206004? (TO) 1300.05 1300.02
Black Hole SAT 2011-03-08 (complete)3172342? (TO) 1300.05 1300.01
march_rw 2011-03-02 (complete)3152680? (TO) 1300.05 1300.02
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3174742? (TO) 1300.06 1300.01
QuteRSat 2011-05-12 (fixed) (complete)3376451? (TO) 1300.06 1300.03
sathys 2011-04-01 (complete)3190029? (TO) 1300.07 1300.01
RestartSAT A75 (complete)3171142? (TO) 1300.07 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370151? (TO) 1300.08 1300.02
SAT_Intersec_01 2011-03-01 (complete)3195180? (TO) 1300.63 1300.12
jMiniSat 2011 (complete)3279628? (TO) 1300.64 1300.02
borg-sat 11.03.02-seq-random (fixed) (complete)3377651? (TO) 1300.72 1300.04
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3190629? (TO) 1300.76 1300.05
Sol 2011-04-04 (complete)3189429? (TO) 1304.67 1300.02
STRUCTure 0.1 (complete)3312775? (TO) 4800.14 1207.53
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3174142? (TO) 4800.17 1201.84
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3175342? (TO) 4800.24 1201.74
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366551? (TO) 4800.25 1203.14
STRUCTure 0.1 (hbr=2) (complete)3311575? (TO) 4800.26 1207.33
CryptoMiniSat TechDemo-Alpha-mt (complete)3172942? (TO) 4800.36 1201.93
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3368951? (TO) 4800.39 1203.04

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