CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/logic-synthesis/
normalized-9sym-b.xml

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/logic-synthesis/
normalized-9sym-b.xml
MD5SUM3ddc81d2279bd070325942116a416a76
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.995848
Satisfiable
(Un)Satisfiability was proved
Number of variables309
Number of constraints963
Maximum constraint arity87
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension963
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131062139SAT 0.995848 0.997139
MDG-noprobe 2008-06-271062129SAT 1.01584 1.02309
cpHydra k_101062144SAT 1.03984 1.04086
MDG-probe 2008-06-271062128SAT 1.10583 1.11452
cpHydra k_401062145SAT 1.11283 1.11987
bpsolver 2008-06-271062133SAT 1.24581 1.25813
Mistral-option 1.3141062138SAT 1.43878 1.43965
Minion/Tailor 2008-07-041106468SAT 2.13168 2.18265
casper zao1062140SAT 2.58461 2.58877
choco2_dwdeg 2008-06-261062135SAT 2.6496 2.71884
choco2_impwdeg 2008-06-261062134SAT 2.86556 2.9309
Abscon 112v4 AC1062142SAT 3.11752 3.33668
casper zito1062141SAT 3.63845 3.65611
Abscon 112v4 ESAC1062143SAT 3.9164 3.9821
Sugar v1.13+minisat1062132SAT 5.2532 5.41141
Sugar v1.13+picosat1062131SAT 9.79851 9.90055
Concrete + CSP4J - Tabu Engine 2008-05-301062125SAT 24.5853 24.771
Concrete + CSP4J - WMC Engine 2008-05-301062126SAT 26.6949 27.2403
Concrete + CPS4J 2008-05-301062127SAT 88.7775 89.6827
galac E1062137? (TO) 1800.07 1807.62
galac M1062136? (TO) 1800.08 1806.62
SAT4J CSP 2008-06-131062130? (TO) 1800.13 1809.06

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