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

Result page for benchmark
SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf

Jump to solvers results

General information on the benchmark

NameSAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
MD5SUM776da55785376fd8eac6989ca812b102
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1002.78
Satisfiable
(Un)Satisfiability was proved
Number of variables371419
Number of clauses7170909
Sum of the clauses size20872419
Maximum clause length205
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 26770451
Number of clauses of size 392326
Number of clauses of size 48862
Number of clauses of size 523554
Number of clauses of size over 5275715

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
synit_sat 2011-03-03 (complete)3291946UNSAT 990.84 990.82
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349424UNSAT 1002.78 1002.75
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362359? (exit code) 2783.97 714.033
march_rw 2011-03-02 (complete)3291942? (MO) 743.022 742.998
borg-sat 11.03.02-seq-industrial (fixed) (complete)3377872? (MO) 1272.16 1271.58
borg-sat 11.03.02-par-industrial (fixed) (complete)3378772? (MO) 1978.14 786.818
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317716? (MO) 2324.54 867.422
ppfolio par (complete)3291974? (MO) 3138.01 785.616
riss Auto (1200 s timeout) (complete)3473043? (TO) 1200.03 1200.02
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3484662? (TO) 1200.06 1249.66
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449812? (TO) 1200.08 1200.15
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3291980? (TO) 1292.57 1300.06
SApperloT 2011-03-23 (complete)3291982? (TO) 1299.86 1300.02
glucose 2 (complete)3291978? (TO) 1299.91 1300.01
minisat hack: minisat_psm 2011-04-01 (complete)3348824? (TO) 1299.97 1300.02
Satisfiability Solver Selector 2011-03-18 (complete)3291976? (TO) 1299.97 1300.03
sathys 2011-04-01 (complete)3291972? (TO) 1299.98 1300.01
ppfolio seq (complete)3291975? (TO) 1299.99 1300.02
rcl 2011-04-01 (complete)3291971? (TO) 1300 1300.01
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3291940? (TO) 1300.01 1300.03
SApperloT2010 2011-05-15 (fixed) (complete)3379972? (TO) 1300.02 1300.07
riss Exp (complete)3291961? (TO) 1300.02 1300.01
riss 1.0 (complete)3291960? (TO) 1300.03 1300.01
SAT09 reference solver:LySAT i/2009-03-20 (complete)3309090? (TO) 1300.03 1300.01
SAT09 reference solver:glucose 1.0 (complete)3309089? (TO) 1300.03 1300.01
MPhaseSAT64 2011-05-14 (fixed) (complete)3375772? (TO) 1300.03 1300.03
EBGlucose 1.0 (incomplete)3291979? (TO) 1300.04 1300.01
riss Auto (complete)3291962? (TO) 1300.04 1300.01
kw 2011-02-28 (complete)3291983? (TO) 1300.05 1300.08
Lingeling 587 [DEPRECATED] (complete)3291968? (TO) 1300.06 1300.02
clasp 2.0-R4092-indust (complete)3300051? (TO) 1300.06 1300.02
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380272? (TO) 1300.06 1300.09
RestartSAT A75 (complete)3291951? (TO) 1300.07 1300.04
PicoSAT 941 (complete)3291966? (TO) 1300.07 1300.04
sattime+ 2011-03-02 (incomplete)3291949? (TO) 1300.07 1300.05
adaptg2wsat2011 2011-03-02 (incomplete)3291947? (TO) 1300.07 1300.05
MPhaseSAT_M 2011-02-16 (complete)3291941? (TO) 1300.07 1300.04
Lingeling 587f (fixed) (complete)3371872? (TO) 1300.07 1300.03
minisat hack: contrasat 2011-03-02 (complete)3350324? (TO) 1300.07 1300.04
MPhaseSAT 2011-02-15 (complete)3291939? (TO) 1300.08 1300.04
SAT09 reference solver:precosat 236 (complete)3309088? (TO) 1300.08 1300.05
glueminisat 2.2.5 (complete)3291977? (TO) 1300.08 1300.03
sattime2011 2011-03-02 (incomplete)3291943? (TO) 1300.08 1300.05
sattime 2011-03-02 (incomplete)3291944? (TO) 1300.08 1300.05
shortsattime2011 2011-03-02 (incomplete)3291945? (TO) 1300.08 1300.05
RestartSAT B95 (complete)3291950? (TO) 1300.09 1300.06
shortsattime+ 2011-03-02 (incomplete)3291948? (TO) 1300.09 1300.05
CryptoMiniSat TechDemo-Alpha-st (complete)3291955? (TO) 1300.1 1300.08
UmSat 2011-05-12 (fixed) (complete)3379372? (TO) 1300.1 1300.07
UmSat 2011-02-25 [DEPRECATED] (complete)3291952? (TO) 1300.11 1300.07
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349124? (TO) 1300.12 1300.08
minisat hack: cir_minisat 2011-03-02 (complete)3348524? (TO) 1300.12 1300.09
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3318016? (TO) 1300.12 1300.09
minisat hack reference: minisat 2.2.0 (complete)3362521? (TO) 1300.12 1300.09
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349724? (TO) 1300.14 1300.1
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3350024? (TO) 1300.15 1300.11
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370672? (TO) 1300.15 1300.11
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3291959? (TO) 1300.15 1300.1
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3291957? (TO) 1300.16 1300.15
QuteRSat 2011-03-01 [DEPRECATED] (complete)3291969? (TO) 1300.17 1300.13
QuteRSat 2011-05-12 (fixed) (complete)3376972? (TO) 1300.17 1300.13
Black Hole SAT 2011-03-08 (complete)3291953? (TO) 1300.18 1300.14
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368272? (TO) 1300.2 1300.17
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3291973? (TO) 1302.58 1300.13
Sol 2011-04-04 (complete)3291970? (TO) 1306.55 1300.2
jMiniSat 2011 (complete)3291984? (TO) 1314.12 1300.02
priss UP (complete)3291963? (TO) 2159.31 1300.02
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367072? (TO) 4200.29 1300.24
STRUCTure 0.1 (hbr=2) (complete)3312096? (TO) 4531.49 1300.39
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3291956? (TO) 4574.94 1300.21
STRUCTure 0.1 (complete)3313296? (TO) 4677.01 1300.43
Plingeling 587 [DEPRECATED] (complete)3291967? (TO) 4800.16 1207.49
priss Auto (complete)3291964? (TO) 4800.27 1204.72
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3291958? (TO) 4800.28 1202.08
priss 1.0 (complete)3291965? (TO) 4800.4 1205.22
SArTagnan 2011-05-15 (fixed) (complete)3386216? (TO) 4800.41 1208.01
Plingeling 587f (fixed) (complete)3371272? (TO) 4800.47 1208.78
SArTagnan 2011-03-24 [DEPRECATED] (complete)3291981? (TO) 4800.47 1204.59
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369472? (TO) 4800.49 1203.59
CryptoMiniSat TechDemo-Alpha-mt (complete)3291954? (TO) 4800.6 1208.9
claspmt 2.0-R4095-patched (fixed) (complete)3373372? (TO) 4801.26 1206.39
claspmt 2.0-R4095 [DEPRECATED] (complete)3299751? (TO) 4801.72 1205.01

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: