Detail page for UNSAT family
| Submitter: | SAT Competition 2005 | ||
| Suite: | SAT_competition_2005 | ||
| Domain: | Miscellanea | ||
| Description: | UNSAT certified benchmarks from SAT competition 2005. | ||
| Number of instances: | 21 | ||
| Results: | | ||
| Instances: | |||
| Submitter: | SAT Competition 2005 | ||
| Suite: | SAT_competition_2005 | ||
| Domain: | Miscellanea | ||
| Description: | UNSAT certified benchmarks from SAT competition 2005. | ||
| Number of instances: | 21 | ||
| Results: | | ||
| Instances: | |||