| Name | RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf |
| MD5SUM | af61a6a11d784bb0b80c63b360b179f6 |
| 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.05799 |
| 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) | 1627384 | SAT | 0.05799 | 0.0583329 |
| TNM 2009-03-22 (incomplete) | 1632186 | SAT | 0.526919 | 0.527182 |
| gNovelty+-T 2009-03-22 (incomplete) | 1783178 | SAT | 0.974851 | 0.975782 |
| SATzilla2009_R 2009-03-22 (complete) | 1630434 | SAT | 1.35379 | 2.50008 |
| adaptg2wsat2009++ 2009-03-23 (incomplete) | 1629136 | SAT | 1.72474 | 1.72627 |
| gnovelty+2 2009-03-22 (incomplete) | 1629137 | SAT | 1.92371 | 1.92507 |
| SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete) | 1632188 | SAT | 2.13867 | 2.13939 |
| SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete) | 1632187 | SAT | 3.88441 | 3.88612 |
| iPAWS 2009-03-22 (incomplete) | 1631044 | SAT | 4.99224 | 4.99405 |
| SAT07 reference solver: SATzilla RANDOM (complete) | 1626430 | SAT | 5.53816 | 5.55357 |
| SAT07 reference solver: March KS 2007-02-08 (complete) | 1626431 | SAT | 3484.87 | 3485.9 |
| march_hi hi (complete) | 1627994 | ? (TO) | 5000.06 | 5001.96 |
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