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

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