| Name | random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf |
| MD5SUM | ae2c6ab9f054a239f861b972b7e9a79b |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.386941 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 90 |
| Number of clauses | 8010 |
| Sum of the clauses size | 56070 |
| Maximum clause length | 7 |
| Minimum clause length | 7 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 8010 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-1 2 -3 4 5 -6 7 8 -9 10 -11 12 -13 14 15 16 -17 18 19 20 21 22 -23 24 -25 26 27 -28 -29 30 31 32 33 34 35 36 -37 -38 39 40 41 42 43 -44 -45 46 -47 -48 49 -50 51 52 -53 -54 -55 -56 57 58 -59 -60 -61 62 -63 64 65 -66 67 68 -69 -70 71 72 73 74 -75 -76 -77 -78 -79 80 -81 -82 83 84 -85 -86 -87 -88 89 -90 0