| Name | application/leberre/ 2dimensionalstrippacking/E03N15.cnf |
| MD5SUM | 5e437ee939aa66499926385ad9d3b182 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 5.38218 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4740 |
| Number of clauses | 34881 |
| Sum of the clauses size | 145246 |
| Maximum clause length | 45 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 25 |
| Number of clauses of size 2 | 12236 |
| Number of clauses of size 3 | 8946 |
| Number of clauses of size 4 | 2865 |
| Number of clauses of size 5 | 2265 |
| Number of clauses of size over 5 | 8544 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Haifa-MUC-A 2011-04-07 (complete) | 3493954 | UNSAT | 5.38218 | 5.38808 |
| Haifa-MUC 2011-04-07 (complete) | 3494254 | UNSAT | 7.35188 | 7.35951 |
| Haifa-MUC 2011-04-07 (complete) | 3494554 | UNSAT | 10.4254 | 10.4357 |
| MoUsSaka 2011-03-26 (complete) | 3495754 | UNSAT | 10.5714 | 10.5718 |
| MUSer 2011-02-10 (complete) | 3493751 | UNSAT | 12.904 | 12.9067 |
| PicoMUS 941 (complete) | 3493754 | UNSAT | 17.0274 | 17.0295 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493752 | UNSAT | 92.9249 | 91.7229 |
| OptimuS x100_source (complete) | 3495454 | UNSAT | 473.365 | 473.379 |
| MiniUnsat2 2011-02-22 (complete) | 3493753 | UNSAT | 1590.88 | 1590.91 |
| OptimuS a100_source (complete) | 3494854 | ? (TO) | 1800.04 | 1800.01 |
| OptimuS p100_source (complete) | 3495154 | ? (TO) | 1800.09 | 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:1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1683 1684 1685 1686 1688 1689 1690 1692 1693 1695 1696 1697 1698 1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 2061 2062 2063 2064 2065 2066 2067 2068 2069 2070 2071 2072 2073 2074 2075 2076 2077 2078 2079 2080 2081 2082 2083 2084 2085 2086 2087 2088 2089 2090 2091 2092 2093 2094 2095 2096 2097 2098 2099 2100 2101 2102 2103 2104 2105 2106 2107 2108 2109 2110 2111 2112 2113 2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2125 2126 2127 2128 2129 2130 2131 2132 2133 2134 2135 2136 2137 2138 2139 2140 2141 2142 2143 2144 2145 2146 2147 2148 2149 2150 2152 2153 2154 2155 2156 2157 2158 2159 2160 2161 2162 2163 2164 2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2189 2190 2191 2192 2193 2194 2195 2196 2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2208 2209 2210 2211 2212 2213 2214 2215 2216 2217 2218 2219 2220 2221 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232 2234 2235 2236 2238 2239 2241 2242 2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345 2346 2347 2348 2349 2350 2351 2352 2353 2354 2355 2356 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2370 2371 2372 2373 2374 2375 2376 2377 2378 2379 2380 2381 2382 2383 2384 2385 2386 2387 2388 2389 2390 2391 2392 2393 2394 2395 2396 2397 2398 2399 2400 2401 2402 2403 2404 2405 2406 2407 2408 2409 2410 2411 2412 2413 2414 2415 2416 2417 2418 2420 2421 2422 2423 2425 2426 2427 2428 2429 2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440 2441 2442 2443 2444 2445 2446 2447 2448 2449 2450 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 2474 2475 2476 2477 2478 2479 2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2491 2492 2493 2494 2495 2496 2497 2498 2499 2500 2501 2502 2503 2504 2505 2506 2507 2508 2509 2510 2511 2512 2513 2514 2515 2971 2973 2974 2975 2976 2977 2978 2979 2980 2986 2987 2988 2989 2990 2991 2992 2993 3011 3012 3013 3014 3015 3021 3022 3023 3024 3025 3026 3031 3032 3033 3034 3035 3040 3041 3042 3043 3048 3049 3050 3055 3056 3061 3127 3329 3412 3456 3522 3523 3524 3594 3675 3680 3681 3685 3698 3699 3700 3702 3703 3745 3761 3762 3781 3782 3783 3784 3804 3828 3842 3845 3909 3912 3916 3919 3948 3951 3954 3958 3961 3975 3994 4000 4003 4004 4021 4022 4035 4038 4041 4042 4044 4045 4046 4050 4053 4054 4055 4057 4058 4059 4060 8791 8794 8797 8800 8806 8812 8815 8818 8821 8824 8827 8830 8966 8967 8969 8970 8972 8973 8975 8976 8978 8979 8981 8982 8984 8985 8987 8988 8990 8991 8993 8994 8996 8997 8999 9000 9002 9003 9005 9006 9008 9009 9011 9012 9014 9015 9017 9018 9020 9021 9023 9024 9026 9027 9029 9030 9032 9033 9035 9036 9038 9039 9041 9042 9044 9045 9047 9048 9050 9051 9053 9054 9056 9059 9063 9065 9068 9071 9074 9077 9080 9083 9086 9089 9092 9095 9098 9101 9102 9104 9105 9107 9108 9110 9111 9113 9114 9116 9117 9119 9120 9122 9123 9125 9126 9128 9129 9131 9132 9134 9135 9137 9138 9140 9143 9144 9146 9147 9149 9150 9152 9153 9155 9156 9158 9159 9161 9162 9164 9165 9167 9168 9170 9171 9173 9174 9176 9177 9179 9180 9182 9183 9185 9186 9188 9189 9507 9509 9512 9515 9518 9521 9524 9527 9530 9533 9536 9539 9542 9545 9548 9551 9552 9554 9555 9557 9558 9560 9561 9563 9564 9566 9567 9569 9570 9572 9573 9575 9576 9578 9579 9581 9582 9584 9585 9587 9588 9590 9591 9593 9594 9596 9597 9599 9600 9602 9603 9605 9606 9608 9609 9611 9612 9614 9615 9617 9618 9620 9621 9623 9624 9626 9627 9629 9630 9632 9633 9635 9636 9638 9639 9686 9687 9689 9690 9692 9693 9695 9696 9698 9699 9701 9702 9704 9705 9707 9708 9710 9711 9713 9714 9716 9717 9719 9720 9722 9723 9725 9726 9728 9729 9731 9732 9734 9735 9737 9738 9740 9741 9743 9744 9746 9747 9749 9750 9752 9753 9755 9756 9758 9759 9761 9762 9764 9765 9767 9768 9770 9771 9773 9774 11581 11608 11611 11614 11620 11659 11986 11992 11998 12004 12010 12013 12016 12019 12022 12567 12570 12572 12573 12575 12576 12578 12579 12581 12582 12584 12585 12587 12588 12590 12591 12593 12594 12596 12597 12599 12600 12602 12605 12608 15192 15193 15194 15195 15197 15199 15200 15201 15202 15203 15204 15205 15270 15286 15302 15318 15334 15462 15478 15494 15526 15542 16184 16193 16194 16195 16197 16211 16328 16330 16332 16334 16336 16337 16338 16339 16340 16550 30954 33232 33322 33323 33324 33325 33326 33327 33328 33329 33330 33331 33332 33333 33334 33336 33607 33609 33610 33611 33612 33613 33614 33615 33616 0