Name | fapp/fapp21-25/fapp22/ fapp22-1750-5.xml |
MD5SUM | 888c471a7350edda4fe074e6ef3aa4f0 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 8.90564 |
Satisfiable | NO |
(Un)Satisfiability was proved | NO |
Number of variables | 1750 |
Number of constraints | 32049 |
Maximum constraint arity | 2 |
Maximum domain size | 802 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 32049 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 109 AC | 202329 | UNSAT | 8.90564 | 8.98026 |
buggy_2_5 2007-01-08 | 202337 | UNSAT | 17.2304 | 17.3637 |
buggy_2_5_s 2007-01-08 | 202336 | UNSAT | 19.0681 | 19.2368 |
Tramontane 2006-12-04 | 202339 | UNSAT | 182.049 | 185.518 |
Abscon 109 ESAC | 202328 | UNSAT | 204.422 | 205.274 |
CSP4J - MAC 2007-01-16 | 270372 | ? | 43.1054 | 43.4389 |
CSP4J - Combo 2006-12-19 | 202330 | ? | 44.2263 | 44.4688 |
CSP4J - MAC 2006-12-19 | 202331 | ? | 52.494 | 52.8607 |
sugar 0.40 | 202340 | ? | 373.56 | 374.04 |
galac 1 | 202332 | ? (problem) | 156.511 | 157.964 |
galacJ beta 1 | 202327 | ? (problem) | 164.985 | 165.049 |
BPrologCSPSolver70a 2006-12-13 | 202326 | ? (exit code) | 1588.34 | 1591.02 |
SAT4JCSP-CACHED 1.7 RC BF3 | 202334 | ? (MO) | 3.70544 | 3.62661 |
sat4jCSP 1.7 RC BF3 | 202335 | ? (MO) | 6.39903 | 6.17742 |
VALCSP 3.1 | 268300 | ? (MO) | 128.667 | 129.743 |
VALCSP 3.0 | 202333 | ? (MO) | 149.199 | 149.264 |
Mistral 2006-12-04 | 202338 | ? (TO) | 1800.06 | 1805.45 |
CSPtoSAT+minisat 0.3 | 202341 | ? (TO) | 1800.09 | 1804.35 |