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

Result page for benchmark
SAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w8.shuffled.cnf

Jump to solvers results

General information on the benchmark

NameSAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w8.shuffled.cnf
MD5SUM82e833e539576c6d79252b19dcace0cf
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5.08123
Satisfiable
(Un)Satisfiability was proved
Number of variables10056
Number of clauses271393
Sum of the clauses size550328
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2270136
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51257

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MPhaseSAT64 2011-05-14 (fixed) (complete)3375921UNSAT 5.08123 5.08181
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3293136UNSAT 5.2642 5.27123
borg-sat 11.03.02-seq-industrial (fixed) (complete)3378021UNSAT 11.4253 12.4149
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3484688UNSAT 12.5181 12.7394
Plingeling 587 [DEPRECATED] (complete)3293163UNSAT 15.6326 4.15446
Plingeling 587f (fixed) (complete)3371421UNSAT 15.7756 4.15867
Lingeling 587 [DEPRECATED] (complete)3293164UNSAT 19.85 19.8504
Lingeling 587f (fixed) (complete)3372021UNSAT 20.001 20.0044
ppfolio par (complete)3293170UNSAT 20.1339 5.04446
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317865UNSAT 25.7761 12.0128
borg-sat 11.03.02-par-industrial (fixed) (complete)3378921UNSAT 26.006 11.9902
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449882UNSAT 59.6 59.8677
SApperloT2010 2011-05-15 (fixed) (complete)3380121UNSAT 186.294 186.299
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3293176UNSAT 383.093 383.087
Satisfiability Solver Selector 2011-03-18 (complete)3293172UNSAT 443.8 443.967
Sol 2011-04-04 (complete)3293166UNSAT 460.509 458.977
riss Auto (1200 s timeout) (complete)3473113? (TO) 1200.05 1200.05
Black Hole SAT 2011-03-08 (complete)3293149? (TO) 1299.91 1300.01
SAT09 reference solver:LySAT i/2009-03-20 (complete)3309168? (TO) 1299.98 1300.01
shortsattime2011 2011-03-02 (incomplete)3293141? (TO) 1299.99 1300.01
minisat hack: minisat_psm 2011-04-01 (complete)3348973? (TO) 1300 1300.02
ppfolio seq (complete)3293171? (TO) 1300.01 1300.02
SAT09 reference solver:precosat 236 (complete)3309166? (TO) 1300.02 1300.01
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349573? (TO) 1300.02 1300.02
riss Exp (complete)3293157? (TO) 1300.02 1300.01
sathys 2011-04-01 (complete)3293168? (TO) 1300.02 1300.01
march_rw 2011-03-02 (complete)3293138? (TO) 1300.03 1300.01
riss Auto (complete)3293158? (TO) 1300.03 1300.01
MPhaseSAT_M 2011-02-16 (complete)3293137? (TO) 1300.03 1300.01
clasp 2.0-R4092-indust (complete)3300200? (TO) 1300.03 1300.01
glucose 2 (complete)3293174? (TO) 1300.03 1300.01
riss 1.0 (complete)3293156? (TO) 1300.03 1300.01
PicoSAT 941 (complete)3293162? (TO) 1300.04 1300.01
sattime 2011-03-02 (incomplete)3293140? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368421? (TO) 1300.04 1300.02
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349273? (TO) 1300.04 1300.02
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380421? (TO) 1300.04 1300.02
rcl 2011-04-01 (complete)3293167? (TO) 1300.04 1300.02
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3293155? (TO) 1300.04 1300.01
kw 2011-02-28 (complete)3293179? (TO) 1300.05 1300.01
SAT09 reference solver:glucose 1.0 (complete)3309167? (TO) 1300.05 1300.01
RestartSAT B95 (complete)3293146? (TO) 1300.05 1300.02
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3293153? (TO) 1300.05 1300.01
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3318165? (TO) 1300.05 1300.02
minisat hack: cir_minisat 2011-03-02 (complete)3348673? (TO) 1300.05 1300.02
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349873? (TO) 1300.05 1300.02
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3350173? (TO) 1300.05 1300.02
sattime2011 2011-03-02 (incomplete)3293139? (TO) 1300.05 1300.01
RestartSAT A75 (complete)3293147? (TO) 1300.05 1300.02
UmSat 2011-02-25 [DEPRECATED] (complete)3293148? (TO) 1300.05 1300.02
MPhaseSAT 2011-02-15 (complete)3293135? (TO) 1300.05 1300.01
shortsattime+ 2011-03-02 (incomplete)3293144? (TO) 1300.05 1300.01
sattime+ 2011-03-02 (incomplete)3293145? (TO) 1300.05 1300.01
EBGlucose 1.0 (incomplete)3293175? (TO) 1300.05 1300.01
synit_sat 2011-03-03 (complete)3293142? (TO) 1300.06 1300.03
QuteRSat 2011-05-12 (fixed) (complete)3377121? (TO) 1300.06 1300.03
minisat hack: contrasat 2011-03-02 (complete)3350473? (TO) 1300.06 1300.02
SApperloT 2011-03-23 (complete)3293178? (TO) 1300.06 1300.01
glueminisat 2.2.5 (complete)3293173? (TO) 1300.06 1300.01
QuteRSat 2011-03-01 [DEPRECATED] (complete)3293165? (TO) 1300.06 1300.02
CryptoMiniSat TechDemo-Alpha-st (complete)3293151? (TO) 1300.06 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3293143? (TO) 1300.06 1300.01
UmSat 2011-05-12 (fixed) (complete)3379521? (TO) 1300.07 1300.03
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370821? (TO) 1300.08 1300.02
minisat hack reference: minisat 2.2.0 (complete)3362670? (TO) 1300.08 1300.02
jMiniSat 2011 (complete)3293180? (TO) 1301.49 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3293169? (TO) 1302.11 1300.07
priss UP (complete)3293159? (TO) 2256.42 1300.02
SArTagnan 2011-05-15 (fixed) (complete)3386365? (TO) 3906.52 1300.08
CryptoMiniSat TechDemo-Alpha-mt (complete)3293150? (TO) 4800.09 1201.93
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3293152? (TO) 4800.11 1201.63
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362411? (TO) 4800.12 1204.63
priss Auto (complete)3293160? (TO) 4800.23 1201.82
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3293154? (TO) 4800.29 1201.74
claspmt 2.0-R4095 [DEPRECATED] (complete)3299900? (TO) 4800.3 1203.02
SArTagnan 2011-03-24 [DEPRECATED] (complete)3293177? (TO) 4800.31 1201.78
priss 1.0 (complete)3293161? (TO) 4800.34 1201.92
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367221? (TO) 4800.4 1203.94
STRUCTure 0.1 (complete)3313445? (TO) 4800.43 1206.87
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369621? (TO) 4800.48 1202.94
STRUCTure 0.1 (hbr=2) (complete)3312245? (TO) 4800.56 1204.67
claspmt 2.0-R4095-patched (fixed) (complete)3373521? (TO) 4800.61 1204.12

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: