| Name | RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf |
| MD5SUM | b8c930418a16f3a24b4fb0e57c45eda6 |
| 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.21 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 110 |
| Number of clauses | 2343 |
| Sum of the clauses size | 11715 |
| 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 | 2343 |
| Number of clauses of size over 5 | 0 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| gNovelty+-T 2009-03-22 (4 threads) (incomplete) | 1777717 | SAT | 0.21 | 0.131549 |
| gNovelty+-T 2009-03-22 (16 threads) (incomplete) | 1777719 | SAT | 0.624038 | 0.159982 |
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 0