Name | csp/rlfapGraphs/ normalized-graph4.xml |
MD5SUM | 1d376505df682ff1d994068cd4d20457 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.38894 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 2244 |
Maximum constraint arity | 2 |
Maximum domain size | 44 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2244 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2084141 | SAT | 0.38894 | 0.397394 |
bpsolver 09 (complete) | 2084142 | SAT | 0.425935 | 0.455889 |
Abscon 112v4 ESAC (complete) | 2097948 | SAT | 2.44963 | 2.51037 |
Abscon 112v4 AC (complete) | 2097947 | SAT | 2.79957 | 2.87207 |
Concrete 2009-07-14 (complete) | 2084135 | SAT | 5.56315 | 5.61997 |
Sugar v1.14.6+minisat (complete) | 2084139 | SAT | 6.02708 | 6.14339 |
Sugar v1.14.6+picosat (complete) | 2084138 | SAT | 6.98394 | 7.38771 |
Choco2.1.1 2009-06-10 (complete) | 2084137 | SAT | 12.2221 | 12.3224 |
SAT4J CSP 2.1.1 (complete) | 2084132 | SAT | 13.145 | 13.2554 |
Choco2.1.1b 2009-07-16 (complete) | 2116885 | SAT | 24.7222 | 25.0068 |
pcs-restart 0.3.2 (complete) | 2084134 | SAT | 55.9145 | 56.4401 |
pcs 0.3.2 (complete) | 2084133 | SAT | 151.608 | 152.786 |
Concrete DC 2009-07-14 (complete) | 2084136 | ? (TO) | 1800.09 | 1801.32 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:58 296 792 554 680 442 778 540 652 414 156 394 142 380 114 352 30 268 156 394 792 554 30 268 142 380 86 324 680 442 750 512 142 380 750 512 16 254 736 498 708 470 778 540 680 442 58 296 736 498 58 296 114 352 156 394 16 254 736 498 128 366 142 380 30 268 750 512 666 428 114 352 666 428 114 352 652 414 58 296 792 554 16 254 72 310 16 254 792 554 16 254 694 456 156 394 142 380 142 380 16 254 16 254 100 338 652 414 778 540 694 456 694 456 142 380 792 554 722 484 694 456 128 366 156 394 16 254 764 526 750 512 30 268 792 554 100 338 652 414 16 254 750 512 30 268 792 554 44 282 778 540 792 554 156 394 666 428 86 324 142 380 16 254 750 512 764 526 156 394 156 394 128 366 708 470 16 254 114 352 58 296 30 268 86 324 30 268 16 254 128 366 680 442 58 296 114 352 142 380 708 470 30 268 750 512 722 484 72 310 666 428 694 456 114 352 114 352 652 414 58 296 114 352 128 366 694 456 44 282 30 268 750 512 128 366 764 526 736 498 72 310 72 310 114 352 750 512 58 296 652 414 750 512 652 414 708 470 694 456 792 554 778 540 708 470 652 414 156 394 58 296 722 484 652 414 86 324 16 254 652 414 708 470 750 512 652 414 86 324 156 394 708 470 778 540 114 352 30 268 694 456 722 484 72 310 156 394 44 282 792 554 694 456 680 442 16 254 16 254 722 484 156 394 86 324 652 414 86 324 30 268 142 380 694 456 114 352 708 470 680 442 680 442 16 254 764 526 156 394 778 540 44 282 30 268 30 268 736 498 778 540 750 512 86 324 736 498 30 268 30 268 778 540 764 526 666 428 736 498 764 526 86 324 142 380 708 470 30 268 16 254 652 414 652 414 16 254 30 268