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

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

Jump to solvers results

General information on the benchmark

Namevelev-vliw-uns-4.0-9-i1.cnf
MD5SUM590cca3a58efdeb1c95ef988a53daa1d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables154309
Number of clauses3230738
Sum of the clauses size9429252
Maximum clause length3625
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 22024994
Number of clauses of size 31081436
Number of clauses of size 48866
Number of clauses of size 58692
Number of clauses of size over 5106749

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
iPAWS 2009-03-22 (incomplete)1719701? 1.36379 1.36468
Rsat 2009-03-22 (complete)1719726? 29.0436 29.9414
hybridGM 1 (incomplete)1719715? (exit code) 0.069988 0.0706329
hybridGM3 3 (incomplete)1719716? (exit code) 0.075987 0.076094
hybridGM7 7 (incomplete)1719717? (exit code) 0.075987 0.0761741
gnovelty+ 2009-03-22 (incomplete)1719718? (exit code) 1.48877 1.49005
gnovelty+2-H 2009-03-22 (incomplete)1719728? (exit code) 1.55576 1.55736
gNovelty+-T 2009-03-22 (incomplete)1719731? (exit code) 1.56776 1.56769
gNovelty+-V.2-T 2009-03-22 (incomplete)1719733? (exit code) 1.61375 1.61407
gnovelty+2 2009-03-22 (incomplete)1719729? (exit code) 1.65775 1.65878
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1719732? (exit code) 1.68174 1.68298
SATzilla2009_R 2009-03-22 (complete)1719709? (exit code) 1199.06 1206.94
SATzilla2009_I 2009-03-22 (complete)1719711? (exit code) 1199.54 1200.14
SATzilla2009_C 2009-03-22 (complete)1719710? (exit code) 1199.89 1200.52
march_nn nn (complete)1719707? (MO) 774.827 775.16
march_hi hi (complete)1719706? (MO) 775.901 776.361
SAT07 reference solver: Rsat 2007-02-08 (complete)1719735? (TO) 1200.02 1200.91
LySAT i/2009-03-20 (complete)1719696? (TO) 1200.02 1200.41
glucose 1.0 (complete)1719688? (TO) 1200.03 1200.61
minisat_cumr p-2009-03-18 (complete)1832397? (TO) 1200.04 1200.51
adaptg2wsat2009++ 2009-03-23 (incomplete)1719724? (TO) 1200.05 1200.55
MiniSAT 09z 2009-03-22 (complete)1832398? (TO) 1200.06 1214.11
IUT_BMB_SAT 1.0 (complete)1719708? (TO) 1200.07 1201.1
LySAT c/2009-03-20 (complete)1719697? (TO) 1200.08 1200.61
HydraSAT-Multi 2009-03-22-Multi (complete)1719703? (TO) 1200.08 1200.81
slstc 1.0 (incomplete)1719722? (TO) 1200.09 1200.67
adaptg2wsat2009 2009-03-23 (incomplete)1719723? (TO) 1200.1 1200.45
kw 2009-03-20 (complete)1719686? (TO) 1200.11 1200.61
SAT07 reference solver: picosat 535 (complete)1719736? (TO) 1200.11 1200.53
HydraSAT-Flat 2009-03-22-Flat (complete)1719704? (TO) 1200.12 1200.68
SApperloT hrp (complete)1719695? (TO) 1200.12 1200.66
CircUs 2009-03-23 (complete)1719725? (TO) 1200.12 1200.55
precosat 236 (complete)1719692? (TO) 1200.13 1200.68
CSat 2009-03-22 (complete)1719702? (TO) 1200.13 1200.64
VARSAT-random 2009-03-22 (complete)1719721? (TO) 1200.14 1200.58
VARSAT-industrial 2009-03-22 (complete)1719720? (TO) 1200.14 1200.68
MoRsat 2009-03-03 (complete)1719687? (TO) 1200.15 1200.47
MXC 2009-03-10 (complete)1719689? (TO) 1200.15 1200.71
HydraSAT 2009-03-22-Base (complete)1719705? (TO) 1200.16 1200.78
ManySAT 1.1 aimd 0/2009-03-20 (complete)1719698? (TO) 1200.16 619.52
VARSAT-crafted 2009-03-22 (complete)1719719? (TO) 1200.16 1200.48
picosat 913 (complete)1719691? (TO) 1200.17 1200.89
ManySAT 1.1 aimd 1/2009-03-20 (complete)1719699? (TO) 1200.17 618.124
MiniSat 2.1 (Sat-race'08 Edition) (complete)1719727? (TO) 1200.17 1200.73
SApperloT base (complete)1719694? (TO) 1200.18 1200.7
ManySAT 1.1 aimd 2/2009-03-20 (complete)1719700? (TO) 1200.19 619.519
ttsth-5-0 2009-03-19 (complete)1719730? (TO) 1200.21 1200.57
clasp 1.2.0-SAT09-32 (complete)1719693? (TO) 1200.23 1200.77
tts tts-5-0 (complete)1719690? (TO) 1200.23 1200.76
satake 2009-03-22 (complete)1719734? (TO) 1200.34 601.716
SAT4J CORE 2.1 RC1 (complete)1719685? (TO) 1200.41 1223.56
Hybrid2 2009-03-22 (incomplete)1719712Signal 1.42978 1.42994
TNM 2009-03-22 (incomplete)1719714Signal 1.52077 1.52204
NCVWr 2009-03-22 (incomplete)1719713Signal 1.59376 1.59311

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: