# Mandatory!
Author: Marius Schneider
Date: 19.12.2011
Only Ground: Yes
Format: ASP
System: clasp
Optimization: No
Source: combination of many asp problems (including asp competition '09 and '11); all instances are found in the old "Benchmarks" directory 

# Optional!
Runtime Range: 10-900 (clasp-2.0.X --heu=Berkmin/Vsids/Vmtf)

Misc:
- filtered instances (filtered from more than 2000 instances)
- measured: Vsids, Berkmin, Vmtf (cutoff: 900sec)
- instances is accepted if:
  - minimal runtime is greater than 10 sec (not trivial instance)
  - maximal runtime is smaller than 900 sec (instance is solveable)
  - quotient of maximal and minimal runtime is greater than 2
- per class are only 20 instance choosen (first in list)
 
