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

Result page for benchmark
fisher/
FISCHER11-10-fair.xml

Jump to solvers results

General information on the benchmark

Namefisher/
FISCHER11-10-fair.xml
MD5SUM95c64e0b9a42254302998017c573fc92
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1570.87
SatisfiableNO
(Un)Satisfiability was proved
Number of variables29004
Number of constraints27477
Maximum constraint arity3
Maximum domain size20001
Number of constraints which are defined in extension0
Number of constraints which are defined in intension27477
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
BPrologCSPSolver70a 2006-12-13237109UNSAT 1570.87 1578.02
CSP4J - MAC 2006-12-19237114? 4.06338 4.22456
sat4jCSP 1.7 RC BF3237117? 4.15537 4.28673
SAT4JCSP-CACHED 1.7 RC BF3237116? 4.17137 4.25848
CSP4J - Combo 2006-12-19237113? 4.30435 4.37046
CSP4J - MAC 2007-01-16272428? 5.07023 5.16289
Abscon 109 ESAC237111? 7.33788 7.44613
Abscon 109 AC237112? 7.48786 7.64626
sugar 0.40237120? 1373.75 1467.07
Mistral 2006-12-04237118? (MO) 1.59476 1.69139
Tramontane 2006-12-04237119? (MO) 1.68274 1.70938
galac 1237115? (TO) 1800.08 1806.15
galacJ beta 1237110? (TO) 1800.09 1810.98
CSPtoSAT+minisat 0.3237121Signal 6.89695 12.9138