Name | mus/marques-silva/fpga-routing/ c499_gr_2pin_w5.shuffled.cnf |
MD5SUM | a2e4cf209dd6d99c36adb18f47b69589 |
Bench Category | MUS (MUS) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.054991 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2070 |
Number of clauses | 19908 |
Sum of the clauses size | 104856 |
Maximum clause length | 6 |
Minimum clause length | 2 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 3648 |
Number of clauses of size 3 | 0 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 16260 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Haifa-MUC 2011-04-07 (complete) | 3494418 | UNSAT | 0.054991 | 0.056569 |
MoUsSaka 2011-03-26 (complete) | 3495918 | UNSAT | 0.067988 | 0.0706369 |
Haifa-MUC 2011-04-07 (complete) | 3494718 | UNSAT | 0.077987 | 0.077385 |
MUSer 2011-02-10 (complete) | 3481073 | UNSAT | 0.179971 | 0.185909 |
Haifa-MUC-A 2011-04-07 (complete) | 3494118 | UNSAT | 0.215966 | 0.220247 |
PicoMUS 941 (complete) | 3483744 | UNSAT | 0.902862 | 0.903259 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3483144 | UNSAT | 7.12592 | 6.49379 |
OptimuS x100_source (complete) | 3495618 | UNSAT | 25.5581 | 25.5575 |
MiniUnsat2 2011-02-22 (complete) | 3483444 | UNSAT | 48.1577 | 48.1617 |
OptimuS a100_source (complete) | 3495018 | ? (TO) | 1800.05 | 1800.01 |
OptimuS p100_source (complete) | 3495318 | ? (TO) | 1800.09 | 1800.01 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:295 335 387 773 973 1055 1168 1540 1687 1713 1824 1890 1982 2014 2117 2539 2643 2875 3003 3021 3311 3335 3352 3378 3502 3957 4736 4967 5170 5527 5596 5601 5669 5914 5915 6498 6600 6715 6768 6799 6844 7057 7232 7270 7373 7438 7660 7674 7878 8069 8093 8225 8512 8572 8714 9367 9752 10207 10243 10738 10746 10898 11055 11215 11309 11677 11804 13038 13110 13547 13584 14199 14259 14325 14331 14800 14919 14998 15350 15602 15841 15847 15891 16046 16275 16809 16941 17067 17275 17388 17539 17875 18044 18173 18503 18566 18779 18944 19129 19467 19796 0