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

Result page for benchmark
APPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf

Jump to solvers results

General information on the benchmark

NameAPPLICATIONS/c32sat/
post-cbmc-zfcp-2.8-u2-noholes.cnf
MD5SUMc4aa2ddc60eee766fbdf95a32eed5b43
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark29.3095
Satisfiable
(Un)Satisfiability was proved
Number of variables10950109
Number of clauses32697150
Sum of the clauses size76320846
Maximum clause length65
Minimum clause length1
Number of clauses of size 12415
Number of clauses of size 221783823
Number of clauses of size 310907882
Number of clauses of size 41592
Number of clauses of size 5131
Number of clauses of size over 51307

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
glucose 2 (complete)3303753SAT 29.3095 29.3111
minisat hack: minisat_psm 2011-04-01 (complete)3387167SAT 31.4872 31.5645
SAT09 reference solver:glucose 1.0 (complete)3365622SAT 36.3425 36.3515
EBGlucose 1.0 (incomplete)3498609SAT 39.726 39.8958
rcl 2011-04-01 (complete)3498909SAT 44.1363 44.1408
RestartSAT B95 (complete)3419779SAT 54.5047 54.5255
minisat hack reference: minisat 2.2.0 (complete)3419780SAT 54.7107 54.7279
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3433914SAT 54.9206 55.5855
glueminisat 2.2.5 (complete)3309407SAT 56.2754 56.2909
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3387166SAT 58.5071 58.5072
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3422179SAT 59.5859 59.6035
minisat hack: contrasat 2011-03-02 (complete)3422180SAT 61.9536 62.0234
minisat hack: LR_GL_SHR 2011-03-02 (complete)3439877SAT 63.9083 63.9234
ppfolio par (complete)3310178SAT 70.1213 21.6106
QuteRSat 2011-05-12 (fixed) (complete)3384298SAT 110.562 110.562
Lingeling 587 [DEPRECATED] (complete)3309406SAT 136.984 141.302
Lingeling 587f (fixed) (complete)3372286SAT 137.384 141.175
MPhaseSAT64 2011-05-14 (fixed) (complete)3393985SAT 168.919 168.918
Satisfiability Solver Selector 2011-03-18 (complete)3449990SAT 361.23 372.232
CryptoMiniSat Strange-Night2-st (fixed) (complete)3400975SAT 501.796 502.325
Plingeling 587f (fixed) (complete)3372287SAT 943.308 235.35
Plingeling 587 [DEPRECATED] (complete)3309408SAT 1128.62 238.357
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3361972? (exit code) 18.8281 25.2378
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3393984? (MO) 155.529 107.312
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3321053? (MO) 166.467 30.3935
borg-sat 11.03.02-seq-industrial (fixed) (complete)3498309? (TO) 5000.33 5000.97
borg-sat 11.03.02-par-industrial (fixed) (complete)3380628? (TO) 5098.91 5100.24
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3321423? (TO) 5099.3 5100.22
claspmt 2.0-R4095-patched (fixed) (complete)3380629? (TO) 5113.72 5102.07
claspmt 2.0-R4095 [DEPRECATED] (complete)3321424? (TO) 5118.7 5102.07
SAT09 reference solver:precosat 236 (complete)3365623Signal 101.581 101.578

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:
--too large--