Name | csp/allsquaresUnsat/ normalized-squaresUnsat-7-7.xml |
MD5SUM | fa34196b929b307ed9146ae56edccd3c |
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.011997 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 98 |
Number of constraints | 108 |
Maximum constraint arity | 7 |
Maximum domain size | 12 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 85 |
Global constraints used (with number of constraints) | cumulative(2),weightedsum(21) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MDG-probe 2008-06-27 | 1040876 | UNSAT | 0.011997 | 0.0206171 |
casper zito | 1043853 | UNSAT | 0.013997 | 0.0162769 |
Mistral-option 1.314 | 1040884 | UNSAT | 0.013997 | 0.0200869 |
MDG-noprobe 2008-06-27 | 1040877 | UNSAT | 0.014997 | 0.0202559 |
Mistral-prime 1.313 | 1040885 | UNSAT | 0.014997 | 0.020577 |
cpHydra k_40 | 1046369 | UNSAT | 0.024996 | 0.0320189 |
cpHydra k_10 | 1045740 | UNSAT | 0.026995 | 0.031575 |
bpsolver 2008-06-27 | 1040881 | UNSAT | 0.046992 | 0.05479 |
casper zao | 1043224 | UNSAT | 0.205967 | 0.212612 |
choco2_dwdeg 2008-06-26 | 1040883 | UNSAT | 0.688894 | 0.734628 |
choco2_impwdeg 2008-06-26 | 1040882 | UNSAT | 0.702893 | 0.735618 |
Sugar v1.13+picosat | 1040879 | UNSAT | 0.946855 | 0.978351 |
Sugar v1.13+minisat | 1040880 | UNSAT | 1.07484 | 1.1747 |
Abscon 112v4 AC | 1044482 | ? | 0.668898 | 0.739032 |
Abscon 112v4 ESAC | 1045111 | ? | 0.674896 | 0.688695 |
SAT4J CSP 2008-06-13 | 1040878 | ? | 1.79473 | 1.93203 |
Minion/Tailor 2008-07-04 | 1104552 | ? (exit code) | 0.379941 | 0.433461 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: