CSP 2006 Competition (second round): solvers results per benchmarks

Result page for benchmark
pseudoSeries/
mps/mps-diamond.xml

Jump to solvers results

General information on the benchmark

NamepseudoSeries/
mps/mps-diamond.xml
MD5SUM0772a864c9f9c78b219076fefb748cc1
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.012997
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables2
Number of constraints4
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
VALCSP 3.1268628UNSAT 0.001998 0.00835594
VALCSP 3.0215774UNSAT 0.002998 0.00900388
Mistral 2006-12-04215779UNSAT 0.012997 0.0417979
Tramontane 2006-12-04215780UNSAT 0.012997 0.070602
CSPtoSAT+minisat 0.3215782UNSAT 0.012997 0.0145321
BPrologCSPSolver70a 2006-12-13215767UNSAT 0.019996 0.0212879
sugar 0.40215781UNSAT 0.045992 0.683148
buggy_2_5_s 2007-01-08215777UNSAT 0.053991 0.064681
buggy_2_5 2007-01-08215778UNSAT 0.05499 0.061889
CSP4J - MAC 2007-01-16271269UNSAT 0.354945 0.399047
CSP4J - Combo 2006-12-19215771UNSAT 0.359944 0.401942
CSP4J - MAC 2006-12-19215772UNSAT 0.364944 0.449779
galac 1215773UNSAT 0.528918 0.600861
galacJ beta 1215768UNSAT 0.567912 0.637107
Abscon 109 AC215770UNSAT 0.640901 0.676313
Abscon 109 ESAC215769UNSAT 0.6459 0.711987
sat4jCSP 1.7 RC BF3215776UNSAT 0.757883 0.646533
SAT4JCSP-CACHED 1.7 RC BF3215775UNSAT 0.776881 0.941607