Name | mus/marques-silva/design-debugging/ mem_ctrl-debug.dimacs.cnf |
MD5SUM | 190a28a3169c56c2b15f74aa82345e29 |
Bench Category | MUS (MUS) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.417936 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 178303 |
Number of clauses | 505547 |
Sum of the clauses size | 1244898 |
Maximum clause length | 4 |
Minimum clause length | 1 |
Number of clauses of size 1 | 4380 |
Number of clauses of size 2 | 263089 |
Number of clauses of size 3 | 237972 |
Number of clauses of size 4 | 106 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MoUsSaka 2011-03-26 (complete) | 3495892 | UNSAT | 0.417936 | 0.418537 |
MUSer 2011-02-10 (complete) | 3481037 | UNSAT | 2.89956 | 2.89934 |
Haifa-MUC-A 2011-04-07 (complete) | 3494092 | UNSAT | 4.14137 | 4.14247 |
PicoMUS 941 (complete) | 3483708 | UNSAT | 38.2582 | 38.2594 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3483108 | UNSAT | 46.189 | 44.6224 |
MiniUnsat2 2011-02-22 (complete) | 3483408 | UNSAT | 100.634 | 100.632 |
OptimuS p100_source (complete) | 3495292 | ? (exit code) | 3.86241 | 3.86598 |
OptimuS x100_source (complete) | 3495592 | ? (exit code) | 4.00039 | 4.00112 |
OptimuS a100_source (complete) | 3494992 | ? (exit code) | 4.17037 | 4.17485 |
Haifa-MUC 2011-04-07 (complete) | 3494392 | Signal | 1.90171 | 1.93132 |
Haifa-MUC 2011-04-07 (complete) | 3494692 | Signal | 2.23466 | 2.24064 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:502211 494804 494800 494793 494792 490723 489270 489201 488224 477950 477946 477939 477938 466120 464633 464547 463275 505518 505514 505303 505248 505027 505024 504977 504973 504962 504959 504851 504299 504295 504292 504291 504184 502771 502722 344987 344984 344982 344693 344692 302283 301229 293148 293146 293143 293140 293138 293135 293134 36 35 32 30 430690 430688 430679 430678 384418 384417 384416 384415 384414 384405 384404 384403 384401 347571 347539 347523 345034 344990 0