CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/marc/
normalized-large-96-sat_ext.xml

Jump to solvers results

General information on the benchmark

Namecsp/marc/
normalized-large-96-sat_ext.xml
MD5SUM0832422d3adb16f478d8772816d8e677
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark18.7701
Satisfiable
(Un)Satisfiability was proved
Number of variables96
Number of constraints4560
Maximum constraint arity2
Maximum domain size96
Number of constraints which are defined in extension4560
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-prime 1.3131038287SAT 18.7701 18.8066
MDG-noprobe 2008-06-271038277SAT 20.3979 20.5736
cpHydra k_401046174SAT 20.3979 20.8221
cpHydra k_101045545SAT 20.4259 20.873
MDG-probe 2008-06-271038276SAT 20.4549 20.654
Mistral-option 1.3141038286SAT 21.1348 21.3542
Abscon 112v4 ESAC1044916SAT 22.6696 22.7224
Abscon 112v4 AC1044287SAT 25.1722 25.4599
spider 2008-06-141038273SAT 54.7257 54.8157
Concrete + CSP4J - Tabu Engine 2008-05-301038270SAT 94.9326 95.9399
Concrete + CSP4J - WMC Engine 2008-05-301038271SAT 97.0552 98.1669
Concrete + CPS4J 2008-05-301038272SAT 103.741 104.937
SAT4J CSP 2008-06-131038278SAT 113.776 113.849
casper zito1043658? 15.5606 15.6401
casper zao1043029? 15.6796 15.825
choco2_dwdeg 2008-06-261038283? (problem) 38.4702 38.9056
choco2_impwdeg 2008-06-261038282? (problem) 40.9988 41.5197
galac E1038285? (problem) 298.973 301.752
galac M1038284? (problem) 301.079 303.441
bpsolver 2008-06-271038281? (problem) 543.195 547.584
Minion/Tailor 2008-07-041104357? (exit code) 115.378 116.384
Sugar v1.13+picosat1038279? (MO) 36.89 40.3517
Sugar v1.13+minisat1038280? (MO) 39.3 39.9991

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