Name | RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf |
MD5SUM | b57ad66e53e78b10a33d8e64aa605409 |
Bench Category | RANDOM (random instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 209.68 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 140 |
Number of clauses | 11900 |
Sum of the clauses size | 83300 |
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 | 11900 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
gNovelty+-T 2009-03-22 (4 threads) (incomplete) | 1777285 | SAT | 209.68 | 54.3337 |
gNovelty+-T 2009-03-22 (16 threads) (incomplete) | 1777287 | SAT | 455.86 | 37.5581 |
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 -91 92 93 -94 -95 96 97 98 99 -100 101 -102 -103 -104 105 106 -107 108 -109 -110 -111 -112 113 -114 -115 -116 -117 -118 119 -120 -121 -122 -123 -124 125 -126 127 128 -129 130 -131 -132 133 -134 -135 136 -137 -138 139 -140 0