Name | csp/allsquaresUnsat/ normalized-squaresUnsat-16-16.xml |
MD5SUM | 1b3bd03ab78a97f788d7f34f7afec759 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.063989 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 512 |
Number of constraints | 603 |
Maximum constraint arity | 16 |
Maximum domain size | 38 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 481 |
Global constraints used (with number of constraints) | cumulative(2),weightedsum(120) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1040985 | UNSAT | 0.063989 | 0.0725891 |
casper zito | 1043863 | UNSAT | 0.064989 | 0.0730031 |
cpHydra k_10 | 1045750 | UNSAT | 0.080986 | 0.085692 |
MDG-noprobe 2008-06-27 | 1040977 | UNSAT | 0.081986 | 0.130957 |
cpHydra k_40 | 1046379 | UNSAT | 0.081986 | 0.0876479 |
Mistral-option 1.314 | 1040984 | UNSAT | 0.804877 | 0.816444 |
casper zao | 1043234 | UNSAT | 1.23181 | 1.24922 |
choco2_dwdeg 2008-06-26 | 1040983 | UNSAT | 1.42778 | 1.49222 |
choco2_impwdeg 2008-06-26 | 1040982 | UNSAT | 1.59676 | 1.6305 |
MDG-probe 2008-06-27 | 1040976 | UNSAT | 1.60975 | 1.62732 |
Sugar v1.13+minisat | 1040980 | UNSAT | 2.54861 | 2.65245 |
Sugar v1.13+picosat | 1040979 | UNSAT | 4.44532 | 4.6344 |
bpsolver 2008-06-27 | 1040981 | UNSAT | 1345.01 | 1350.43 |
Abscon 112v4 ESAC | 1045121 | ? | 1.11883 | 1.14538 |
Abscon 112v4 AC | 1044492 | ? | 1.24881 | 1.30678 |
SAT4J CSP 2008-06-13 | 1040978 | ? | 5.46617 | 5.73809 |
Minion/Tailor 2008-07-04 | 1104562 | ? (exit code) | 0.6499 | 0.733881 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: