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

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

Jump to solvers results

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf
MD5SUM707c4bcddcda116edc4a57a77dc3ba68
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark56.5224
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
sattime2011 2011-03-02 (incomplete)3153577SAT 56.5224 56.5275
sattime 2011-03-02 (incomplete)3154177SAT 68.0577 68.0601
borg-sat 11.03.02-par-random (fixed) (complete)3378275SAT 71.5551 19.0881
borg-sat 11.03.02-random [DEPRECATED] (complete)3317219SAT 72.479 19.177
adaptg2wsat2011 2011-03-02 (incomplete)3168466SAT 222.459 222.458
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3162453SAT 226.843 226.837
EagleUP 1.565.350 (incomplete)3093602SAT 248.979 248.975
sattime+ 2011-03-02 (incomplete)3169666SAT 253.792 253.8
SAT09 reference solver: TNM 2009-03-22 (incomplete)3204901SAT 254.639 254.636
Satisfiability Solver Selector 2011-03-18 (complete)3201006SAT 424.53 424.633
borg-sat 11.03.02-seq-random (fixed) (complete)3377375SAT 540.123 540.874
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449155SAT 554.23 554.384
borg-sat 11.03.02-seq-random (fixed, 1200 s timeout) (complete)3484173SAT 576.836 576.825
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3204900SAT 615.826 615.804
shortsattime2011 2011-03-02 (incomplete)3156969SAT 634.183 634.156
MPhaseSAT64 2011-05-14 (fixed) (complete)3374975SAT 732.164 732.149
csls prob-8cores (incomplete)3158461SAT 758.905 189.947
csls prob-4cores (incomplete)3157861SAT 826.656 206.9
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3094802SAT 847.891 847.873
MPhaseSAT 2011-02-15 (complete)3094202SAT 858.255 858.3
MPhaseSAT_M 2011-02-16 (complete)3095402SAT 1079 1078.97
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3204902SAT 1090.07 1090.05
shortsattime+ 2011-03-02 (incomplete)3169066SAT 1135.6 1135.57
csls pnorm-8cores (incomplete)3159061SAT 1387.47 347.263
RestartSAT A75 (complete)3170866? (TO) 1299.7 1300.01
ppfolio seq (complete)3191553? (TO) 1299.83 1300.01
sathys 2011-04-01 (complete)3189753? (TO) 1299.94 1300.01
Black Hole SAT 2011-03-08 (complete)3172066? (TO) 1300 1300.01
march_rw 2011-03-02 (complete)3152404? (TO) 1300 1300.01
synit_sat 2011-03-03 (complete)3159661? (TO) 1300.01 1300.02
SAT09 reference solver: march_hi hi (complete)3204903? (TO) 1300.02 1300.01
QuteRSat 2011-03-01 [DEPRECATED] (complete)3188553? (TO) 1300.03 1300.02
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3369875? (TO) 1300.04 1300.02
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3174466? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3175666? (TO) 1300.04 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3173266? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367475? (TO) 1300.05 1300.02
UmSat 2011-02-25 [DEPRECATED] (complete)3171466? (TO) 1300.05 1300.01
MultiFlip 2011-02-11 (incomplete)3096002? (TO) 1300.05 1300.01
RestartSAT B95 (complete)3170266? (TO) 1300.06 1300.01
QuteRSat 2011-05-12 (fixed) (complete)3376175? (TO) 1300.06 1300.02
jMiniSat 2011 (complete)3279352? (TO) 1300.5 1300.02
SAT_Intersec_01 2011-03-01 (complete)3194904? (TO) 1300.64 1300.09
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3190353? (TO) 1300.88 1300.05
Sol 2011-04-04 (complete)3189153? (TO) 1303.04 1300.02
ppfolio par (complete)3190953? (TO) 3901.94 1300.01
STRUCTure 0.1 (hbr=2) (complete)3311299? (TO) 4800.08 1207.04
STRUCTure 0.1 (complete)3312499? (TO) 4800.08 1207.13
CryptoMiniSat TechDemo-Alpha-mt (complete)3172666? (TO) 4800.21 1201.72
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3173866? (TO) 4800.27 1201.74
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3368675? (TO) 4800.31 1202.74
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3175066? (TO) 4800.32 1202.84
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366275? (TO) 4800.33 1203.65

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