Instances of family ASP_Equivalence_Checking solved by quabs___caqe-hqspre
Prenex non-CNF Track

InstanceResultTime
k0026150.c.oeSAT0
k0206272.s.oeSAT0
k0248814.c.oeSAT0
k0302060.s.oeSAT0
k0026150.h.oeSAT0
k0206272.v.oeSAT0
k0248814.h.oeSAT0
k0325715.s.oeSAT0
k0201058.c.oeSAT0
k0248814.v.oeSAT0
k0325261.h.oeSAT0
k0225418.v.oeSAT0
k0300663.c.oeSAT0
k0325261.s.oeSAT0
k0201058.h.oeSAT0
k0225682.v.oeSAT0
k0300663.s.oeSAT0
k0327178.c.oeSAT0
k0201058.v.oeSAT0
k0225744.s.oeSAT0
k0300663.v.oeSAT0
k0325624.s.oeSAT0
k0206272.c.oeSAT0
k0325624.v.oeSAT0
k0327620.h.oeSAT0
k0206272.h.oeSAT0
k0226271.s.oeSAT0
k0302060.h.oeSAT0
k0325715.c.oeSAT0
k0327694.v.oeSAT0
k0325715.connected.oeSAT0.01
k0325261.connected.oeSAT0.01
k0225418.connected.oeSAT0.01
k0326191.connected.oeSAT0.01
k0326578.connected.oeSAT0.01
k0325624.connected.oeSAT0.01
k0327178.connected.oeSAT0.01
k0302060.connected.oeSAT0.01
k0201058.connected.oeSAT0.02
k0226271.connected.oeSAT0.02