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

Result page for benchmark
goldb-heqc-alu4mul.cnf

Jump to solvers results

General information on the benchmark

Namegoldb-heqc-alu4mul.cnf
MD5SUM2d68b23bdbf6e7e2868e82c4f24dffc3
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark117.624
Satisfiable
(Un)Satisfiability was proved
Number of variables4736
Number of clauses30465
Sum of the clauses size103040
Maximum clause length16
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 27024
Number of clauses of size 314112
Number of clauses of size 40
Number of clauses of size 59328
Number of clauses of size over 51

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
kw 2009-03-20 (complete)1720986UNSAT 117.624 117.653
SApperloT base (complete)1720994UNSAT 313.196 313.273
MXC 2009-03-10 (complete)1720989UNSAT 321.216 321.333
glucose 1.0 (complete)1720988UNSAT 328.8 328.937
ManySAT 1.1 aimd 1/2009-03-20 (complete)1720999UNSAT 345.547 173.284
MiniSat 2.1 (Sat-race'08 Edition) (complete)1721027UNSAT 367.79 367.901
precosat 236 (complete)1720992UNSAT 373.074 373.171
ManySAT 1.1 aimd 2/2009-03-20 (complete)1721000UNSAT 389.316 195.195
LySAT i/2009-03-20 (complete)1720996UNSAT 389.552 389.703
clasp 1.2.0-SAT09-32 (complete)1720993UNSAT 400.02 400.152
MiniSAT 09z 2009-03-22 (complete)1832438UNSAT 514.606 514.744
IUT_BMB_SAT 1.0 (complete)1721008UNSAT 519.288 519.573
CircUs 2009-03-23 (complete)1721025UNSAT 541.929 542.108
picosat 913 (complete)1720991UNSAT 553.536 553.757
SATzilla2009_I 2009-03-22 (complete)1721011UNSAT 556.585 556.872
HydraSAT-Multi 2009-03-22-Multi (complete)1721003UNSAT 572.004 572.008
ManySAT 1.1 aimd 0/2009-03-20 (complete)1720998UNSAT 588.993 295.273
SATzilla2009_R 2009-03-22 (complete)1721009UNSAT 600.498 600.818
SATzilla2009_C 2009-03-22 (complete)1721010UNSAT 600.908 601.226
minisat_cumr p-2009-03-18 (complete)1832437UNSAT 614.929 615.114
VARSAT-random 2009-03-22 (complete)1721021UNSAT 632.336 632.522
LySAT c/2009-03-20 (complete)1720997UNSAT 634.995 635.288
Rsat 2009-03-22 (complete)1721026UNSAT 646.457 646.718
SAT07 reference solver: picosat 535 (complete)1721036UNSAT 679.794 679.995
VARSAT-industrial 2009-03-22 (complete)1721020UNSAT 680.63 680.797
SApperloT hrp (complete)1720995UNSAT 712.577 712.768
HydraSAT-Flat 2009-03-22-Flat (complete)1721004UNSAT 714.376 714.556
HydraSAT 2009-03-22-Base (complete)1721005UNSAT 716.321 716.511
MoRsat 2009-03-03 (complete)1720987UNSAT 880.271 880.514
SAT07 reference solver: Rsat 2007-02-08 (complete)1721035UNSAT 1054.7 1054.98
VARSAT-crafted 2009-03-22 (complete)1721019UNSAT 1093.92 1094.22
satake 2009-03-22 (complete)1721034UNSAT 1162.91 583.477
ttsth-5-0 2009-03-19 (complete)1721030? (MO) 497.201 249.971
tts tts-5-0 (complete)1720990? (MO) 949.334 949.674
hybridGM7 7 (incomplete)1721017? (TO) 1200.02 1200.41
hybridGM 1 (incomplete)1721015? (TO) 1200.06 1200.51
slstc 1.0 (incomplete)1721022? (TO) 1200.06 1200.51
hybridGM3 3 (incomplete)1721016? (TO) 1200.06 1200.41
CSat 2009-03-22 (complete)1721002? (TO) 1200.07 1200.42
adaptg2wsat2009 2009-03-23 (incomplete)1721023? (TO) 1200.07 1200.51
NCVWr 2009-03-22 (incomplete)1721013? (TO) 1200.08 1200.41
Hybrid2 2009-03-22 (incomplete)1721012? (TO) 1200.09 1200.41
gnovelty+ 2009-03-22 (incomplete)1721018? (TO) 1200.09 1200.42
adaptg2wsat2009++ 2009-03-23 (incomplete)1721024? (TO) 1200.1 1200.41
iPAWS 2009-03-22 (incomplete)1721001? (TO) 1200.1 1200.41
TNM 2009-03-22 (incomplete)1721014? (TO) 1200.11 1200.41
march_nn nn (complete)1721007? (TO) 1200.12 1200.43
march_hi hi (complete)1721006? (TO) 1200.13 1200.43
gNovelty+-T 2009-03-22 (incomplete)1721031? (TO) 1200.22 601.631
SAT4J CORE 2.1 RC1 (complete)1720985? (TO) 1200.36 1199.59
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1721032Signal 411.816 206.999
gnovelty+2 2009-03-22 (incomplete)1721029Signal 618.009 618.23
gnovelty+2-H 2009-03-22 (incomplete)1721028Signal 1066.1 1066.37
gNovelty+-V.2-T 2009-03-22 (incomplete)1721033Wrong Cert. 852.3 427.608

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: