CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/par/
normalized-par-16-5-c.xml

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/par/
normalized-par-16-5-c.xml
MD5SUMc4093367285502314c3a451f3d3e597e
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 benchmark1.61775
Satisfiable
(Un)Satisfiability was proved
Number of variables682
Number of constraints1701
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1701
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Sugar v1.13+picosat1060829SAT 1.61775 1.81667
Sugar v1.13+minisat1060830SAT 2.12868 2.25882
Minion/Tailor 2008-07-041106544SAT 2.46962 2.51752
galac M1060834SAT 3.07653 3.16239
galac E1060835SAT 3.40348 3.49486
SAT4J CSP 2008-06-131060828SAT 5.77212 5.88359
bpsolver 2008-06-271060831SAT 10.6284 10.7321
MDG-probe 2008-06-271060826SAT 24.5943 24.8368
Mistral-option 1.3141060836SAT 34.4408 34.7749
MDG-noprobe 2008-06-271060827SAT 42.6235 43.0747
choco2_dwdeg 2008-06-261060833SAT 42.8725 43.1333
choco2_impwdeg 2008-06-261060832SAT 43.3574 43.7984
casper zao1060838SAT 139.07 139.655
cpHydra k_101060842SAT 181.184 181.416
Abscon 112v4 AC1060840SAT 194.223 195.242
Abscon 112v4 ESAC1060841SAT 221.917 224.072
Concrete + CPS4J 2008-05-301060825SAT 302.746 305.672
Mistral-prime 1.3131060837SAT 328.516 329.88
cpHydra k_401060843SAT 339.471 341.4
casper zito1060839SAT 463.76 465.667
Concrete + CSP4J - WMC Engine 2008-05-301060824? (TO) 1800.05 1809.12
Concrete + CSP4J - Tabu Engine 2008-05-301060823? (TO) 1800.1 1812.52

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