| Name | mus/marques-silva/design-debugging/ c4_DD_s3_f1_e2_v1-bug-onevec-gate-0.dimacs.seq.filtered.cnf |
| MD5SUM | 960d1ca29b9bf3ceb99268b3bd5a797b |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.397939 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 131072 |
| Number of clauses | 331754 |
| Sum of the clauses size | 723902 |
| Maximum clause length | 5 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 27158 |
| Number of clauses of size 2 | 221140 |
| Number of clauses of size 3 | 80384 |
| Number of clauses of size 4 | 2048 |
| Number of clauses of size 5 | 1024 |
| Number of clauses of size over 5 | 0 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| MoUsSaka 2011-03-26 (complete) | 3495873 | UNSAT | 0.397939 | 0.399365 |
| MUSer 2011-02-10 (complete) | 3493391 | UNSAT | 2.07168 | 2.07572 |
| PicoMUS 941 (complete) | 3493394 | UNSAT | 30.2834 | 30.2869 |
| MiniUnsat2 2011-02-22 (complete) | 3493393 | UNSAT | 46.4399 | 46.4408 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493392 | UNSAT | 62.3365 | 60.4348 |
| Haifa-MUC 2011-04-07 (complete) | 3494373 | UNSAT | 318.18 | 318.174 |
| Haifa-MUC 2011-04-07 (complete) | 3494673 | UNSAT | 332.252 | 332.363 |
| OptimuS x100_source (complete) | 3495573 | ? (exit code) | 30.5514 | 30.5512 |
| OptimuS a100_source (complete) | 3494973 | ? (exit code) | 30.5584 | 30.5597 |
| OptimuS p100_source (complete) | 3495273 | ? (exit code) | 30.5933 | 30.5973 |
| Haifa-MUC-A 2011-04-07 (complete) | 3494073 | ? (TO) | 1800.04 | 1800.11 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:280575 280574 280061 280060 280059 268799 268798 268797 268796 268795 228351 228349 228348 228347 227839 227323 224763 223743 216570 200186 197114 171518 171005 171004 331749 331728 331705 331684 331662 331640 331618 331596 331574 331552 331534 331532 309247 308223 308221 308220 308219 305664 300032 295930 295418 293370 282106 281082 98302 96767 93178 82426 80890 71679 71677 71676 71675 70656 67072 66560 33278 29183 29181 29180 29179 20479 18431 18429 18428 18427 12800 2048 171003 169983 169467 168957 168956 137215 137214 137213 137212 137211 135675 135167 135166 135165 135164 116223 116222 116221 116220 116219 99325 99324 99323 98815 0