| Name | RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf |
| MD5SUM | ad3646e0a0cdbfbd5513a638946c9f2e |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 52.408 |
| 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 |
|---|---|---|---|---|
| adaptg2wsat2009++ 2009-03-23 (incomplete) | 1628611 | SAT | 52.408 | 52.4276 |
| SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete) | 1631663 | SAT | 298.425 | 298.591 |
| SATzilla2009_R 2009-03-22 (complete) | 1630259 | SAT | 619.614 | 619.815 |
| TNM 2009-03-22 (incomplete) | 1631661 | SAT | 876.097 | 876.358 |
| iPAWS 2009-03-22 (incomplete) | 1630869 | SAT | 1044.16 | 1044.5 |
| SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete) | 1631662 | SAT | 1082.15 | 1082.54 |
| gnovelty+2 2009-03-22 (incomplete) | 1628612 | SAT | 1143.38 | 1143.84 |
| hybridGM3 3 (incomplete) | 1627209 | SAT | 2906.87 | 2907.71 |
| gNovelty+-T 2009-03-22 (incomplete) | 1783003 | SAT | 3627.02 | 3628.02 |
| SAT07 reference solver: March KS 2007-02-08 (complete) | 1626081 | ? (TO) | 5000.05 | 5002.81 |
| march_hi hi (complete) | 1627819 | ? (TO) | 5000.07 | 5001.75 |
| SAT07 reference solver: SATzilla RANDOM (complete) | 1626080 | ? (TO) | 5000.09 | 4997.32 |
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