[SMTCOMP] new benchmarks

Leonardo de Moura demoura at csl.sri.com
Fri Jun 9 13:24:32 EDT 2006


Hi,

Hyondeuk (Univ. Colorado at Boulder) submitted several benchmarks  
based on the job shop scheduling
problem. They can be downloaded at:

http://www.csl.sri.com/users/demoura/smt-comp/benchmarks.shtml

We also added a link to last year QF_RDL benchmarks.

Leonardo




More information about the SMT-COMP mailing list