CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/par/
normalized-par-8-2-c.xml

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/par/
normalized-par-8-2-c.xml
MD5SUMa8094f8ee324219ec2634763a2510fee
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.025995
Satisfiable
(Un)Satisfiability was proved
Number of variables136
Number of constraints338
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension338
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-noprobe 2008-06-271060785SAT 0.025995 0.0339221
Mistral-prime 1.3131060795SAT 0.027995 0.0401071
casper zito1060797SAT 0.034994 0.0364539
cpHydra k_401060801SAT 0.036993 0.0441719
cpHydra k_101060800SAT 0.036993 0.0377821
casper zao1060796SAT 0.051991 0.05926
Mistral-option 1.3141060794SAT 0.071988 0.0779869
MDG-probe 2008-06-271060784SAT 0.082986 0.0830671
bpsolver 2008-06-271060789SAT 0.100984 0.108798
Minion/Tailor 2008-07-041106553SAT 0.686894 0.61593
Sugar v1.13+minisat1060788SAT 0.873866 0.984795
Sugar v1.13+picosat1060787SAT 1.00785 1.07737
Concrete + CPS4J 2008-05-301060783SAT 1.01784 1.04351
Abscon 112v4 AC1060798SAT 1.02384 1.04573
Abscon 112v4 ESAC1060799SAT 1.14382 1.17198
choco2_dwdeg 2008-06-261060791SAT 1.17882 1.21401
choco2_impwdeg 2008-06-261060790SAT 1.27681 1.31964
galac M1060792SAT 1.49877 1.56176
Concrete + CSP4J - WMC Engine 2008-05-301060782SAT 1.70174 1.74388
galac E1060793SAT 1.73173 1.79746
SAT4J CSP 2008-06-131060786SAT 1.78673 1.81769
Concrete + CSP4J - Tabu Engine 2008-05-301060781SAT 2.42963 2.48218

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:
1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0
1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1