Name | mus/marques-silva/fpga-routing/ example2_gr_rcs_w5.shuffled.cnf |
MD5SUM | 15085cc71ff6395b066d36a6c47e4b97 |
Bench Category | MUS (MUS) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.097984 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2220 |
Number of clauses | 23144 |
Sum of the clauses size | 47620 |
Maximum clause length | 5 |
Minimum clause length | 2 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 22700 |
Number of clauses of size 3 | 0 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 444 |
Number of clauses of size over 5 | 0 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MoUsSaka 2011-03-26 (complete) | 3495919 | UNSAT | 0.097984 | 0.098892 |
Haifa-MUC 2011-04-07 (complete) | 3494419 | UNSAT | 0.180972 | 0.180808 |
Haifa-MUC 2011-04-07 (complete) | 3494719 | UNSAT | 0.182971 | 0.183012 |
MiniUnsat2 2011-02-22 (complete) | 3493525 | UNSAT | 0.736887 | 0.739656 |
MUSer 2011-02-10 (complete) | 3493523 | UNSAT | 0.772881 | 0.773629 |
Haifa-MUC-A 2011-04-07 (complete) | 3494119 | UNSAT | 2.15367 | 2.15506 |
OptimuS x100_source (complete) | 3495619 | UNSAT | 2.89056 | 2.89194 |
PicoMUS 941 (complete) | 3493526 | UNSAT | 3.52846 | 3.53099 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493524 | UNSAT | 3.72243 | 2.86257 |
OptimuS p100_source (complete) | 3495319 | UNSAT | 978.46 | 978.418 |
OptimuS a100_source (complete) | 3495019 | UNSAT | 1100.73 | 1100.7 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:9512 1861 1627 11195 21571 6357 5107 19761 4552 4086 9145 1098 7626 3649 199 1728 19259 993 9556 15986 22065 6887 2035 352 10657 1139 4574 19591 14358 15518 14816 10503 5076 9125 12179 1371 3990 3394 1276 10323 6687 14937 6451 8128 13318 10383 18052 6970 3824 10656 16015 5731 7316 19728 2794 15297 10596 2110 4438 13465 13008 12606 16926 14369 15092 8163 15632 5305 16330 10277 19600 9282 3310 22970 3484 19534 4885 18872 19010 3721 20582 0