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

InstanceResultTime
k0300663.h.oeFAIL5.66
k0201058.c.oeFAIL5.68
k0225744.connected.oeFAIL5.68
k0026150.h.oeFAIL5.7
k0225418.v.oeFAIL5.72
k0300663.v.oeFAIL5.72
k0225682.c.oeFAIL5.73
k0225744.s.oeFAIL5.75
k0300663.s.oeFAIL5.76
k0026150.connected.oeFAIL5.76
k0226271.c.oeFAIL5.76
k0225418.s.oeFAIL5.77
k0026150.v.oeFAIL5.77
k0206272.h.oeFAIL5.78
k0026150.s.oeFAIL5.78
k0206272.v.oeFAIL5.79
k0206272.connected.oeFAIL5.8
k0206272.s.oeFAIL5.81
k0225418.connected.oeFAIL5.81
k0225418.h.oeFAIL5.81
k0225744.v.oeFAIL5.82
k0300663.connected.oeFAIL5.83
k0302060.c.oeFAIL5.93
k0225744.h.oeFAIL5.95
k0225418.c.oeFAIL5.98