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

Result page for benchmark
dimacs/
jnhUnsat/jnh216_ext.xml

Jump to solvers results

General information on the benchmark

Namedimacs/
jnhUnsat/jnh216_ext.xml
MD5SUM79cc2a994be7fd7435ac9b095e1b5c46
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.070989
SatisfiableNO
(Un)Satisfiability was proved
Number of variables100
Number of constraints797
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension797
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
CSPtoSAT+minisat 0.3244446UNSAT 0.070989 0.0847849
Mistral 2006-12-04244443UNSAT 0.247962 0.250499
Tramontane 2006-12-04244444UNSAT 0.318951 0.322823
sugar 0.40244445UNSAT 1.14 1.27318
Abscon 109 AC244437UNSAT 1.18382 1.25011
Abscon 109 ESAC244436UNSAT 1.20782 1.22833
CSP4J - MAC 2006-12-19244439UNSAT 1.48877 1.55965
CSP4J - MAC 2007-01-16272850UNSAT 1.61675 1.67039
CSP4J - Combo 2006-12-19244438UNSAT 1.74673 1.79824
sat4jCSP 1.7 RC BF3244442UNSAT 1.9637 1.2631
SAT4JCSP-CACHED 1.7 RC BF3244441UNSAT 2.02769 1.45033
BPrologCSPSolver70a 2006-12-13244427UNSAT 2.45163 2.45748
galacJ beta 1244429UNSAT 3.9434 3.97785
galac 1244440UNSAT 4.27335 4.36372