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

InstanceResultTime
k0206272.s.oeSAT4.62
k0201058.c.oeSAT5.46
k0026150.s.oeFAIL6.86
k0225418.v.oeFAIL6.9
k0300663.s.oeFAIL6.9
k0026150.h.oeFAIL6.91
k0206272.connected.oeFAIL6.92
k0026150.connected.oeFAIL6.93
k0225418.connected.oeFAIL6.93
k0206272.h.oeFAIL6.93
k0302060.c.oeFAIL6.94
k0206272.v.oeFAIL6.95
k0225744.connected.oeFAIL6.95
k0225744.h.oeFAIL6.96
k0026150.v.oeFAIL6.96
k0300663.v.oeFAIL6.96
k0225744.v.oeFAIL6.98
k0225418.h.oeFAIL6.98
k0300663.connected.oeFAIL6.98
k0225418.c.oeFAIL7.02
k0225744.s.oeFAIL7.06
k0225682.c.oeFAIL7.07
k0226271.c.oeFAIL7.13
k0225418.s.oeFAIL7.14
k0300663.h.oeFAIL7.97