Name | csp/rlfapScens/ normalized-scen5.xml |
MD5SUM | d00375a0db2ca765457bfad019ed3136 |
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.333948 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 2598 |
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 | 2598 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2081897 | SAT | 0.333948 | 0.341314 |
bpsolver 09 (complete) | 2081898 | SAT | 0.444931 | 0.455183 |
Abscon 112v4 AC (complete) | 2097539 | SAT | 2.72758 | 2.78736 |
Abscon 112v4 ESAC (complete) | 2097540 | SAT | 2.85956 | 2.92719 |
Choco2.1.1 2009-06-10 (complete) | 2081893 | SAT | 3.3005 | 3.37221 |
Choco2.1.1b 2009-07-16 (complete) | 2116681 | SAT | 3.52546 | 3.60637 |
Sugar v1.14.6+minisat (complete) | 2081895 | SAT | 5.48817 | 5.65158 |
Concrete 2009-07-14 (complete) | 2081891 | SAT | 5.54716 | 5.59833 |
Sugar v1.14.6+picosat (complete) | 2081894 | SAT | 6.46802 | 6.67268 |
Concrete DC 2009-07-14 (complete) | 2081892 | SAT | 12.6871 | 12.853 |
SAT4J CSP 2.1.1 (complete) | 2081888 | SAT | 13.298 | 13.4578 |
pcs-restart 0.3.2 (complete) | 2081890 | SAT | 18.6262 | 18.7673 |
pcs 0.3.2 (complete) | 2081889 | SAT | 19.1571 | 19.3242 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:156 394 156 394 254 16 86 324 428 666 254 16 128 366 414 652 792 554 554 792 16 254 764 526 680 442 456 694 72 310 428 666 128 366 778 540 44 282 282 44 442 680 750 512 254 16 324 86 736 498 792 554 324 86 764 526 310 72 428 666 30 268 498 736 352 114 156 394 338 100 268 30 16 254 526 764 296 58 296 58 16 254 16 254 296 58 394 156 128 366 16 254 540 778 750 512 156 394 170 408 792 554 254 16 156 394 324 86 554 792 540 778 394 156 16 254 310 72 254 16 156 394 442 680 296 58 254 16 778 540 540 778 394 156 394 156 268 30 694 456 666 428 764 526 442 680 694 456 128 366 352 114 338 100 44 282 778 540 722 484 778 540 380 142 296 58 428 666 736 498 736 498 394 156 44 282 764 526 58 296 366 128 352 114 694 456 268 30 666 428 680 442 442 680 156 394 100 338 428 666 652 414 792 554 254 16 428 666 512 750 352 114 142 380 708 470 512 750 338 100 540 778 484 722 44 282 58 296 554 792 652 414 44 282 778 540 366 128 666 428 254 16 512 750 282 44 428 666 310 72 680 442 268 30 442 680 498 736 324 86 310 72 100 338 750 512 540 778 540 778 778 540 58 296 282 44 442 680 128 366 666 428 142 380 128 366 128 366 44 282 16 254 666 428 736 498 428 666 394 156 778 540 310 72 44 282 296 58 694 456 128 366 254 16 554 792 456 694 694 456 456 694 338 100 30 268 484 722 512 750 86 324 666 428 114 352 540 778 526 764 16 254 324 86 268 30 142 380 470 708 44 282 694 456 498 736 268 30 722 484 268 30 512 750 428 666 268 30 750 512 30 268 694 456 30 268 554 792 456 694 268 30 512 750 268 30 268 30 694 456 764 526 268 30 114 352 268 30 254 16