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

InstanceResultTime
k0206272.v.oeSAT0.42
k0201058.c.oeSAT0.66
k0225418.v.oeSAT0.66
k0206272.s.oeSAT0.66
k0225744.s.oeSAT0.74
k0206272.h.oeSAT0.74
k0026150.h.oeSAT2.04
k0226271.c.oeSAT5.63
k0026150.s.oeUNSAT30.54
k0225418.s.oeUNSAT31.01
k0300663.s.oeUNSAT32.25
k0225418.connected.oeSAT39.56
k0225418.c.oeUNSAT113.13
k0225682.c.oeUNSAT116.44
k0302060.c.oeUNSAT117.59
k0225418.h.oeUNSAT167.48
k0225744.h.oeUNSAT172.97
k0300663.h.oeUNSAT204.24
k0300663.v.oeFAIL900.01
k0026150.v.oeFAIL900.02
k0026150.connected.oeFAIL900.03
k0300663.connected.oeFAIL900.03
k0206272.connected.oeFAIL900.03
k0225744.connected.oeFAIL900.03
k0225744.v.oeFAIL900.06