Detail page for Abduction family


	Submitter:	Florian Letombe

	Suite:	Letombe

	Domain:	Miscellanea

	Description:	Set of abduction problems computed from SAT instances and prenexed, closed and polited by qst.

	Number of instances:	303

	Results:	2018 - Track 5 2017 - Track 1 2017 - Track 2 2016 - Track 1 2016 - Track 2 2016 - Track 5 2016 - Track 6 2016 - Track 7 2010 - Track 1 2010 - Track 3 2008 - Track 1 2007 - Track 2

	Instances:	aim-100-1_6-yes1-1-00 aim-100-1_6-yes1-1-50 aim-100-1_6-yes1-1-90 aim-100-1_6-yes1-2-00 aim-100-1_6-yes1-2-50 aim-100-1_6-yes1-2-90 aim-100-1_6-yes1-3-00 aim-100-1_6-yes1-3-50 aim-100-1_6-yes1-3-90 aim-100-1_6-yes1-4-00 aim-100-1_6-yes1-4-50 aim-100-1_6-yes1-4-90 aim-100-2_0-yes1-1-00 aim-100-2_0-yes1-1-50 aim-100-2_0-yes1-1-90 aim-100-2_0-yes1-2-00 aim-100-2_0-yes1-2-50 aim-100-2_0-yes1-2-90 aim-100-2_0-yes1-3-00 aim-100-2_0-yes1-3-50 aim-100-2_0-yes1-3-90 aim-100-2_0-yes1-4-00 aim-100-2_0-yes1-4-50 aim-100-2_0-yes1-4-90 aim-100-3_4-yes1-1-00 aim-100-3_4-yes1-1-50 aim-100-3_4-yes1-1-90 aim-100-3_4-yes1-2-00 aim-100-3_4-yes1-2-50 aim-100-3_4-yes1-2-90 aim-100-3_4-yes1-3-00 aim-100-3_4-yes1-3-50 aim-100-3_4-yes1-3-90 aim-100-3_4-yes1-4-00 aim-100-3_4-yes1-4-50 aim-100-3_4-yes1-4-90 aim-100-6_0-yes1-1-00 aim-100-6_0-yes1-1-50 aim-100-6_0-yes1-1-90 aim-100-6_0-yes1-2-00 aim-100-6_0-yes1-2-50 aim-100-6_0-yes1-2-90 aim-100-6_0-yes1-3-00 aim-100-6_0-yes1-3-50 aim-100-6_0-yes1-3-90 aim-100-6_0-yes1-4-00 aim-100-6_0-yes1-4-50 aim-100-6_0-yes1-4-90 aim-200-1_6-yes1-1-00 aim-200-1_6-yes1-1-50 aim-200-1_6-yes1-1-90 aim-200-1_6-yes1-2-00 aim-200-1_6-yes1-2-50 aim-200-1_6-yes1-2-90 aim-200-1_6-yes1-3-00 aim-200-1_6-yes1-3-50 aim-200-1_6-yes1-3-90 aim-200-1_6-yes1-4-00 aim-200-1_6-yes1-4-50 aim-200-1_6-yes1-4-90 aim-200-2_0-yes1-1-00 aim-200-2_0-yes1-1-50 aim-200-2_0-yes1-1-90 aim-200-2_0-yes1-2-00 aim-200-2_0-yes1-2-50 aim-200-2_0-yes1-2-90 aim-200-2_0-yes1-3-00 aim-200-2_0-yes1-3-50 aim-200-2_0-yes1-3-90 aim-200-2_0-yes1-4-00 aim-200-2_0-yes1-4-50 aim-200-2_0-yes1-4-90 aim-200-3_4-yes1-1-00 aim-200-3_4-yes1-1-50 aim-200-3_4-yes1-1-90 aim-200-3_4-yes1-2-00 aim-200-3_4-yes1-2-50 aim-200-3_4-yes1-2-90 aim-200-3_4-yes1-3-00 aim-200-3_4-yes1-3-50 aim-200-3_4-yes1-3-90 aim-200-3_4-yes1-4-00 aim-200-3_4-yes1-4-50 aim-200-3_4-yes1-4-90 aim-200-6_0-yes1-1-00 aim-200-6_0-yes1-1-50 aim-200-6_0-yes1-1-90 aim-200-6_0-yes1-2-00 aim-200-6_0-yes1-2-50 aim-200-6_0-yes1-2-90 aim-200-6_0-yes1-3-00 aim-200-6_0-yes1-3-50 aim-200-6_0-yes1-3-90 aim-200-6_0-yes1-4-00 aim-200-6_0-yes1-4-50 aim-200-6_0-yes1-4-90 aim-50-1_6-yes1-1-00 aim-50-1_6-yes1-1-50 aim-50-1_6-yes1-1-90 aim-50-1_6-yes1-2-00 aim-50-1_6-yes1-2-50 aim-50-1_6-yes1-2-90 aim-50-1_6-yes1-3-00 aim-50-1_6-yes1-3-50 aim-50-1_6-yes1-3-90 aim-50-1_6-yes1-4-00 aim-50-1_6-yes1-4-50 aim-50-1_6-yes1-4-90 aim-50-2_0-yes1-1-00 aim-50-2_0-yes1-1-50 aim-50-2_0-yes1-1-90 aim-50-2_0-yes1-2-00 aim-50-2_0-yes1-2-50 aim-50-2_0-yes1-2-90 aim-50-2_0-yes1-3-00 aim-50-2_0-yes1-3-50 aim-50-2_0-yes1-3-90 aim-50-2_0-yes1-4-00 aim-50-2_0-yes1-4-50 aim-50-2_0-yes1-4-90 aim-50-3_4-yes1-1-00 aim-50-3_4-yes1-1-50 aim-50-3_4-yes1-1-90 aim-50-3_4-yes1-2-00 aim-50-3_4-yes1-2-50 aim-50-3_4-yes1-2-90 aim-50-3_4-yes1-3-00 aim-50-3_4-yes1-3-50 aim-50-3_4-yes1-3-90 aim-50-3_4-yes1-4-00 aim-50-3_4-yes1-4-50 aim-50-3_4-yes1-4-90 aim-50-6_0-yes1-1-00 aim-50-6_0-yes1-1-50 aim-50-6_0-yes1-1-90 aim-50-6_0-yes1-2-00 aim-50-6_0-yes1-2-50 aim-50-6_0-yes1-2-90 aim-50-6_0-yes1-3-00 aim-50-6_0-yes1-3-50 aim-50-6_0-yes1-3-90 aim-50-6_0-yes1-4-00 aim-50-6_0-yes1-4-50 aim-50-6_0-yes1-4-90 f600-00 f600-50 f600-90 ii32b1-00 ii32b1-50 ii32b1-90 ii32b2-00 ii32b2-50 ii32b2-90 ii32c1-00 ii32c1-50 ii32c1-90 ii32c2-00 ii32c2-50 ii32c2-90 ii32c3-00 ii32c3-50 ii32c3-90 ii32d1-00 ii32d1-50 ii32d1-90 ii32e1-00 ii32e1-50 ii32e1-90 ii32e2-00 ii32e2-50 ii32e2-90 ii8a1-00 ii8a1-50 ii8a1-90 ii8a2-00 ii8a2-50 ii8a2-90 ii8a3-00 ii8a3-50 ii8a3-90 ii8a4-00 ii8a4-50 ii8a4-90 ii8b1-00 ii8b1-50 ii8b1-90 ii8c1-00 ii8c1-50 ii8c1-90 ii8d1-00 ii8d1-50 ii8d1-90 ii8e1-00 ii8e1-50 ii8e1-90 jnh1-00 jnh1-50 jnh1-90 jnh12-00 jnh12-50 jnh12-90 jnh17-00 jnh17-50 jnh17-90 jnh201-00 jnh201-50 jnh201-90 jnh204-00 jnh204-50 jnh204-90 jnh205-00 jnh205-50 jnh205-90 jnh207-00 jnh207-50 jnh207-90 jnh209-00 jnh209-50 jnh209-90 jnh210-00 jnh210-50 jnh210-90 jnh212-00 jnh212-50 jnh212-90 jnh213-00 jnh213-50 jnh213-90 jnh217-00 jnh217-50 jnh217-90 jnh218-00 jnh218-50 jnh218-90 jnh220-00 jnh220-50 jnh220-90 jnh301-00 jnh301-50 jnh301-90 jnh7-00 jnh7-50 jnh7-90 par16-1-00 par16-1-50 par16-1-90 par16-1-c-00 par16-1-c-50 par16-1-c-90 par16-2-c-00 par16-2-c-50 par16-2-c-90 par16-3-c-00 par16-3-c-50 par16-3-c-90 par16-4-00 par16-4-50 par16-4-90 par16-4-c-00 par16-4-c-50 par16-4-c-90 par16-5-c-00 par16-5-c-50 par16-5-c-90 par8-1-00 par8-1-50 par8-1-90 par8-1-c-00 par8-1-c-50 par8-1-c-90 par8-2-00 par8-2-50 par8-2-90 par8-2-c-00 par8-2-c-50 par8-2-c-90 par8-3-00 par8-3-50 par8-3-90 par8-3-c-00 par8-3-c-50 par8-3-c-90 par8-4-00 par8-4-50 par8-4-90 par8-4-c-00 par8-4-c-50 par8-4-c-90 par8-5-00 par8-5-50 par8-5-90 par8-5-c-00 par8-5-c-50 par8-5-c-90 ssa7552-158-00 ssa7552-158-50 ssa7552-158-90 ssa7552-159-00 ssa7552-159-50 ssa7552-159-90 ssa7552-160-00 ssa7552-160-50 ssa7552-160-90

The Quantified Boolean Formulas Satisfiability Library

Detail page for Abduction family