| Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K80.opb |
| MD5SUM | f63841d6d96a80552d7bcf043a2f05bc |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.477927 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 4400 |
| Total number of constraints | 4562 |
| Number of constraints which are clauses | 4482 |
| Number of constraints which are cardinality constraints (but not clauses) | 80 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 81 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 0x1 x82 x198 x279 x319 x384 x440 x510 x543 x545 x547 x601 x672 x674 x676 x753 x831 x842 x862 x866 x915 x997 x1043 x1163 x1278 x1341 x1385 x1389 x1428 x1445 x1451 x1526 x1530 x1607 x1609 x1688 x1783 x1830 x1862 x1911 x1992 x2073 x2154 x2235 x2316 x2335 x2421 x2500 x2579 x2657 x2733 x2804 x2957 x2984 x3029 x3052 x3134 x3136 x3138 x3246 x3256 x3327 x3408 x3489 x3570 x3651 x3653 x3732 x3734 x3815 x3898 x3947 x4026 x4028 x4124 x4220 x4285 x4297 x4299 x4400