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

Result page for benchmark
random/medium/
unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf

Jump to solvers results

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf
MD5SUMb7db695fcb9141eaff8463a25c8e621f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.032994
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
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 54450

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
EagleUP 1.565.350 (incomplete)3093851SAT 0.032994 0.0340289
csls prob-4cores (incomplete)3158110SAT 0.062989 0.021928
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3205898SAT 0.072988 0.078199
csls pnorm-8cores (incomplete)3159310SAT 0.080987 0.025653
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3205896SAT 0.106982 0.110203
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3162702SAT 0.182971 0.18607
sattime2011 2011-03-02 (incomplete)3153826SAT 0.463929 0.464027
shortsattime2011 2011-03-02 (incomplete)3157218SAT 0.471927 0.473174
adaptg2wsat2011 2011-03-02 (incomplete)3168715SAT 0.499924 0.50149
sattime 2011-03-02 (incomplete)3154426SAT 0.52492 0.528875
csls prob-8cores (incomplete)3158710SAT 0.545916 0.140832
sattime+ 2011-03-02 (incomplete)3169915SAT 0.582911 0.583206
SAT09 reference solver: TNM 2009-03-22 (incomplete)3205897SAT 0.6469 0.646339
MultiFlip 2011-02-11 (incomplete)3096251SAT 0.657899 0.659606
MPhaseSAT 2011-02-15 (complete)3094451SAT 0.791879 0.792912
shortsattime+ 2011-03-02 (incomplete)3169315SAT 0.836871 0.839866
MPhaseSAT_M 2011-02-16 (complete)3095651SAT 0.860868 0.862315
borg-sat 11.03.02-seq-random (fixed) (complete)3377624SAT 0.869867 8.41734
borg-sat 11.03.02-seq-random (fixed, 1200 s timeout) (complete)3484422SAT 0.941856 1.11307
MPhaseSAT64 2011-05-14 (fixed) (complete)3375224SAT 1.05884 1.05953
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3095051SAT 1.20282 1.20321
borg-sat 11.03.02-par-random (fixed) (complete)3378524SAT 1.35979 0.939617
ppfolio seq (complete)3191802SAT 1.65475 1.65468
ppfolio par (complete)3191202SAT 2.85656 0.72227
sathys 2011-04-01 (complete)3190002SAT 3.40848 3.41096
SAT09 reference solver: march_hi hi (complete)3205899SAT 17.5123 17.5123
march_rw 2011-03-02 (complete)3152653SAT 17.6773 17.6796
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449404SAT 17.6803 18.4861
Satisfiability Solver Selector 2011-03-18 (complete)3201255SAT 35.34 35.4389
STRUCTure 0.1 (hbr=2) (complete)3311548SAT 243.558 61.5335
STRUCTure 0.1 (complete)3312748SAT 292.111 73.7911
QuteRSat 2011-05-12 (fixed) (complete)3376424SAT 295.454 295.452
jMiniSat 2011 (complete)3279601SAT 322.516 322.027
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3190602SAT 935.389 934.723
Sol 2011-04-04 (complete)3189402SAT 1090.79 1086.78
CryptoMiniSat TechDemo-Alpha-mt (complete)3172915SAT 2797.92 700.818
borg-sat 11.03.02-random [DEPRECATED] (complete)3317468? (exit code) 1.60876 1.58017
Black Hole SAT 2011-03-08 (complete)3172315? (TO) 1299.95 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3175915? (TO) 1300 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3174715? (TO) 1300.03 1300.01
RestartSAT B95 (complete)3170515? (TO) 1300.03 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3171715? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370124? (TO) 1300.04 1300.02
QuteRSat 2011-03-01 [DEPRECATED] (complete)3188802? (TO) 1300.05 1300.01
RestartSAT A75 (complete)3171115? (TO) 1300.05 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3173515? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367724? (TO) 1300.06 1300.02
synit_sat 2011-03-03 (complete)3159910? (TO) 1300.06 1300.01
SAT_Intersec_01 2011-03-01 (complete)3195153? (TO) 1300.56 1300.12
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366524? (TO) 4800.36 1203.44
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3174115? (TO) 4800.37 1201.73
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3175315? (TO) 4800.4 1201.63
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3368924? (TO) 4800.41 1202.53

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 0