Name | SAT02/industrial/goldberg/fpga_routing/ too_large_gr_rcs_w6.shuffled.cnf |
MD5SUM | 30ddcc5575081a4cc8a19e19d7f891aa |
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.84987 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3114 |
Number of clauses | 43251 |
Sum of the clauses size | 88578 |
Maximum clause length | 6 |
Minimum clause length | 2 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 42732 |
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 | 519 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MiniUnsat2 2011-02-22 (complete) | 3483222 | UNSAT | 0.84987 | 0.853304 |
Haifa-MUC-A 2011-04-07 (complete) | 3493884 | UNSAT | 0.908861 | 0.912411 |
MUSer 2011-02-10 (complete) | 3481158 | UNSAT | 3.11752 | 3.12271 |
PicoMUS 941 (complete) | 3483522 | UNSAT | 12.2631 | 12.2642 |
OptimuS x100_source (complete) | 3495384 | UNSAT | 19.3981 | 19.3992 |
Haifa-MUC 2011-04-07 (complete) | 3494484 | UNSAT | 23.9374 | 23.9428 |
Haifa-MUC 2011-04-07 (complete) | 3494184 | UNSAT | 24.0083 | 24.0085 |
MoUsSaka 2011-03-26 (complete) | 3495684 | UNSAT | 31.8742 | 31.8819 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3482922 | UNSAT | 103.113 | 101.293 |
OptimuS a100_source (complete) | 3494784 | ? (TO) | 1800.04 | 1800.01 |
OptimuS p100_source (complete) | 3495084 | ? (TO) | 1800.1 | 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:201 802 1218 1255 1756 1853 2383 2779 2952 3013 3105 3216 3333 3523 3963 3971 4747 4778 5259 5604 6071 6127 6334 6410 6506 6824 7075 7201 7630 7823 8327 8721 9071 9414 10349 10425 10487 10725 10822 11268 12403 12445 12548 13242 13748 13790 14312 14650 15633 15709 16014 16088 16322 16697 16823 17201 17460 17577 17609 17704 17787 17909 18645 18684 19290 19512 19997 20265 21009 21279 21344 21537 21694 22654 22698 22964 23321 24035 25140 25227 25375 26391 26985 27875 28599 28645 28846 29209 30177 30279 30500 30575 30743 31452 31685 32198 32200 32213 32703 33213 33818 34454 34693 35195 35210 35226 35762 35994 36328 37155 37171 37414 37501 38547 38653 38721 39311 39766 40486 40994 42180 42268 42663 43143 43173 1264 33195 8169 42449 32709 38560 33811 134 0