Name | tightness/tightness0.9/ rand-2-40-180-84-900-15_ext.xml |
MD5SUM | b0f833c6013824edaf84bd63c190d30c |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 3.14952 |
Satisfiable | NO |
(Un)Satisfiability was proved | NO |
Number of variables | 40 |
Number of constraints | 84 |
Maximum constraint arity | 2 |
Maximum domain size | 180 |
Number of constraints which are defined in extension | 84 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 109 AC | 226005 | UNSAT | 3.14952 | 3.21442 |
Abscon 109 ESAC | 226004 | UNSAT | 3.37549 | 3.43222 |
buggy_2_5 2007-01-08 | 226013 | UNSAT | 4.91825 | 4.9566 |
buggy_2_5_s 2007-01-08 | 226012 | UNSAT | 5.08623 | 5.71712 |
CSP4J - MAC 2007-01-16 | 271831 | UNSAT | 6.90895 | 6.95232 |
VALCSP 3.1 | 269045 | UNSAT | 14.6508 | 14.6967 |
VALCSP 3.0 | 226009 | UNSAT | 15.2347 | 15.368 |
Mistral 2006-12-04 | 226014 | UNSAT | 18.4932 | 18.6518 |
Tramontane 2006-12-04 | 226015 | UNSAT | 18.7432 | 18.7854 |
CSP4J - MAC 2006-12-19 | 226007 | UNSAT | 27.7678 | 27.8546 |
galacJ beta 1 | 225997 | UNSAT | 44.1593 | 44.669 |
sat4jCSP 1.7 RC BF3 | 226011 | UNSAT | 50.3004 | 48.7698 |
SAT4JCSP-CACHED 1.7 RC BF3 | 226010 | UNSAT | 54.8407 | 55.4739 |
galac 1 | 226008 | UNSAT | 74.3007 | 74.9697 |
CSP4J - Combo 2006-12-19 | 226006 | UNSAT | 96.4643 | 97.3802 |
rjw-solver 2006-12-09 | 225996 | ? (problem) | 0.031994 | 0.0375291 |
Diarmuid-wtdi 2006-12-21 | 225992 | ? (problem) | 0.033993 | 0.04201 |
Diarmuid-rndi 2007-01-22 | 286727 | ? (problem) | 0.034993 | 0.039962 |
Diarmuid-rndi 2006-12-21 | 225993 | ? (problem) | 0.034994 | 0.0387709 |
rjw-solver 2007-01-21 | 283789 | ? (problem) | 0.034994 | 0.0393949 |
CSPtoSAT+minisat 0.3 | 226017 | ? (MO) | 7.2059 | 7.29226 |
BPrologCSPSolver70a 2006-12-13 | 225994 | ? (TO) | 1800.12 | 1806.52 |
sugar 0.40 | 226016 | ? (TO) | 1800.97 | 1812.6 |