Detail page for ASP_Program

Detail page for ASP_Program_Inclusion family


	Submitter:	Martina Seidl

	Suite:	Seidl

	Domain:	Miscellanea

	Description:	200 formulas of depth 4 generated along the lines of [Tompits and Woltran, ICLP 2005], in 4 variants -S/T - type of encoding, edau/adeu - shifting strategy.

	Number of instances:	200

	Results:	2016 - Track 8 2010 - Track 4 2006 - Track 1

	Instances:	S-adeu-0 S-adeu-1 S-adeu-10 S-adeu-11 S-adeu-12 S-adeu-13 S-adeu-14 S-adeu-15 S-adeu-16 S-adeu-17 S-adeu-18 S-adeu-19 S-adeu-2 S-adeu-20 S-adeu-21 S-adeu-22 S-adeu-23 S-adeu-24 S-adeu-25 S-adeu-26 S-adeu-27 S-adeu-28 S-adeu-29 S-adeu-3 S-adeu-30 S-adeu-31 S-adeu-32 S-adeu-33 S-adeu-34 S-adeu-35 S-adeu-36 S-adeu-37 S-adeu-38 S-adeu-39 S-adeu-4 S-adeu-40 S-adeu-41 S-adeu-42 S-adeu-43 S-adeu-44 S-adeu-45 S-adeu-46 S-adeu-47 S-adeu-48 S-adeu-49 S-adeu-5 S-adeu-6 S-adeu-7 S-adeu-8 S-adeu-9 S-edau-0 S-edau-1 S-edau-10 S-edau-11 S-edau-12 S-edau-13 S-edau-14 S-edau-15 S-edau-16 S-edau-17 S-edau-18 S-edau-19 S-edau-2 S-edau-20 S-edau-21 S-edau-22 S-edau-23 S-edau-24 S-edau-25 S-edau-26 S-edau-27 S-edau-28 S-edau-29 S-edau-3 S-edau-30 S-edau-31 S-edau-32 S-edau-33 S-edau-34 S-edau-35 S-edau-36 S-edau-37 S-edau-38 S-edau-39 S-edau-4 S-edau-40 S-edau-41 S-edau-42 S-edau-43 S-edau-44 S-edau-45 S-edau-46 S-edau-47 S-edau-48 S-edau-49 S-edau-5 S-edau-6 S-edau-7 S-edau-8 S-edau-9 T-adeu-0 T-adeu-1 T-adeu-10 T-adeu-11 T-adeu-12 T-adeu-13 T-adeu-14 T-adeu-15 T-adeu-16 T-adeu-17 T-adeu-18 T-adeu-19 T-adeu-2 T-adeu-20 T-adeu-21 T-adeu-22 T-adeu-23 T-adeu-24 T-adeu-25 T-adeu-26 T-adeu-27 T-adeu-28 T-adeu-29 T-adeu-3 T-adeu-30 T-adeu-31 T-adeu-32 T-adeu-33 T-adeu-34 T-adeu-35 T-adeu-36 T-adeu-37 T-adeu-38 T-adeu-39 T-adeu-4 T-adeu-40 T-adeu-41 T-adeu-42 T-adeu-43 T-adeu-44 T-adeu-45 T-adeu-46 T-adeu-47 T-adeu-48 T-adeu-49 T-adeu-5 T-adeu-6 T-adeu-7 T-adeu-8 T-adeu-9 T-edau-0 T-edau-1 T-edau-10 T-edau-11 T-edau-12 T-edau-13 T-edau-14 T-edau-15 T-edau-16 T-edau-17 T-edau-18 T-edau-19 T-edau-2 T-edau-20 T-edau-21 T-edau-22 T-edau-23 T-edau-24 T-edau-25 T-edau-26 T-edau-27 T-edau-28 T-edau-29 T-edau-3 T-edau-30 T-edau-31 T-edau-32 T-edau-33 T-edau-34 T-edau-35 T-edau-36 T-edau-37 T-edau-38 T-edau-39 T-edau-4 T-edau-40 T-edau-41 T-edau-42 T-edau-43 T-edau-44 T-edau-45 T-edau-46 T-edau-47 T-edau-48 T-edau-49 T-edau-5 T-edau-6 T-edau-7 T-edau-8 T-edau-9

The Quantified Boolean Formulas Satisfiability Library

Detail page for ASP_Program_Inclusion family