| Name | mus/marques-silva/ atpg/bf1355-123.cnf |
| MD5SUM | 1a1ac58515611b660bb399a8cb75781d |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.011997 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2297 |
| Number of clauses | 7306 |
| Sum of the clauses size | 18550 |
| Maximum clause length | 6 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 5 |
| Number of clauses of size 2 | 3932 |
| Number of clauses of size 3 | 2870 |
| Number of clauses of size 4 | 445 |
| Number of clauses of size 5 | 33 |
| Number of clauses of size over 5 | 21 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| MoUsSaka 2011-03-26 (complete) | 3495838 | UNSAT | 0.011997 | 0.0120931 |
| Haifa-MUC 2011-04-07 (complete) | 3494338 | UNSAT | 0.034994 | 0.0358749 |
| Haifa-MUC 2011-04-07 (complete) | 3494638 | UNSAT | 0.037994 | 0.0391081 |
| MUSer 2011-02-10 (complete) | 3493303 | UNSAT | 0.06499 | 0.066479 |
| Haifa-MUC-A 2011-04-07 (complete) | 3494038 | UNSAT | 0.065989 | 0.0659941 |
| PicoMUS 941 (complete) | 3493306 | UNSAT | 0.361944 | 0.361761 |
| MiniUnsat2 2011-02-22 (complete) | 3493305 | UNSAT | 0.881865 | 0.882214 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493304 | UNSAT | 1.86472 | 1.40712 |
| OptimuS x100_source (complete) | 3495538 | ? (exit code) | 0.041992 | 0.0442779 |
| OptimuS p100_source (complete) | 3495238 | ? (exit code) | 0.041993 | 0.0427239 |
| OptimuS a100_source (complete) | 3494938 | ? (exit code) | 0.042992 | 0.0442421 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1402 1404 4646 1433 4642 1411 1403 1435 4660 4658 1434 4669 1432 1381 1374 4605 1380 1385 4622 1390 1396 4623 1444 1393 1386 4621 1378 4606 1373 4609 1371 1442 1395 1443 1372 1382 1387 4604 1445 1389 4632 1388 1356 1687 1683 1366 1691 1688 1684 1682 1673 1686 1658 1671 1668 1666 4831 1357 4813 1365 4626 1394 4635 1379 1377 1758 1757 1676 4830 1679 4814 1672 1660 1664 1667 1690 1689 1600 1606 3949 1622 1616 1594 1602 1619 1610 3943 1592 1603 1618 3940 1609 3946 4844 4835 4815 1598 1607 1615 1621 1665 1663 4804 1643 1642 1650 4781 1628 4793 1630 1633 4807 4798 1627 1649 4776 1644 1638 1636 1634 1675 1680 1674 1681 4832 4841 1657 1659 4818 4777 4794 1651 1645 4795 1629 1635 1637 4778 1641 1646 1652 1751 1753 4 5 13 707 721 1407 1416 1417 1419 1424 1426 1428 1430 1752 1750 0