| Name | mus/marques-silva/ atpg/bf1355-598.cnf |
| MD5SUM | 00b69507e4f6fc2ab273807bb4131b8a |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.010998 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2296 |
| Number of clauses | 7298 |
| Sum of the clauses size | 18523 |
| Maximum clause length | 6 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 5 |
| Number of clauses of size 2 | 3936 |
| Number of clauses of size 3 | 2857 |
| Number of clauses of size 4 | 445 |
| Number of clauses of size 5 | 35 |
| Number of clauses of size over 5 | 20 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| MoUsSaka 2011-03-26 (complete) | 3495848 | UNSAT | 0.010998 | 0.0125291 |
| Haifa-MUC 2011-04-07 (complete) | 3494348 | UNSAT | 0.036993 | 0.0378679 |
| Haifa-MUC 2011-04-07 (complete) | 3494648 | UNSAT | 0.039993 | 0.0413689 |
| MUSer 2011-02-10 (complete) | 3493291 | UNSAT | 0.05999 | 0.060436 |
| Haifa-MUC-A 2011-04-07 (complete) | 3494048 | UNSAT | 0.065989 | 0.0673089 |
| PicoMUS 941 (complete) | 3493294 | UNSAT | 0.339947 | 0.340801 |
| MiniUnsat2 2011-02-22 (complete) | 3493293 | UNSAT | 0.724888 | 0.727115 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493292 | UNSAT | 1.9357 | 1.39429 |
| OptimuS x100_source (complete) | 3495548 | ? (exit code) | 0.027995 | 0.0281369 |
| OptimuS a100_source (complete) | 3494948 | ? (exit code) | 0.027995 | 0.030154 |
| OptimuS p100_source (complete) | 3495248 | ? (exit code) | 0.028995 | 0.028476 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1633 4750 1630 1618 1631 404 4759 4745 1619 405 1639 1616 4729 402 403 1615 4730 1554 1665 1668 1611 4707 1591 1595 1599 4706 4690 1604 1605 1614 1597 1250 1252 1548 4632 4656 1556 4679 1249 1570 1582 4682 4653 1561 4668 1589 1580 1251 1600 1571 1608 1603 1569 4689 4652 1557 4651 1666 1667 1677 1676 4669 1532 1555 1572 1564 1563 1560 1562 4673 1681 1684 3942 4606 4616 1508 1543 1511 1519 1515 1606 1613 4691 4720 4614 1524 1538 1535 1541 4670 1565 1568 1581 1592 4694 1590 4717 4708 4711 1596 1598 1530 1539 1534 1547 4615 1526 4631 1542 1573 1579 1607 1612 4636 1533 1531 4633 4642 1540 1678 1675 1549 1525 1527 4619 1505 1514 1518 4645 1546 3948 4603 3946 1490 1492 3952 1496 1498 4 5 12 1626 953 1634 1645 1647 1656 1658 1660 1516 1664 943 0