CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/
circuits/normalized-C432.xml

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/
circuits/normalized-C432.xml
MD5SUM1f3200b6403048837fb3c25886913e0e
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.330948
Satisfiable
(Un)Satisfiability was proved
Number of variables771
Number of constraints1940
Maximum constraint arity42
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1940
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-probe 2008-06-271049451SAT 0.330948 0.337858
casper zito1049464SAT 0.39294 0.40056
casper zao1049463SAT 0.397939 0.412806
MDG-noprobe 2008-06-271049452SAT 0.410936 0.417669
cpHydra k_101049467SAT 0.410937 0.424065
cpHydra k_401049468SAT 0.414936 0.42783
Mistral-prime 1.3131049462SAT 0.416936 0.429003
bpsolver 2008-06-271049456SAT 0.640902 0.659468
Minion/Tailor 2008-07-041104743SAT 1.9677 2.01693
Abscon 112v4 ESAC1049466SAT 2.46163 2.5079
Abscon 112v4 AC1049465SAT 2.6516 2.71131
choco2_dwdeg 2008-06-261049458SAT 2.80957 2.87426
Sugar v1.13+minisat1049455SAT 3.01354 3.11641
Sugar v1.13+picosat1049454SAT 3.08553 3.18606
choco2_impwdeg 2008-06-261049457SAT 3.13852 3.19763
Concrete + CSP4J - Tabu Engine 2008-05-301049448SAT 46.8409 47.3269
Concrete + CSP4J - WMC Engine 2008-05-301049449SAT 49.2895 49.7842
Mistral-option 1.3141049461SAT 73.6028 73.9674
Concrete + CPS4J 2008-05-301049450SAT 106.913 107.986
galac M1049459? (TO) 1800.02 1808.92
galac E1049460? (TO) 1800.04 1801.22
SAT4J CSP 2008-06-131049453? (TO) 1800.15 1814.87

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