problem(STRATCOMP-300.3)
files(stratcomp.query stratcomp-300.3)
options(-n=1)
description(STRATCOMP of increasing size. First model.)

problem(STRATCOMP-420.5)
files(stratcomp.query stratcomp-420.5)
options(-n=1)

problem(STRATCOMP-550.1)
files(stratcomp.query stratcomp-550.1)
options(-n=1)

problem(STRATCOMP-550.4)
files(stratcomp.query stratcomp-550.4)
options(-n=1)

problem(STRATCOMP-580.2)
files(stratcomp.query stratcomp-580.2)
options(-n=1)

problem(STRATCOMP-670.4)
files(stratcomp.query stratcomp-670.4)
options(-n=1)

problem(STRATCOMP-750.1)
files(stratcomp.query stratcomp-750.1)
options(-n=1)

problem(STRATCOMP-770.2)
files(stratcomp.query stratcomp-770.2)
options(-n=1)

problem(STRATCOMP-790.1)
files(stratcomp.query stratcomp-790.1)
options(-n=1)

problem(STRATCOMP-840.2)
files(stratcomp.query stratcomp-840.2)
options(-n=1)


problem(CONF-PLAN[3])
files(conformantPlan)
options(-n=1 -N=3)
description(Conformant planning with 3 time-steps, no model exits)
description(From http://wwwinfo.deis.unical.it/~frank/Planning)

problem(CONF-PLAN[4])
files(conformantPlan)
options(-n=1 -N=4)
description(Conformant planning with 4 time-steps, one model)

problem(COND-PLAN[25])
files(conditionalPlan)
options(-n=1 -N=25)
description(Conditional planning with 25 time-steps, one model)


problem(2QBF-15-15-30-3)
files(2qbf_15_15_30_3.dl)
options(-FB)

problem(2QBF_20_1800_4000_3)
files(2qbf_20_1800_4000_3.dl)
options(-FB)

problem(2QBF_22_22_70_8)
files(2qbf_22_22_70_8.dl)
options(-FB)

problem(2QBF_30_4000_8000_3)
files(2qbf_30_4000_8000_3.dl)
options(-FB)

problem(2QBF_400_400_250_3)
files(2qbf_400_400_250_3.dl)
options(-FB)

problem(2QBF_500_500_280_3)
files(2qbf_500_500_280_3.dl)
options(-FB)


problem(MIN-3SAT-200-false)
files(dlp-min-3sat-200.dl)
options(-n=1)

problem(MIN-3SAT-220-true)
files(dlp-min-3sat-220.dl)
options(-n=1)

problem(MIN-3SAT-240-false)
files(dlp-min-3sat-240.dl)
options(-n=1)
