SAT 2009 Competition: multithread track: solvers results per benchmarks

Result page for benchmark
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf

Jump to solvers results

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
MD5SUMb9de1594525a25a6c43932e2e172e913
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 variables252004
Number of clauses1178557
Sum of the clauses size2719782
Maximum clause length10
Minimum clause length1
Number of clauses of size 118836
Number of clauses of size 2918677
Number of clauses of size 3194224
Number of clauses of size 45200
Number of clauses of size 520800
Number of clauses of size over 520820

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
ttsth-5-0 2009-03-19 (16 threads) (complete)1775640? (MO) 473.646 473.653
satake 2009-03-22 (16 threads) (complete)1775637? (MO) 4649.61 501.128
satake 2009-03-22 (4 threads) (complete)1775635? (TO) 1983.73 1000.08
ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete)1775626? (TO) 3962.11 1000.05
ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete)1775632? (TO) 3964.12 1000.04
ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete)1775629? (TO) 3964.41 1000.05
ttsth-5-0 2009-03-19 (4 threads) (complete)1775638Signal 675.3 680.944

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: