| Name | crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf |
| MD5SUM | af4e94e2262dd17f2c350e06d0de5672 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1920 |
| Number of clauses | 6337 |
| Sum of the clauses size | 17024 |
| Maximum clause length | 64 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 2048 |
| Number of clauses of size 3 | 4288 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 1 |