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

Result page for benchmark
ehi/ehi-90/
ehi-90-315-9_ext.xml

Jump to solvers results

General information on the benchmark

Nameehi/ehi-90/
ehi-90-315-9_ext.xml
MD5SUMd025c15bcc4cb92502401527a6a1269d
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.092985
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables315
Number of constraints4370
Maximum constraint arity2
Maximum domain size7
Number of constraints which are defined in extension4370
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
VALCSP 3.1268746UNSAT 0.091985 0.0981019
VALCSP 3.0219986UNSAT 0.092985 0.0930941
Mistral 2006-12-04219991UNSAT 0.375942 0.37986
Tramontane 2006-12-04219992UNSAT 0.444931 0.447125
CSPtoSAT+minisat 0.3219994UNSAT 0.615905 0.733983
buggy_2_5 2007-01-08219990UNSAT 0.686894 0.698824
buggy_2_5_s 2007-01-08219989UNSAT 0.699893 0.707571
Abscon 109 AC219982UNSAT 1.00985 1.06772
Abscon 109 ESAC219981UNSAT 1.05384 1.13136
rjw-solver 2006-12-09219979UNSAT 1.27581 1.2867
rjw-solver 2007-01-21283532UNSAT 1.39879 1.40867
Diarmuid-wtdi 2006-12-21219976UNSAT 1.53577 1.59252
galacJ beta 1219980UNSAT 1.66075 1.69346
CSP4J - MAC 2006-12-19219984UNSAT 3.00254 3.05811
CSP4J - MAC 2007-01-16271532UNSAT 3.13752 3.21754
CSP4J - Combo 2006-12-19219983UNSAT 3.15852 3.20291
sat4jCSP 1.7 RC BF3219988UNSAT 4.44632 4.55716
galac 1219985UNSAT 4.45932 4.65064
SAT4JCSP-CACHED 1.7 RC BF3219987UNSAT 4.46432 2.79117
sugar 0.40219993UNSAT 26.364 26.9752
Diarmuid-rndi 2006-12-21219977UNSAT 96.3314 96.4121
BPrologCSPSolver70a 2006-12-13219978UNSAT 205.464 205.626
Diarmuid-rndi 2007-01-22286470UNSAT 228.189 228.912