| Name | SAT02/industrial/goldberg/fpga_routing/ term1_gr_rcs_w3.shuffled.cnf |
| MD5SUM | 711317db773f724285d29e92d69e5357 |
| 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.002999 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 606 |
| Number of clauses | 2518 |
| Sum of the clauses size | 5238 |
| Maximum clause length | 3 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 2316 |
| Number of clauses of size 3 | 202 |
| Number of clauses of size 4 | 0 |
| 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) | 3495682 | UNSAT | 0.002999 | 0.00732692 |
| Haifa-MUC 2011-04-07 (complete) | 3494182 | UNSAT | 0.003998 | 0.00634 |
| Haifa-MUC 2011-04-07 (complete) | 3494482 | UNSAT | 0.004999 | 0.00633807 |
| MUSer 2011-02-10 (complete) | 3481157 | UNSAT | 0.006998 | 0.0176949 |
| Haifa-MUC-A 2011-04-07 (complete) | 3493882 | UNSAT | 0.007998 | 0.00913706 |
| MiniUnsat2 2011-02-22 (complete) | 3483221 | UNSAT | 0.021995 | 0.022854 |
| OptimuS x100_source (complete) | 3495382 | UNSAT | 0.035993 | 0.036312 |
| PicoMUS 941 (complete) | 3483521 | UNSAT | 0.065989 | 0.0669951 |
| OptimuS p100_source (complete) | 3495082 | UNSAT | 0.108983 | 0.111433 |
| OptimuS a100_source (complete) | 3494782 | UNSAT | 0.12298 | 0.123352 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3482921 | UNSAT | 0.757883 | 0.46024 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:696 1642 1386 385 2021 1857 1802 1420 886 116 1416 783 770 1991 392 511 2062 1274 1849 2186 2048 1736 1337 789 1763 735 1238 0