The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for ASP_Equivalence_Checking family
Download (0 Kb)
Submitter:
Johannes Oetsch
Suite:
Oetsch
Domain:
Miscellanea
Description:
Number of instances:
250
Results:
2020 - Track 3
2019 - Track 2
2018 - Track 2
Instances:
k0026150.c.oe
k0026150.connected.oe
k0026150.h.oe
k0026150.s.oe
k0026150.v.oe
k0201058.c.oe
k0201058.connected.oe
k0201058.h.oe
k0201058.s.oe
k0201058.v.oe
k0206272.c.oe
k0206272.connected.oe
k0206272.h.oe
k0206272.s.oe
k0206272.v.oe
k0225418.c.oe
k0225418.connected.oe
k0225418.h.oe
k0225418.s.oe
k0225418.v.oe
k0225682.c.oe
k0225682.connected.oe
k0225682.h.oe
k0225682.s.oe
k0225682.v.oe
k0225744.c.oe
k0225744.connected.oe
k0225744.h.oe
k0225744.s.oe
k0225744.v.oe
k0226271.c.oe
k0226271.connected.oe
k0226271.h.oe
k0226271.s.oe
k0226271.v.oe
k0248814.c.oe
k0248814.connected.oe
k0248814.h.oe
k0248814.s.oe
k0248814.v.oe
k0300663.c.oe
k0300663.connected.oe
k0300663.h.oe
k0300663.s.oe
k0300663.v.oe
k0302060.c.oe
k0302060.connected.oe
k0302060.h.oe
k0302060.s.oe
k0302060.v.oe
k0325261.c.oe
k0325261.connected.oe
k0325261.h.oe
k0325261.s.oe
k0325261.v.oe
k0325624.c.oe
k0325624.connected.oe
k0325624.h.oe
k0325624.s.oe
k0325624.v.oe
k0325715.c.oe
k0325715.connected.oe
k0325715.h.oe
k0325715.s.oe
k0325715.v.oe
k0326191.c.oe
k0326191.connected.oe
k0326191.h.oe
k0326191.s.oe
k0326191.v.oe
k0326578.c.oe
k0326578.connected.oe
k0326578.h.oe
k0326578.s.oe
k0326578.v.oe
k0327142.c.oe
k0327142.connected.oe
k0327142.h.oe
k0327142.s.oe
k0327142.v.oe
k0327178.c.oe
k0327178.connected.oe
k0327178.h.oe
k0327178.s.oe
k0327178.v.oe
k0327620.c.oe
k0327620.connected.oe
k0327620.h.oe
k0327620.s.oe
k0327620.v.oe
k0327694.c.oe
k0327694.connected.oe
k0327694.h.oe
k0327694.s.oe
k0327694.v.oe
k0347783.c.oe
k0347783.connected.oe
k0347783.h.oe
k0347783.s.oe
k0347783.v.oe
k0405156.c.oe
k0405156.connected.oe
k0405156.h.oe
k0405156.s.oe
k0405156.v.oe
k0425001.c.oe
k0425001.connected.oe
k0425001.h.oe
k0425001.s.oe
k0425001.v.oe
k0425124.c.oe
k0425124.connected.oe
k0425124.h.oe
k0425124.s.oe
k0425124.v.oe
k0425205.c.oe
k0425205.connected.oe
k0425205.h.oe
k0425205.s.oe
k0425205.v.oe
k0425253.c.oe
k0425253.connected.oe
k0425253.h.oe
k0425253.s.oe
k0425253.v.oe
k0425270.c.oe
k0425270.connected.oe
k0425270.h.oe
k0425270.s.oe
k0425270.v.oe
k0425426.c.oe
k0425426.connected.oe
k0425426.h.oe
k0425426.s.oe
k0425426.v.oe
k0425632.c.oe
k0425632.connected.oe
k0425632.h.oe
k0425632.s.oe
k0425632.v.oe
k0425677.c.oe
k0425677.connected.oe
k0425677.h.oe
k0425677.s.oe
k0425677.v.oe
k0425773.c.oe
k0425773.connected.oe
k0425773.h.oe
k0425773.s.oe
k0425773.v.oe
k0425830.c.oe
k0425830.connected.oe
k0425830.h.oe
k0425830.s.oe
k0425830.v.oe
k0425861.c.oe
k0425861.connected.oe
k0425861.h.oe
k0425861.s.oe
k0425861.v.oe
k0426010.c.oe
k0426010.connected.oe
k0426010.h.oe
k0426010.s.oe
k0426010.v.oe
k0426011.c.oe
k0426011.connected.oe
k0426011.h.oe
k0426011.s.oe
k0426011.v.oe
k0426062.c.oe
k0426062.connected.oe
k0426062.h.oe
k0426062.s.oe
k0426062.v.oe
k0426093.c.oe
k0426093.connected.oe
k0426093.h.oe
k0426093.s.oe
k0426093.v.oe
k0426173.c.oe
k0426173.connected.oe
k0426173.h.oe
k0426173.s.oe
k0426173.v.oe
k0426685.c.oe
k0426685.connected.oe
k0426685.h.oe
k0426685.s.oe
k0426685.v.oe
k0426689.c.oe
k0426689.connected.oe
k0426689.h.oe
k0426689.s.oe
k0426689.v.oe
k0525857.c.oe
k0525857.connected.oe
k0525857.h.oe
k0525857.s.oe
k0525857.v.oe
k0527082.c.oe
k0527082.connected.oe
k0527082.h.oe
k0527082.s.oe
k0527082.v.oe
k8525409.c.oe
k8525409.connected.oe
k8525409.h.oe
k8525409.s.oe
k8525409.v.oe
k9204842.c.oe
k9204842.connected.oe
k9204842.h.oe
k9204842.s.oe
k9204842.v.oe
k9525391.c.oe
k9525391.connected.oe
k9525391.h.oe
k9525391.s.oe
k9525391.v.oe
k9606927.c.oe
k9606927.connected.oe
k9606927.h.oe
k9606927.s.oe
k9606927.v.oe
k9625781.c.oe
k9625781.connected.oe
k9625781.h.oe
k9625781.s.oe
k9625781.v.oe
k9626236.c.oe
k9626236.connected.oe
k9626236.h.oe
k9626236.s.oe
k9626236.v.oe
k9701721.c.oe
k9701721.connected.oe
k9701721.h.oe
k9701721.s.oe
k9701721.v.oe
k9900662.c.oe
k9900662.connected.oe
k9900662.h.oe
k9900662.s.oe
k9900662.v.oe
k9926412.c.oe
k9926412.connected.oe
k9926412.h.oe
k9926412.s.oe
k9926412.v.oe
Contact
|
Organization
|
Links
|
Citing QBFLIB