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

Result page for benchmark
application/rintanen/SATPlanning/
transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf

Jump to solvers results

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf
MD5SUM74e0fa52e4789615985c73d0a8b105b4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark124.843
Satisfiable
(Un)Satisfiability was proved
Number of variables580875
Number of clauses3140965
Sum of the clauses size7465165
Maximum clause length602
Minimum clause length1
Number of clauses of size 1445
Number of clauses of size 23105720
Number of clauses of size 3720
Number of clauses of size 4720
Number of clauses of size 51200
Number of clauses of size over 532160

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
rcl 2011-04-01 (complete)3498961SAT 124.843 124.856
MPhaseSAT64 2011-05-14 (fixed) (complete)3394197SAT 143.334 143.332
EBGlucose 1.0 (incomplete)3498661SAT 207.387 207.393
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3394196SAT 241.039 31.5376
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3321105SAT 279.677 36.3215
glueminisat 2.2.5 (complete)3309563SAT 382.096 382.086
glucose 2 (complete)3303857SAT 385.528 385.521
SAT09 reference solver:glucose 1.0 (complete)3365726SAT 392.621 392.617
SAT09 reference solver:precosat 236 (complete)3365727SAT 538.231 538.501
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3422283SAT 580.658 580.829
ppfolio par (complete)3310230SAT 593.795 76.1163
minisat hack: contrasat 2011-03-02 (complete)3422284SAT 677.607 677.582
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362076SAT 757.173 194.927
minisat hack: LR_GL_SHR 2011-03-02 (complete)3439929SAT 1153.49 1153.46
claspmt 2.0-R4095 [DEPRECATED] (complete)3321582SAT 1225.01 915.224
QuteRSat 2011-05-12 (fixed) (complete)3384350SAT 1640.63 1640.6
claspmt 2.0-R4095-patched (fixed) (complete)3380787SAT 1819.32 948.766
minisat hack: minisat_psm 2011-04-01 (complete)3387271SAT 1868.91 1869.28
RestartSAT B95 (complete)3419883SAT 2181.83 2181.79
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3387270SAT 2447.8 2447.91
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3433966SAT 3186.38 3186.33
minisat hack reference: minisat 2.2.0 (complete)3419884SAT 3238.33 3238.24
Lingeling 587 [DEPRECATED] (complete)3309562SAT 3337.62 3337.6
Plingeling 587 [DEPRECATED] (complete)3309564SAT 3461.81 446.888
Lingeling 587f (fixed) (complete)3372442SAT 3673.2 3673.26
Plingeling 587f (fixed) (complete)3372443SAT 4146.88 527.884
CryptoMiniSat Strange-Night2-st (fixed) (complete)3401027? (MO) 352.698 352.697
borg-sat 11.03.02-seq-industrial (fixed) (complete)3498361? (MO) 925.07 924.535
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3321581? (MO) 2132.65 689.63
borg-sat 11.03.02-par-industrial (fixed) (complete)3380786? (MO) 2400.93 723.887
Satisfiability Solver Selector 2011-03-18 (complete)3450042? (TO) 5000.02 5006.93

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--