CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/aim/
normalized-aim-200-1-6-4.xml

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/aim/
normalized-aim-200-1-6-4.xml
MD5SUMb26521bd365b796d3c1c399220593a34
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.05884
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints520
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension520
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Sugar v1.13+picosat1063160SAT 1.05884 1.11955
Sugar v1.13+minisat1063161SAT 1.20681 1.31841
galac M1063165SAT 1.89071 1.98165
galac E1063166SAT 2.09768 2.21486
SAT4J CSP 2008-06-131063159SAT 2.33564 2.38175
Abscon 112v4 ESAC1063172SAT 3.32249 3.38534
Abscon 112v4 AC1063171SAT 3.64944 3.70324
Mistral-option 1.3141063167SAT 5.82511 5.85755
cpHydra k_101063173SAT 11.1313 11.2785
choco2_dwdeg 2008-06-261063164SAT 14.0259 14.0573
choco2_impwdeg 2008-06-261063163SAT 14.8457 15.566
casper zito1063170SAT 15.3667 15.4426
Concrete + CPS4J 2008-05-301063156SAT 22.2096 22.3336
Mistral-prime 1.3131063168SAT 24.0993 24.2873
Minion/Tailor 2008-07-041106293SAT 26.301 26.5224
cpHydra k_401063174SAT 29.6455 29.9432
MDG-noprobe 2008-06-271063158SAT 30.5014 30.6576
casper zao1063169SAT 44.5712 44.8247
MDG-probe 2008-06-271063157SAT 261.23 263.821
Concrete + CSP4J - Tabu Engine 2008-05-301063154? (TO) 1800.02 1820.22
Concrete + CSP4J - WMC Engine 2008-05-301063155? (TO) 1800.04 1802.62
bpsolver 2008-06-271063162? (TO) 1800.05 1806.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 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 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0
1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 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 1 0 1 0
0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1
1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 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 1 0 1 0 0 1 0 1 0 1 1 0 1 0
0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 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 0 1 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