CLib : Configuration Benchmarks Library

Maintained by CLA group @ IT-University of Copenhagen

 

 

Configuration Benchmarks

 

Note: Many of the benchmarks are in Configit language. For some instances, corresponding ILOG Solver C++ codes  are also available. CP refers to CLab format.

 

  1. Renault [1]               (Configit / ILOG / CP ) (ILOG requires renault.csp)

  2. Bike                         (Configit / ILOG)

  3. PC                           (Configit / ILOG / CP )

  4. PSR [2]                   (ILOG)

  5. Parity32_13 [3]       (ILOG)

  6. Big-PC                    (Configit / CP )

  7. ESVS [4]                (Configit / ILOG / CP)

  8. FS [4]                     (Configit / ILOG / CP)

  9. FX [4]                    (Configit / ILOG)

  10. Machine [4]            (Configit / ILOG)   

  11. C169_FV [5]         (Configit / ILOG)

  12. C211_FS [5]          (Configit / ILOG)

  13. C250_FW [5]        (Configit / ILOG)

  14. C638_FVK [5]      (Configit / ILOG)

  15. large-partial [6]                           (CP)  
  16. large2 [6]                                   (CP)
  17. complex [6]                               (CP
  18. 1-32.1 [6]                                 (CP)
  19. 43 Aralia FaultTrees  [7]            (CP)
  20. PC2                                (CP )

  21. Bike2                              (CP)

  All the benchmark files are also in a single file  (clib-all.zip)

 

References

[1] Amilhastre, J., Fargier, H., Marquis, P.: Consistency restoration and explanations in dynamic CSPs-application to configuration. Artificial Intelligence (1-2) (2002) 199--234  ftp://fpt.irit.fr/pub/IRIT/RPDMP/Configuration/

[2] Thiebaux, S., Cordier, M.O.: Supply restoration in power distribution systems -- a benchmark for planning under uncertainty. In Pre-Proceedings of the 6th European Conference on Planning (ECP-01). (2001) 85--96

[3] Parity-Function: ftp://dimacs.rutgers.edu/pub/challenge/satisfiability/contributed/crawford/README

[4] Tiihonen, J., Soininen, T., Niemela, I., Sulonen, R.: Empirical testing of a weight constraint rule based configurator. In ECAI 2002 Configuration Workshop. (2002) 17--22 http://www.soberit.hut.fi/pdmg/Empirical/index.html

[5] Sinz, C., Kaiser, A., Küchlin, W.: Formal methods for the validation of automotive product configuration data. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 17 (2003) 75--97 Special issue on configuration http://www-sr.informatik.uni-tuebingen.de/~sinz/DC/]

[6] Jensen, R., Lars, S.: Power Supply Restoration, Master's thesis, IT University of Copenhagen, January 2005

[7] Fault trees distributed by Antoine Rauzy at: http://iml.univ-mrs.fr/~arauzy/aralia/benchmark.html

 

 


Related Conferences / Workshops

(Only DBLP links, google for current conference webpages)

International Conference on Principles and Practice of Constraint Programming (CP)

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR)

Annual Configuration Workshop (Held along with conferences like IJCAI, AAAI, ECAI)

ACM Symposium on Applied Computing (SAC) (Special Constraints Track)

National Conference on Artificial Intelligence (AAAI)

International Joint Conference on Artificial Intelligence (IJCAI)

Eureopean Conference on Artificial Intelligence (ECAI)

IEEE International Conference on Tools with Artificial Intelligence (ICTAI)

FLAIRS Conference (Special Constraints Track)

International Conference on Theory and Applications of Satisfiability Testing (SAT)

PETO-2004

ERCIM/CoLogNet Working Group on Constraints Workshop

Workshop on (Constraint) Logic Programming

CADE


Journals

Constraints - An International Journal (CONSTRAINTS)

ACM Transactions on Computational Logic (TOCL)

Journal of Automated Reasoning (JAR)

Journal of Artificial Intelligence Research (JAIR)

Artificial Intelligence (AI Journal)

 


Publicly available Tools/Libraries

CLab

Tree-of-BDDs (ToB) compiler

Mozart-Oz

Gecode

ECLiPSe (Free academic license)

Dash Optimization (Free academic license)


 

Companies

 

Configuration Companies

Configit Software

Array Technology

Attar Software

Selectica

Tacton

ILOG (Solver / Configurator)

Koalog Configurator

Configura

Configure One

SAP Product Configurator

PeopleSoft (Acquired Calico Technology)
Oracle Configurator

Configuration Solutions

Trilogy

ConfigWorks

Edgenet

Datadialogs

Camos Configurator

EAS -Engineering Automation Systems

DynaSel (arcplan)

Visimation

Cisco

WEBCOM

Technicon

X-Configurator

Best Software

Systems Online

Concert Configurator

 

Related Companies

SiCStus

ECLiPSe

Dash Optimization

 


Research Groups

DTU

SICS

 


Related Websites/MailingLists

Constraint Programming (CP) online

CoLogNet-Constraint Logic Programming

comp.constraints

comp.ai

comp.theory

 


Consulting Companies on Configuration

 

Gartner

      Constraints Still Key for Product Configurator Deployments (June 2004)

       Vendor Rating- Selectica (May 2004)

       Product Configurators Enhance Revenue and Reduce Costs  (June 2001)

       Search for Sales Configuration documents  

 

Bourke Consulting Associates 

      Product Configurator Software: Understanding the differences (2002)

      Product Configurators: Key Enablers for Mass Customization (2000)

     Configurators: A Status Report  (1998)

   

 


Send comments, queries, and suggestions to Sathiamoorthy Subbarayan (sathi at itu dot dk)