SAT 2009 Competition: multithread track: solvers results per benchmarks

Result page for benchmark
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf

Jump to solvers results

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
MD5SUMf0f4556999ccb446384994a4148fca28
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1791.24
Satisfiable
(Un)Satisfiability was proved
Number of variables44095
Number of clauses542253
Sum of the clauses size1554259
Maximum clause length93
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2500227
Number of clauses of size 310265
Number of clauses of size 43051
Number of clauses of size 55229
Number of clauses of size over 523480

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)1776502UNSAT 1791.24 453.637
ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)1776499UNSAT 1972.72 497.954
ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)1776496UNSAT 1978.4 515.562
ttsth-5-0 2009-03-19 (4 threads) (complete)1776508? (MO) 699.79 430.631
ttsth-5-0 2009-03-19 (16 threads) (complete)1776510? (MO) 1243.27 226.195
satake 2009-03-22 (16 threads) (complete)1776507? (MO) 2458.4 341.203
satake 2009-03-22 (4 threads) (complete)1776505? (TO) 3001.86 1000.13

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: