Skip to content

The benchmarks that were used in the evaluation of the lp2pb tool.

Notifications You must be signed in to change notification settings

wulfdewolf/lp2pb_benchmarks

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

21 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

lp2pb_benchmarks

The benchmarks that were used in the evaluation of the lp2pb tool.

Each family contains an encoding.asp file and an instances folder that contains the instances. The families are those of the 2015 ASP competition (except for track 4) and those of the 2017 ASP competition. Only decision and optimization problems were used. The 2017 selection was used for the instances.

The 'Combinatorial' folder contains some separate benchmark families that we created ourselves.

About

The benchmarks that were used in the evaluation of the lp2pb tool.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published