Name | crafted/mosoi/289/ 289-sat-4x8.cnf |
MD5SUM | acc18551f77825b225fd36f1d0bc3a75 |
Bench Category | CRAFTED (crafted instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.000999 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 128 |
Number of clauses | 896 |
Sum of the clauses size | 3200 |
Maximum clause length | 4 |
Minimum clause length | 2 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 192 |
Number of clauses of size 3 | 0 |
Number of clauses of size 4 | 704 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
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 -40 -37 -38 39 -83 -81 -82 84 -116 -128 -124 -120 -117 -118 119 -103 -101 -102 104 -100 -97 -98 99 -68 -79 -77 -78 80 -112 -109 -110 111 -75 -73 -74 76 -108 -71 -69 -70 72 -107 -106 105 -95 -93 -94 96 -91 -89 -90 92 -87 -85 -86 88 -127 -126 125 -123 -122 121 -115 -114 113 -60 -57 -58 59 -67 -66 65 -56 -53 -54 55 -47 -35 -45 -46 48 -64 -52 -44 -36 -34 33 -61 -62 63 -49 -50 51 -41 -42 43 -5 -6 -7 8 -32 -28 -24 -20 -16 -12 -29 -30 31 -27 -23 -19 -11 -26 25 -17 -9 18 10 -22 21 -13 -14 15