CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/allsquaresUnsat/
normalized-squaresUnsat-7-7.xml

Jump to solvers results

General information on the benchmark

Namecsp/allsquaresUnsat/
normalized-squaresUnsat-7-7.xml
MD5SUMfa34196b929b307ed9146ae56edccd3c
Bench CategoryGLOBAL (global constraints)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.011997
Satisfiable
(Un)Satisfiability was proved
Number of variables98
Number of constraints108
Maximum constraint arity7
Maximum domain size12
Number of constraints which are defined in extension0
Number of constraints which are defined in intension85
Global constraints used (with number of constraints)cumulative(2),weightedsum(21)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-probe 2008-06-271040876UNSAT 0.011997 0.0206171
casper zito1043853UNSAT 0.013997 0.0162769
Mistral-option 1.3141040884UNSAT 0.013997 0.0200869
MDG-noprobe 2008-06-271040877UNSAT 0.014997 0.0202559
Mistral-prime 1.3131040885UNSAT 0.014997 0.020577
cpHydra k_401046369UNSAT 0.024996 0.0320189
cpHydra k_101045740UNSAT 0.026995 0.031575
bpsolver 2008-06-271040881UNSAT 0.046992 0.05479
casper zao1043224UNSAT 0.205967 0.212612
choco2_dwdeg 2008-06-261040883UNSAT 0.688894 0.734628
choco2_impwdeg 2008-06-261040882UNSAT 0.702893 0.735618
Sugar v1.13+picosat1040879UNSAT 0.946855 0.978351
Sugar v1.13+minisat1040880UNSAT 1.07484 1.1747
Abscon 112v4 AC1044482? 0.668898 0.739032
Abscon 112v4 ESAC1045111? 0.674896 0.688695
SAT4J CSP 2008-06-131040878? 1.79473 1.93203
Minion/Tailor 2008-07-041104552? (exit code) 0.379941 0.433461

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found: