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

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

Jump to solvers results

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf
MD5SUMff2e6a4fa2b25feb24cf72d67e6cd330
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.018997
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)3093933SAT 0.018997 0.024753
csls pnorm-8cores (incomplete)3159392SAT 0.026995 0.0107839
csls prob-8cores (incomplete)3158792SAT 0.043992 0.0158041
csls prob-4cores (incomplete)3158192SAT 0.050991 0.016405
SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)3206224SAT 0.051992 0.0540799
sparrow2011 sparrow2011_ubcsat1.2_2011-03-02 (incomplete)3162784SAT 0.081986 0.082857
SAT09 reference solver: gnovelty+2 2009-03-22 (incomplete)3206226SAT 0.195969 0.197167
shortsattime2011 2011-03-02 (incomplete)3157300SAT 0.472927 0.473955
adaptg2wsat2011 2011-03-02 (incomplete)3168797SAT 0.501923 0.503761
sattime 2011-03-02 (incomplete)3154508SAT 0.503922 0.504405
sattime2011 2011-03-02 (incomplete)3153908SAT 0.51792 0.51835
sattime+ 2011-03-02 (incomplete)3169997SAT 0.52392 0.538031
shortsattime+ 2011-03-02 (incomplete)3169397SAT 0.574912 0.581307
SAT09 reference solver: TNM 2009-03-22 (incomplete)3206225SAT 0.619904 0.625961
MultiFlip 2011-02-11 (incomplete)3096333SAT 0.6479 0.648884
borg-sat 11.03.02-seq-random (fixed, 1200 s timeout) (complete)3484504SAT 0.747886 0.854511
borg-sat 11.03.02-par-random (fixed) (complete)3378606SAT 0.789879 0.829366
borg-sat 11.03.02-random [DEPRECATED] (complete)3317550SAT 0.871867 0.850133
MPhaseSAT_M 2011-02-16 (complete)3095733SAT 0.936857 0.938679
MPhaseSAT 2011-02-15 (complete)3094533SAT 0.938856 0.941315
borg-sat 11.03.02-seq-random (fixed) (complete)3377706SAT 1.00185 1.39658
MPhaseSAT64 2011-05-14 (fixed) (complete)3375306SAT 1.18582 1.19046
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3095133SAT 1.35779 1.35964
ppfolio seq (complete)3191884SAT 1.61575 1.61413
sathys 2011-04-01 (complete)3190084SAT 1.63175 1.63259
ppfolio par (complete)3191284SAT 1.85572 0.719297
jMiniSat 2011 (complete)3279683SAT 7.8968 7.41532
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3174797SAT 9.77851 9.77899
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367806SAT 10.1575 10.1578
SAT09 reference solver: march_hi hi (complete)3206227SAT 10.8773 10.8805
march_rw 2011-03-02 (complete)3152735SAT 11.0003 11.0044
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449486SAT 18.82 18.9036
Satisfiability Solver Selector 2011-03-18 (complete)3201337SAT 24.35 24.4348
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3174197SAT 39.416 9.8748
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366606SAT 39.557 9.92505
RestartSAT B95 (complete)3170597SAT 135.694 135.69
RestartSAT A75 (complete)3171197SAT 160.262 160.258
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369006SAT 226.952 56.905
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3175397SAT 228.273 57.1511
STRUCTure 0.1 (hbr=2) (complete)3311630SAT 288.403 72.8423
CryptoMiniSat TechDemo-Alpha-mt (complete)3172997SAT 625.416 156.882
Black Hole SAT 2011-03-08 (complete)3172397SAT 686.995 686.984
Sol 2011-04-04 (complete)3189484SAT 761.519 758.205
STRUCTure 0.1 (complete)3312830SAT 761.583 191.77
QuteRSat 2011-03-01 [DEPRECATED] (complete)3188884? (TO) 1299.98 1300.01
QuteRSat 2011-05-12 (fixed) (complete)3376506? (TO) 1300.02 1300.02
UmSat 2011-02-25 [DEPRECATED] (complete)3171797? (TO) 1300.03 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370206? (TO) 1300.03 1300.02
CryptoMiniSat TechDemo-Alpha-st (complete)3173597? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3175997? (TO) 1300.06 1300.01
synit_sat 2011-03-03 (complete)3159992? (TO) 1300.07 1300.01
SAT_Intersec_01 2011-03-01 (complete)3195235? (TO) 1300.48 1300.1
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3190684? (TO) 1300.7 1300.03

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