Name | RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf |
MD5SUM | 083530c917e5930f85d1f6585a40e1fa |
Bench Category | RANDOM (random instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 12.946 |
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 |
---|---|---|---|---|
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete) | 1631659 | SAT | 12.946 | 12.9506 |
TNM 2009-03-22 (incomplete) | 1631658 | SAT | 32.3401 | 32.3523 |
gnovelty+2 2009-03-22 (incomplete) | 1628609 | SAT | 195.006 | 195.064 |
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete) | 1631660 | SAT | 231.93 | 232.071 |
hybridGM3 3 (incomplete) | 1627208 | SAT | 279.969 | 280.051 |
SATzilla2009_R 2009-03-22 (complete) | 1630258 | SAT | 390.755 | 390.918 |
gNovelty+-T 2009-03-22 (incomplete) | 1783002 | SAT | 644.07 | 644.262 |
iPAWS 2009-03-22 (incomplete) | 1630868 | SAT | 773.293 | 773.567 |
adaptg2wsat2009++ 2009-03-23 (incomplete) | 1628608 | SAT | 783.917 | 784.148 |
SAT07 reference solver: SATzilla RANDOM (complete) | 1626078 | ? (exit code) | 4999.11 | 5000.8 |
SAT07 reference solver: March KS 2007-02-08 (complete) | 1626079 | ? (TO) | 5000.03 | 5002.71 |
march_hi hi (complete) | 1627818 | ? (TO) | 5000.11 | 5001.75 |
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