Name | SAT02/industrial/goldberg/fpga_routing/ too_large_gr_rcs_w5.shuffled.cnf |
MD5SUM | 385adcbb4dde478546d0e889fc771284 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.076987 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2595 |
Number of clauses | 36129 |
Sum of the clauses size | 73815 |
Maximum clause length | 5 |
Minimum clause length | 2 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 35610 |
Number of clauses of size 3 | 0 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 519 |
Number of clauses of size over 5 | 0 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Haifa-MUC 2011-04-07 (complete) | 3494183 | UNSAT | 0.076987 | 0.080078 |
Haifa-MUC 2011-04-07 (complete) | 3494483 | UNSAT | 0.097984 | 0.0989651 |
MUSer 2011-02-10 (complete) | 3493787 | UNSAT | 0.25796 | 0.257474 |
Haifa-MUC-A 2011-04-07 (complete) | 3493883 | UNSAT | 0.271958 | 0.272831 |
MoUsSaka 2011-03-26 (complete) | 3495683 | UNSAT | 0.293955 | 0.295587 |
MiniUnsat2 2011-02-22 (complete) | 3493789 | UNSAT | 0.608906 | 0.60989 |
OptimuS x100_source (complete) | 3495383 | UNSAT | 1.64375 | 1.64489 |
PicoMUS 941 (complete) | 3493790 | UNSAT | 3.20451 | 3.20744 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493788 | UNSAT | 6.85596 | 6.0201 |
OptimuS p100_source (complete) | 3495083 | ? (TO) | 1800.04 | 1800.01 |
OptimuS a100_source (complete) | 3494783 | ? (TO) | 1800.11 | 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:213 259 1004 1034 1054 1347 1408 1598 1890 1907 1974 2102 2511 2793 2882 3003 3295 3456 3825 4179 4235 4422 5442 5515 5788 5828 6051 7800 8181 8301 8339 8531 8785 8868 9141 9243 9388 9459 9853 9872 10187 10476 10557 10771 11251 11281 11483 11670 11933 11970 12080 12097 12167 12264 12418 13320 13420 13533 13621 13628 13848 14186 14589 14745 14838 15025 15195 15315 15429 16257 16527 16802 17335 17626 17705 17711 17828 18421 18583 18650 18653 19084 19109 19210 20346 20670 20903 21219 22006 22012 22134 22174 22551 23886 24228 24247 24360 24426 25246 25602 25751 26215 26328 26763 26853 26945 27286 27365 27462 27570 27827 28355 28370 28525 28913 29000 29102 29283 29713 29954 30380 30706 31084 31351 31501 31778 31842 32004 32731 33101 33219 33909 33933 34297 34646 34726 35228 35531 35610 0