SAT 2007 Competition Phase 1: solvers results per benchmarks

Result page for benchmark
industrial/
crypto/mizh-md5-47-3.cnf

Jump to solvers results

General information on the benchmark

Nameindustrial/
crypto/mizh-md5-47-3.cnf
MD5SUM3bb585fcdaeb772457dbcffd3371aab9
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark138.554
Satisfiable
(Un)Satisfiability was proved
Number of variables65604
Number of clauses273522
Sum of the clauses size814950
Maximum clause length4
Minimum clause length1
Number of clauses of size 1199
Number of clauses of size 2118260
Number of clauses of size 342021
Number of clauses of size 4113042
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Spear FHS 1.0319463SAT 138.554 138.598
MXC 2007-02-08319439SAT 173.306 173.493
Spear FH 1.0319464SAT 195.895 196.017
SATzilla FULL319468SAT 204.859 204.948
Barcelogic Fixed 2007-04-13347502SAT 216.739 216.816
barcelogic 2007-02-08319454SAT 217.947 218.159
MiraXT v3319460SAT 255.529 129.023
Spear 2007-02-12319465SAT 265.091 265.165
CMUSAT 2007-02-08319453SAT 405.387 405.521
Rsat 2007-02-08319436SAT 429.362 429.639
SATzilla CRAFTED319467SAT 439.727 439.915
minimarch 2007-04-26 (fixed)428419SAT 446.048 446.247
MiraXT v1319462SAT 493.818 494.045
MiraXT v2319461SAT 848.894 849.432
minisat SAT 2007421556SAT 880.371 880.708
minisat SAT 2007 (with assertions)319441SAT 902.916 903.333
tinisat 2007-02-08319432SAT 914.303 914.654
SAT4J SAT 2007319428SAT 1052.12 1051.43
SAT4J JVM PARAM CHANGED SAT 2007331865SAT 1061.15 1060.42
KCNFS 2004319446? 0.001998 0.00581589
KCNFS SMP319444? (MO) 5.39 3.22619
Mmisat 2007-02-08319440? (MO) 984.809 985.19
March KS 2007-02-08319443? (TO) 1200.02 1200.42
DEWSATZ 2007-04-26 (fixed)428418? (TO) 1200.02 1200.51
picosat 535319438? (TO) 1200.03 1200.51
adaptg2wsatp 2007-02-08319457? (TO) 1200.04 1200.41
SATzilla RANDOM319466? (TO) 1200.04 1200.41
KCNFS 2006319445? (TO) 1200.05 1200.43
CMUSAT BASE 2007-02-08319452? (TO) 1200.05 1200.54
saps 2007-02-08319435? (TO) 1200.06 1200.61
sapsrt 2007-02-08319434? (TO) 1200.06 1200.51
ranov 2007-02-08319437? (TO) 1200.07 1200.52
minimarch 2007-02-08319442? (TO) 1200.07 1200.64
FH 2007-02-08319449? (TO) 1200.08 1200.51
UnitMarch 2007-02-08319429? (TO) 1200.08 1200.61
TiniSatELite 2007-02-08319431? (TO) 1200.08 1201.12
adaptg2wsat+ 2007-02-08319456? (TO) 1200.08 1200.51
DEWSATZ 2007-02-08319451? (TO) 1200.08 1200.41
adaptg2wsat0 2007-02-08319458? (TO) 1200.09 1200.51
adaptg2wsat 2007-02-08319459? (TO) 1200.09 1200.51
SAT7 2007-02-08319433? (TO) 1200.09 1200.54
gnovelty+ 2007-02-08319448? (TO) 1200.1 1200.51
adaptnovelty 2007-02-08319455? (TO) 1200.1 1200.51
Hybrid1 2007-02-08319447? (TO) 1200.11 1200.61
DEWSATZ 1A 2007-02-08319450? (TO) 1200.11 1200.61
ornithorynque 0.1 alpha328557? (TO) 1200.12 601.932
TTS 4.0319430? (TO) 1200.32 1200.82