Sota solver results for family ASP_Equivalence_Checking
QBFEVAL'19 - Prenex non-CNF Track


InstanceSolverResultTime
k0026150.c.oequabs___caqe-hqspreSAT0
k0026150.h.oequabs___caqe-hqspreSAT0
k0201058.c.oequabs___caqe-hqspreSAT0
k0201058.connected.oequabs___caqe-hqspreSAT0.02
k0201058.h.oequabs___caqe-hqspreSAT0
k0201058.v.oequabs___caqe-hqspreSAT0
k0206272.c.oequabs___caqe-hqspreSAT0
k0206272.h.oequabs___caqe-hqspreSAT0
k0206272.s.oequabs___caqe-hqspreSAT0
k0206272.v.oequabs___caqe-hqspreSAT0
k0225418.connected.oequabs___caqe-hqspreSAT0.01
k0225418.v.oequabs___caqe-hqspreSAT0
k0225682.v.oequabs___caqe-hqspreSAT0
k0225744.s.oequabs___caqe-hqspreSAT0
k0226271.connected.oequabs___caqe-hqspreSAT0.02
k0226271.s.oequabs___caqe-hqspreSAT0
k0248814.c.oequabs___caqe-hqspreSAT0
k0248814.h.oequabs___caqe-hqspreSAT0
k0248814.v.oequabs___caqe-hqspreSAT0
k0300663.c.oequabs___caqe-hqspreSAT0
k0300663.s.oequabs___caqe-hqspreSAT0
k0300663.v.oequabs___caqe-hqspreSAT0
k0302060.connected.oequabs___caqe-hqspreSAT0.02
k0302060.h.oequabs___caqe-hqspreSAT0
k0302060.s.oequabs___caqe-hqspreSAT0
k0325261.connected.oequabs___caqe-hqspreSAT0.01
k0325261.h.oequabs___caqe-hqspreSAT0
k0325261.s.oequabs___caqe-hqspreSAT0
k0325624.connected.oequabs___caqe-hqspreSAT0.01
k0325624.s.oequabs___caqe-hqspreSAT0
k0325624.v.oequabs___caqe-hqspreSAT0
k0325715.c.oequabs___caqe-hqspreSAT0
k0325715.connected.oequabs___caqe-hqspreSAT0.01
k0325715.s.oequabs___caqe-hqspreSAT0
k0326191.connected.oequabs___caqe-hqspreSAT0.01
k0326578.connected.oeQuAbS___quabs-caqe_2019SAT0.03
k0327178.c.oequabs___caqe-hqspreSAT0
k0327178.connected.oequabs___caqe-hqspreSAT0.02
k0327620.h.oequabs___caqe-hqspreSAT0
k0327694.v.oequabs___caqe-hqspreSAT0