Name | RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf |
MD5SUM | f938cfdd4478a8554923c46697238b9e |
Bench Category | RANDOM (random instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.317951 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 120 |
Number of clauses | 2556 |
Sum of the clauses size | 12780 |
Maximum clause length | 5 |
Minimum clause length | 5 |
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 | 2556 |
Number of clauses of size over 5 | 0 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
hybridGM3 3 (incomplete) | 1627378 | SAT | 0.317951 | 0.318874 |
SATzilla2009_R 2009-03-22 (complete) | 1630428 | SAT | 0.362944 | 0.362346 |
gnovelty+2 2009-03-22 (incomplete) | 1629119 | SAT | 1.72774 | 1.72826 |
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete) | 1632169 | SAT | 2.08968 | 2.09049 |
adaptg2wsat2009++ 2009-03-23 (incomplete) | 1629118 | SAT | 2.85656 | 2.85614 |
iPAWS 2009-03-22 (incomplete) | 1631038 | SAT | 3.05653 | 3.05679 |
TNM 2009-03-22 (incomplete) | 1632168 | SAT | 3.08053 | 3.08059 |
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete) | 1632170 | SAT | 3.20751 | 3.21566 |
gNovelty+-T 2009-03-22 (incomplete) | 1783172 | SAT | 3.87741 | 3.87894 |
SAT07 reference solver: SATzilla RANDOM (complete) | 1626418 | SAT | 3401.45 | 3403.03 |
march_hi hi (complete) | 1627988 | ? (TO) | 5000.06 | 5001.86 |
SAT07 reference solver: March KS 2007-02-08 (complete) | 1626419 | ? (TO) | 5000.12 | 5002.22 |
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 0