CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/fpga/
normalized-fpga-14-14.xml
MD5SUM23f020b74ee3bba6e33c4fdd4fa0c1f7
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 benchmark0.399938
Satisfiable
(Un)Satisfiability was proved
Number of variables294
Number of constraints238
Maximum constraint arity14
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension238
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
casper zito1062477SAT 0.399938 0.412718
casper zao1062476SAT 0.402938 0.410783
Mistral-prime 1.3131062475SAT 0.439932 0.449958
Abscon 112v4 ESAC1062479SAT 1.22781 1.25481
Concrete + CPS4J 2008-05-301062463SAT 1.3188 1.33149
choco2_impwdeg 2008-06-261062470SAT 1.35479 1.39373
Sugar v1.13+picosat1062467SAT 1.67674 1.72747
galac E1062473SAT 2.26465 2.31018
galac M1062472SAT 2.36164 2.42548
Abscon 112v4 AC1062478SAT 7.39088 7.45566
Mistral-option 1.3141062474SAT 9.2256 9.26721
Sugar v1.13+minisat1062468SAT 18.6482 18.8453
choco2_dwdeg 2008-06-261062471SAT 281.432 282.837
SAT4J CSP 2008-06-131062466SAT 786.124 793.929
bpsolver 2008-06-271062469SAT 897.856 900.326
cpHydra k_401062481SAT 1646.34 1653.54
MDG-noprobe 2008-06-271062465? (TO) 1800.01 1805.31
Concrete + CSP4J - WMC Engine 2008-05-301062462? (TO) 1800.02 1803.12
cpHydra k_101062480? (TO) 1800.05 1801.63
Minion/Tailor 2008-07-041106326? (TO) 1800.05 1808.51
Concrete + CSP4J - Tabu Engine 2008-05-301062461? (TO) 1800.08 1807.22
MDG-probe 2008-06-271062464? (TO) 1800.1 1806.51

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