CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/fpga/
normalized-fpga-20-18.xml

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/fpga/
normalized-fpga-20-18.xml
MD5SUM80bb5f47c095df2777b1f51d7863dd9b
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.86141
Satisfiable
(Un)Satisfiability was proved
Number of variables540
Number of constraints416
Maximum constraint arity20
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension416
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
choco2_impwdeg 2008-06-261062302SAT 3.86141 3.91544
galac E1062305SAT 4.56231 4.69938
Sugar v1.13+picosat1062299SAT 4.73028 4.87574
galac M1062304SAT 6.47601 6.61362
casper zao1062308SAT 26.489 26.6319
casper zito1062309SAT 30.5634 30.6972
Concrete + CPS4J 2008-05-301062295SAT 488.436 488.679
SAT4J CSP 2008-06-131062298? 198.63 200.726
cpHydra k_401062313? (TO) 1800.01 1820.03
bpsolver 2008-06-271062301? (TO) 1800.03 1809.11
Mistral-option 1.3141062306? (TO) 1800.04 1803.51
Concrete + CSP4J - Tabu Engine 2008-05-301062293? (TO) 1800.04 1809.02
Concrete + CSP4J - WMC Engine 2008-05-301062294? (TO) 1800.07 1800.82
choco2_dwdeg 2008-06-261062303? (TO) 1800.07 1808.16
cpHydra k_101062312? (TO) 1800.07 1814.43
Mistral-prime 1.3131062307? (TO) 1800.07 1808.11
Abscon 112v4 AC1062310? (TO) 1800.07 1811.65
MDG-probe 2008-06-271062296? (TO) 1800.07 1808.81
Sugar v1.13+minisat1062300? (TO) 1800.07 1803.72
MDG-noprobe 2008-06-271062297? (TO) 1800.09 1809.51
Minion/Tailor 2008-07-041106328? (TO) 1800.1 1807.41
Abscon 112v4 ESAC1062311? (TO) 1800.1 1805.28

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