Name | csp/rlfapGraphs/ normalized-graph2.xml |
MD5SUM | 4b1880b220e0e2c53300bef9fd72ba3f |
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.274957 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 2245 |
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 | 2245 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2084196 | SAT | 0.274957 | 0.278891 |
bpsolver 09 (complete) | 2084197 | SAT | 0.422934 | 0.440465 |
Abscon 112v4 AC (complete) | 2097957 | SAT | 2.38164 | 2.45039 |
Abscon 112v4 ESAC (complete) | 2097958 | SAT | 2.38464 | 2.4602 |
Choco2.1.1b 2009-07-16 (complete) | 2116890 | SAT | 3.43148 | 3.50197 |
Choco2.1.1 2009-06-10 (complete) | 2084192 | SAT | 4.08938 | 4.17058 |
Concrete 2009-07-14 (complete) | 2084190 | SAT | 4.88626 | 4.9904 |
Sugar v1.14.6+minisat (complete) | 2084194 | SAT | 5.85011 | 6.03252 |
Sugar v1.14.6+picosat (complete) | 2084193 | SAT | 6.96194 | 7.113 |
SAT4J CSP 2.1.1 (complete) | 2084187 | SAT | 11.9702 | 12.0561 |
Concrete DC 2009-07-14 (complete) | 2084191 | SAT | 40.8138 | 41.2714 |
pcs-restart 0.3.2 (complete) | 2084189 | SAT | 44.0343 | 44.2193 |
pcs 0.3.2 (complete) | 2084188 | SAT | 45.899 | 46.6723 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:414 652 456 694 254 16 736 498 456 694 722 484 352 114 16 254 498 736 484 722 442 680 498 736 708 470 736 498 512 750 554 792 526 764 792 554 694 456 652 414 16 254 254 16 512 750 254 16 764 526 498 736 380 142 778 540 30 268 736 498 268 30 30 268 456 694 44 282 792 554 142 380 652 414 380 142 16 254 512 750 254 16 30 268 512 750 694 456 100 338 540 778 694 456 554 792 554 792 30 268 708 470 16 254 512 750 498 736 16 254 268 30 526 764 16 254 114 352 142 380 470 708 666 428 666 428 268 30 142 380 694 456 736 498 380 142 366 128 680 442 30 268 778 540 484 722 30 268 750 512 254 16 16 254 142 380 540 778 16 254 254 16 380 142 16 254 268 30 736 498 652 414 512 750 324 86 268 30 142 380 722 484 58 296 30 268 498 736 142 380 470 708 554 792 470 708 16 254 540 778 456 694 764 526 16 254 268 30 722 484 722 484 142 380 254 16 708 470 470 708 526 764 764 526 254 16 380 142 414 652 484 722 722 484 526 764 778 540 254 16 310 72 694 456 30 268 142 380 470 708 554 792 86 324 380 142 428 666 380 142 680 442 142 380 142 380 498 736 512 750 778 540 30 268 324 86 30 268 442 680 30 268 268 30 142 380 254 16 442 680 380 142 380 142 750 512 142 380 380 142 680 442 16 254 512 750 268 30 380 142 380 142 142 380 694 456 380 142 778 540 554 792 666 428 16 254 540 778 470 708 30 268 428 666 86 324 708 470 380 142 268 30 778 540 778 540 30 268 142 380 380 142 428 666 442 680 764 526 778 540 792 554 456 694 652 414 456 694 708 470 414 652 652 414 470 708 666 428 268 30 470 708 722 484 554 792 736 498 442 680 652 414 778 540 484 722 16 254 540 778