Name | csp/rlfapScens/ normalized-scen2.xml |
MD5SUM | 31a4c465ca1f11a03620a8b9cb7922e0 |
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.135978 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 1235 |
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 | 1235 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2081974 | SAT | 0.135978 | 0.145009 |
bpsolver 09 (complete) | 2081975 | SAT | 0.235963 | 0.2533 |
Abscon 112v4 ESAC (complete) | 2097554 | SAT | 1.55276 | 1.56495 |
Abscon 112v4 AC (complete) | 2097553 | SAT | 1.60476 | 1.62108 |
Concrete 2009-07-14 (complete) | 2081968 | SAT | 2.47462 | 1.95533 |
Choco2.1.1b 2009-07-16 (complete) | 2116688 | SAT | 2.47462 | 2.53131 |
Choco2.1.1 2009-06-10 (complete) | 2081970 | SAT | 2.55161 | 2.64468 |
Sugar v1.14.6+minisat (complete) | 2081972 | SAT | 3.88441 | 3.98083 |
Sugar v1.14.6+picosat (complete) | 2081971 | SAT | 4.81727 | 4.94104 |
SAT4J CSP 2.1.1 (complete) | 2081965 | SAT | 8.41972 | 8.51866 |
Concrete DC 2009-07-14 (complete) | 2081969 | SAT | 9.92749 | 9.73862 |
pcs 0.3.2 (complete) | 2081966 | SAT | 19.532 | 19.6994 |
pcs-restart 0.3.2 (complete) | 2081967 | SAT | 22.7355 | 22.7494 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:694 456 652 414 792 554 254 16 736 498 708 470 254 16 254 16 428 666 310 72 310 72 498 736 540 778 268 30 736 498 16 254 722 484 652 414 114 352 498 736 498 736 414 652 414 652 254 16 708 470 750 512 778 540 254 16 722 484 16 254 736 498 156 394 16 254 792 554 442 680 470 708 414 652 694 456 722 484 268 30 722 484 694 456 268 30 268 30 30 268 778 540 722 484 666 428 268 30 764 526 778 540 114 352 736 498 254 16 16 254 30 268 694 456 540 778 666 428 764 526 470 708 268 30 30 268 694 456 30 268 540 778 268 30 694 456 30 268 526 764 540 778 456 694 442 680 254 16 254 16 792 554 16 254 442 680 16 254 254 16 414 652 554 792 736 498 310 72 30 268 512 750 540 778 540 778 156 394 16 254 142 380 778 540 268 30 778 540 268 30 778 540 484 722 268 30 498 736 268 30