The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Abduction family
Download (6398.32 Kb)
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
Contact
|
Organization
|
Links
|
Citing QBFLIB