CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/niklas/
normalized-p0282.xml

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/niklas/
normalized-p0282.xml
MD5SUM6ff0e768af3ecfe7353aa428f63bc1dd
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.066989
Satisfiable
(Un)Satisfiability was proved
Number of variables282
Number of constraints221
Maximum constraint arity57
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension221
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131062790SAT 0.066989 0.0746601
MDG-probe 2008-06-271062779SAT 0.068988 0.0748559
Mistral-option 1.3141062789SAT 0.069988 0.070567
MDG-noprobe 2008-06-271062780SAT 0.070988 0.0779069
cpHydra k_101062795SAT 0.082986 0.0937201
cpHydra k_401062796SAT 0.083986 0.101532
bpsolver 2008-06-271062784SAT 0.152976 0.166789
casper zito1062792SAT 0.599908 0.605063
casper zao1062791SAT 0.632902 0.646249
Minion/Tailor 2008-07-041106535SAT 0.97785 1.01277
choco2_dwdeg 2008-06-261062786SAT 1.11283 1.15777
choco2_impwdeg 2008-06-261062785SAT 1.23281 1.26657
Sugar v1.13+minisat1062783SAT 35.9575 37.0144
Abscon 112v4 AC1062793SAT 50.8123 51.1267
Concrete + CPS4J 2008-05-301062778SAT 130.406 131.109
Abscon 112v4 ESAC1062794SAT 148.827 150.195
Sugar v1.13+picosat1062782SAT 156.52 160.126
Concrete + CSP4J - WMC Engine 2008-05-301062777SAT 254.761 256.062
Concrete + CSP4J - Tabu Engine 2008-05-301062776SAT 255.19 256.496
galac E1062788? (problem) 72.591 74.2589
galac M1062787? (problem) 73.4658 74.1855
SAT4J CSP 2008-06-131062781? (TO) 1802.07 1811.65

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