Name | fapp/test01-04/test01/ test01-0150-9.xml |
MD5SUM | 1ea2073ca53e8d5ab77539c3dac5b806 |
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.857869 |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Number of variables | 150 |
Number of constraints | 1460 |
Maximum constraint arity | 2 |
Maximum domain size | 302 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1460 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
buggy_2_5 2007-01-08 | 207741 | SAT | 0.857869 | 0.863127 |
Mistral 2006-12-04 | 207742 | SAT | 2.06569 | 2.0865 |
Abscon 109 AC | 207733 | SAT | 6.75997 | 6.81897 |
Tramontane 2006-12-04 | 207743 | SAT | 9.94449 | 9.94904 |
Abscon 109 ESAC | 207732 | SAT | 16.2575 | 16.4975 |
CSP4J - Combo 2006-12-19 | 207734 | SAT | 17.0904 | 17.2348 |
CSP4J - MAC 2007-01-16 | 270687 | SAT | 17.2724 | 17.4059 |
VALCSP 3.0 | 207737 | SAT | 19.1811 | 19.3504 |
VALCSP 3.1 | 268530 | SAT | 20.1439 | 20.2188 |
CSP4J - MAC 2006-12-19 | 207735 | SAT | 20.9948 | 21.3576 |
buggy_2_5_s 2007-01-08 | 207740 | SAT | 25.8201 | 25.9195 |
sat4jCSP 1.7 RC BF3 | 207739 | SAT | 235.147 | 235.342 |
galac 1 | 207736 | SAT | 952.935 | 960.218 |
sugar 0.40 | 207744 | ? | 3.2 | 3.32871 |
SAT4JCSP-CACHED 1.7 RC BF3 | 207738 | ? | 584.297 | 587.245 |
galacJ beta 1 | 207731 | ? (problem) | 979.868 | 984.724 |
BPrologCSPSolver70a 2006-12-13 | 207730 | ? (TO) | 1800.02 | 1806.32 |
CSPtoSAT+minisat 0.3 | 207745 | ? (TO) | 1800.05 | 1816.39 |