Name | RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf |
MD5SUM | fa1c9f583a9135f82181313be8dfbb29 |
Bench Category | RANDOM (random instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 34.6577 |
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 |
---|---|---|---|---|
hybridGM3 3 (incomplete) | 1627203 | SAT | 34.6577 | 34.6679 |
iPAWS 2009-03-22 (incomplete) | 1630863 | SAT | 343.229 | 343.339 |
adaptg2wsat2009++ 2009-03-23 (incomplete) | 1628593 | SAT | 351.938 | 352.033 |
SATzilla2009_R 2009-03-22 (complete) | 1630253 | SAT | 622.175 | 622.495 |
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete) | 1631644 | SAT | 752.882 | 753.391 |
gnovelty+2 2009-03-22 (incomplete) | 1628594 | SAT | 1006.15 | 1006.43 |
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete) | 1631645 | SAT | 1513.07 | 1513.68 |
gNovelty+-T 2009-03-22 (incomplete) | 1782997 | SAT | 2112.78 | 2113.33 |
TNM 2009-03-22 (incomplete) | 1631643 | SAT | 2503.37 | 2504.07 |
SAT07 reference solver: SATzilla RANDOM (complete) | 1626068 | ? (exit code) | 4999.2 | 5001.01 |
march_hi hi (complete) | 1627813 | ? (TO) | 5000.06 | 5002.95 |
SAT07 reference solver: March KS 2007-02-08 (complete) | 1626069 | ? (TO) | 5000.09 | 5002.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