Name | GracefulGraph/ GracefulGraph-K02-P09_c18.xml |
MD5SUM | 7d3eec938755fdf0eb3fdb8654f4a439 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.02091 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 70 |
Number of constraints | 27 |
Number of domains | 2 |
Minimum domain size | 25 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":25,"count":25},{"size":26,"count":18}] |
Minimum variable degree | 0 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":0,"count":27},{"degree":2,"count":25},{"degree":3,"count":4},{"degree":4,"count":14}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":3,"count":25},{"arity":18,"count":1},{"arity":25,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 25 |
Distribution of constraint types | [{"type":"intension","count":25},{"type":"allDifferent","count":2}] |
Optimization problem | NO |
Type of objective |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
minimacht 2018.07.27 (complete) | 4300741 | SAT | 0.02091 | 0.0217909 |
miniBTD_12 2018.07.27_12 (complete) | 4300917 | SAT | 0.021478 | 0.022276 |
miniBTD 2018.07.27_3 (complete) | 4301093 | SAT | 1.17044 | 1.17156 |
NACRE 1.0.4 (complete) | 4298605 | SAT | 5.26173 | 5.26486 |
The dodo solver 2018-04-29 (complete) | 4298609 | SAT (TO) | 2520.07 | 2512.12 |
SuperSolver_Macq_Stevenart 2018-04-27 (incomplete) | 4298608 | ? (TO) | 2520.02 | 2503.12 |
GG's minicp 2018-04-29 (complete) | 4298603 | ? (TO) | 2520.03 | 2493.51 |
Solver of Xavier Schul & Yvhan Smal 2018-04-28 (incomplete) | 4298607 | ? (TO) | 2520.05 | 2503.91 |
cosoco 1.12 (complete) | 4298602 | ? (TO) | 2520.08 | 2520.01 |
MiniCPFever 2018-04-29 (complete) | 4298604 | ? (TO) | 2520.09 | 2497.12 |
slowpoke 2018-04-29 (incomplete) | 4298606 | ? (TO) | 2520.1 | 2506.21 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function:<instantiation type="solution"> <list> cn[0][0] cn[0][1] cn[1][0] cn[1][1] cn[2][0] cn[2][1] cn[3][0] cn[3][1] cn[4][0] cn[4][1] cn[5][0] cn[5][1] cn[6][0] cn[6][1] cn[7][0] cn[7][1] cn[8][0] cn[8][1] ce[0][0][0] ce[0][0][1] ce[0][1][0] ce[0][1][1] ce[1][0][0] ce[1][0][1] ce[1][1][0] ce[1][1][1] ce[2][0][0] ce[2][0][1] ce[2][1][0] ce[2][1][1] ce[3][0][0] ce[3][0][1] ce[3][1][0] ce[3][1][1] ce[4][0][0] ce[4][0][1] ce[4][1][0] ce[4][1][1] ce[5][0][0] ce[5][0][1] ce[5][1][0] ce[5][1][1] ce[6][0][0] ce[6][0][1] ce[6][1][0] ce[6][1][1] ce[7][0][0] ce[7][0][1] ce[7][1][0] ce[7][1][1] ce[8][0][0] ce[8][0][1] ce[8][1][0] ce[8][1][1] cie[0][0] cie[0][1] cie[1][0] cie[1][1] cie[2][0] cie[2][1] cie[3][0] cie[3][1] cie[4][0] cie[4][1] cie[5][0] cie[5][1] cie[6][0] cie[6][1] cie[7][0] cie[7][1] </list> <values> 0 2 25 1 3 24 7 4 12 23 19 5 13 22 21 6 8 18 1 2 1 1 1 24 1 1 1 21 1 1 1 3 1 1 1 11 1 1 1 14 1 1 1 9 1 1 1 15 1 1 1 10 1 1 25 1 22 23 4 20 5 19 7 18 6 17 8 16 13 12 </values> </instantiation>