Instances of family ASP_Equivalence_Checking solved by PortfolioGhostQQfunQuAbSQute___pfs
QBFEVAL'19 - Prenex non-CNF Track

InstanceResultTime
k0206272.c.oeFAIL4.75
k0206272.v.oeFAIL4.76
k0325261.h.oeFAIL4.76
k0327178.c.oeFAIL4.76
k0225744.s.oeFAIL4.76
k0300663.v.oeFAIL4.76
k0302060.s.oeFAIL4.76
k0325261.connected.oeFAIL4.77
k0225418.v.oeFAIL4.77
k0325624.connected.oeFAIL4.77
k0226271.connected.oeFAIL4.77
k0302060.h.oeFAIL4.77
k0325715.c.oeFAIL4.77
k0026150.c.oeFAIL4.77
k0326191.connected.oeFAIL4.78
k0300663.c.oeFAIL4.78
k0201058.h.oeFAIL4.78
k0225682.v.oeFAIL4.78
k0327620.h.oeFAIL4.78
k0026150.h.oeFAIL4.79
k0201058.c.oeFAIL4.79
k0325261.s.oeFAIL4.79
k0326578.connected.oeFAIL4.79
k0201058.v.oeFAIL4.79
k0206272.h.oeFAIL4.79
k0206272.s.oeFAIL4.79
k0325715.connected.oeFAIL4.79
k0302060.connected.oeFAIL4.8
k0325624.v.oeFAIL4.8
k0226271.s.oeFAIL4.8
k0325624.s.oeFAIL4.81
k0327178.connected.oeFAIL4.81
k0327694.v.oeFAIL4.82
k0225418.connected.oeFAIL4.83
k0248814.v.oeFAIL4.83
k0300663.s.oeFAIL4.83
k0248814.h.oeFAIL4.85
k0325715.s.oeFAIL4.85
k0201058.connected.oeFAIL4.85
k0248814.c.oeFAIL4.87