Instances of family ASP_Equivalence_Checking solved by QFUN
Prenex non-CNF Track

InstanceResultTime
k0201058.v.oeFAIL0
k0225744.s.oeFAIL0
k0300663.v.oeFAIL0
k0325624.s.oeFAIL0
k0327178.connected.oeFAIL0
k0206272.c.oeFAIL0
k0226271.connected.oeFAIL0
k0302060.connected.oeFAIL0
k0325624.v.oeFAIL0
k0327620.h.oeFAIL0
k0206272.h.oeFAIL0
k0226271.s.oeFAIL0
k0302060.h.oeFAIL0
k0325715.c.oeFAIL0
k0327694.v.oeFAIL0
k0026150.c.oeFAIL0
k0206272.s.oeFAIL0
k0248814.c.oeFAIL0
k0302060.s.oeFAIL0
k0325715.connected.oeFAIL0
k0026150.h.oeFAIL0
k0206272.v.oeFAIL0
k0248814.h.oeFAIL0
k0325261.connected.oeFAIL0
k0325715.s.oeFAIL0
k0201058.c.oeFAIL0
k0225418.connected.oeFAIL0
k0248814.v.oeFAIL0
k0325261.h.oeFAIL0
k0326191.connected.oeFAIL0
k0201058.connected.oeFAIL0
k0225418.v.oeFAIL0
k0300663.c.oeFAIL0
k0325261.s.oeFAIL0
k0326578.connected.oeFAIL0
k0201058.h.oeFAIL0
k0225682.v.oeFAIL0
k0300663.s.oeFAIL0
k0325624.connected.oeFAIL0
k0327178.c.oeFAIL0