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

Result page for benchmark
velev-vliw-uns-4.0-9C1.cnf

Jump to solvers results

General information on the benchmark

Namevelev-vliw-uns-4.0-9C1.cnf
MD5SUM0c9a15d0f561e9d1bb438b04ae3c31af
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark324.148
Satisfiable
(Un)Satisfiability was proved
Number of variables96177
Number of clauses1814189
Sum of the clauses size5280501
Maximum clause length2216
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 21178665
Number of clauses of size 3560157
Number of clauses of size 45491
Number of clauses of size 54739
Number of clauses of size over 565136

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
clasp 1.2.0-SAT09-32 (complete)1723773UNSAT 324.148 324.236
glucose 1.0 (complete)1723768UNSAT 499.16 499.191
SAT4J CORE 2.1 RC1 (complete)1723765UNSAT 1006.6 1005.13
CSat 2009-03-22 (complete)1723782UNSAT 1186.65 1186.96
iPAWS 2009-03-22 (incomplete)1723781? 0.711891 0.712352
Rsat 2009-03-22 (complete)1723806? 14.6288 14.6335
hybridGM3 3 (incomplete)1723796? (exit code) 0.076987 0.0762859
hybridGM 1 (incomplete)1723795? (exit code) 0.081987 0.0825391
hybridGM7 7 (incomplete)1723797? (exit code) 0.082986 0.0824271
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1723812? (exit code) 0.833873 0.833745
gnovelty+ 2009-03-22 (incomplete)1723798? (exit code) 0.84587 0.849209
gNovelty+-T 2009-03-22 (incomplete)1723811? (exit code) 0.84787 0.849064
gnovelty+2 2009-03-22 (incomplete)1723809? (exit code) 0.855869 0.858044
gNovelty+-V.2-T 2009-03-22 (incomplete)1723813? (exit code) 0.859868 0.85874
gnovelty+2-H 2009-03-22 (incomplete)1723808? (exit code) 0.889864 0.892591
SATzilla2009_C 2009-03-22 (complete)1723790? (exit code) 1199.08 1200.92
SATzilla2009_I 2009-03-22 (complete)1723791? (exit code) 1199.4 1200.05
SATzilla2009_R 2009-03-22 (complete)1723789? (exit code) 1199.87 1200.5
march_nn nn (complete)1723787? (MO) 562.317 586.544
march_hi hi (complete)1723786? (MO) 562.436 582.482
HydraSAT-Multi 2009-03-22-Multi (complete)1723783? (TO) 1200 1200.51
MiniSAT 09z 2009-03-22 (complete)1834210? (TO) 1200.03 1200.41
ManySAT 1.1 aimd 1/2009-03-20 (complete)1723779? (TO) 1200.03 610.119
minisat_cumr p-2009-03-18 (complete)1834209? (TO) 1200.03 1200.51
SAT07 reference solver: Rsat 2007-02-08 (complete)1723815? (TO) 1200.06 1200.41
slstc 1.0 (incomplete)1723802? (TO) 1200.06 1200.64
LySAT c/2009-03-20 (complete)1723777? (TO) 1200.07 1200.61
SAT07 reference solver: picosat 535 (complete)1723816? (TO) 1200.09 1200.42
LySAT i/2009-03-20 (complete)1723776? (TO) 1200.09 1200.51
IUT_BMB_SAT 1.0 (complete)1723788? (TO) 1200.1 1200.77
kw 2009-03-20 (complete)1723766? (TO) 1200.1 1200.48
VARSAT-industrial 2009-03-22 (complete)1723800? (TO) 1200.1 1200.45
SApperloT hrp (complete)1723775? (TO) 1200.11 1200.55
VARSAT-crafted 2009-03-22 (complete)1723799? (TO) 1200.11 1200.55
VARSAT-random 2009-03-22 (complete)1723801? (TO) 1200.11 1200.55
adaptg2wsat2009++ 2009-03-23 (incomplete)1723804? (TO) 1200.11 1200.43
CircUs 2009-03-23 (complete)1723805? (TO) 1200.12 1200.44
MiniSat 2.1 (Sat-race'08 Edition) (complete)1723807? (TO) 1200.12 1200.79
HydraSAT-Flat 2009-03-22-Flat (complete)1723784? (TO) 1200.12 1200.56
MXC 2009-03-10 (complete)1723769? (TO) 1200.12 1200.67
adaptg2wsat2009 2009-03-23 (incomplete)1723803? (TO) 1200.14 1200.04
precosat 236 (complete)1723772? (TO) 1200.14 1200.66
HydraSAT 2009-03-22-Base (complete)1723785? (TO) 1200.15 1200.56
MoRsat 2009-03-03 (complete)1723767? (TO) 1200.16 1200.65
picosat 913 (complete)1723771? (TO) 1200.16 1200.76
ManySAT 1.1 aimd 0/2009-03-20 (complete)1723778? (TO) 1200.16 610.62
ttsth-5-0 2009-03-19 (complete)1723810? (TO) 1200.17 1200.47
SApperloT base (complete)1723774? (TO) 1200.17 1200.6
ManySAT 1.1 aimd 2/2009-03-20 (complete)1723780? (TO) 1200.18 610.619
tts tts-5-0 (complete)1723770? (TO) 1200.26 1200.56
satake 2009-03-22 (complete)1723814? (TO) 1200.32 601.668
TNM 2009-03-22 (incomplete)1723794Signal 0.879865 0.879974
NCVWr 2009-03-22 (incomplete)1723793Signal 0.926858 0.926289
Hybrid2 2009-03-22 (incomplete)1723792Signal 0.935857 0.936416

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: