Name | RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf |
MD5SUM | a5d5e4fa8cedb12d5680a53a31f09411 |
Bench Category | RANDOM (random instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 264.776 |
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 (incomplete) | 1783008 | SAT | 264.776 | 264.871 |
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete) | 1631678 | SAT | 396.181 | 396.389 |
hybridGM3 3 (incomplete) | 1627214 | SAT | 698.263 | 698.519 |
SATzilla2009_R 2009-03-22 (complete) | 1630264 | SAT | 808.946 | 808.978 |
gnovelty+2 2009-03-22 (incomplete) | 1628627 | SAT | 928.116 | 928.449 |
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete) | 1631677 | SAT | 1743.29 | 1744.05 |
adaptg2wsat2009++ 2009-03-23 (incomplete) | 1628626 | SAT | 2103.47 | 2104.09 |
iPAWS 2009-03-22 (incomplete) | 1630874 | SAT | 2704.25 | 2705.17 |
TNM 2009-03-22 (incomplete) | 1631676 | SAT | 2723.07 | 2723.71 |
SAT07 reference solver: SATzilla RANDOM (complete) | 1626090 | ? (exit code) | 4999.15 | 5000.38 |
march_hi hi (complete) | 1627824 | ? (TO) | 5000.06 | 5001.35 |
SAT07 reference solver: March KS 2007-02-08 (complete) | 1626091 | ? (TO) | 5000.06 | 5002.61 |
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