Name | RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S285713182-059.cnf |
MD5SUM | a43cbdef3a4536def8ea28a7d3ce3c97 |
Bench Category | RANDOM (random instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1407.57 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 160 |
Number of clauses | 13600 |
Sum of the clauses size | 95200 |
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 | 13600 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
iPAWS 2009-03-22 (incomplete) | 1630865 | SAT | 1407.57 | 1408.01 |
TNM 2009-03-22 (incomplete) | 1631649 | SAT | 2008.34 | 2008.94 |
gnovelty+2 2009-03-22 (incomplete) | 1628600 | SAT | 2120.12 | 2120.74 |
adaptg2wsat2009++ 2009-03-23 (incomplete) | 1628599 | SAT | 3173.48 | 3174.24 |
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete) | 1631651 | SAT | 3810.2 | 3811.93 |
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete) | 1631650 | SAT | 4335.01 | 4336.28 |
SATzilla2009_R 2009-03-22 (complete) | 1630255 | ? (exit code) | 4998.69 | 5000.53 |
SAT07 reference solver: SATzilla RANDOM (complete) | 1626072 | ? (exit code) | 4999.18 | 5001.43 |
gNovelty+-T 2009-03-22 (incomplete) | 1782999 | ? (TO) | 5000.06 | 5001.42 |
SAT07 reference solver: March KS 2007-02-08 (complete) | 1626073 | ? (TO) | 5000.06 | 5003.01 |
march_hi hi (complete) | 1627815 | ? (TO) | 5000.09 | 5001.65 |
hybridGM3 3 (incomplete) | 1627205 | ? (TO) | 5000.11 | 5001.51 |
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 141 142 -143 -144 -145 146 -147 148 149 150 151 -152 -153 154 155 156 157 158 -159 160 0