CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/circuits/
normalized-cc.xml
MD5SUM3a70c915de3d60053e9f8df85a2da43e
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.024996
Satisfiable
(Un)Satisfiability was proved
Number of variables133
Number of constraints219
Maximum constraint arity31
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension219
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131049546SAT 0.024996 0.02605
MDG-noprobe 2008-06-271049536SAT 0.025995 0.034719
MDG-probe 2008-06-271049535SAT 0.027995 0.0345371
casper zito1049548SAT 0.028995 0.0358109
Mistral-option 1.3141049545SAT 0.029994 0.0363841
cpHydra k_401049552SAT 0.037993 0.0416201
casper zao1049547SAT 0.038993 0.0456391
cpHydra k_101049551SAT 0.038993 0.056239
bpsolver 2008-06-271049540SAT 0.083986 0.08375
Minion/Tailor 2008-07-041104747SAT 0.679896 0.713497
Sugar v1.13+minisat1049539SAT 0.943855 1.00908
Abscon 112v4 ESAC1049550SAT 1.03684 1.10036
Abscon 112v4 AC1049549SAT 1.04384 1.11692
Sugar v1.13+picosat1049538SAT 1.05484 1.43756
choco2_dwdeg 2008-06-261049542SAT 1.07983 1.09781
choco2_impwdeg 2008-06-261049541SAT 1.86785 1.00398
Concrete + CSP4J - WMC Engine 2008-05-301049533SAT 16.5455 16.7292
Concrete + CSP4J - Tabu Engine 2008-05-301049532SAT 16.7854 17.162
Concrete + CPS4J 2008-05-301049534SAT 76.0114 76.7574
galac M1049543? (TO) 1800 1813.83
galac E1049544? (TO) 1800.02 1804.92
SAT4J CSP 2008-06-131049537? (TO) 1800.18 1801.69

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