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

InstanceResultTime
k0206272.h.oeSAT0
k0206272.s.oeSAT0
k0026150.h.oeSAT0
k0225744.s.oeSAT0
k0201058.c.oeSAT0
k0225418.v.oeSAT0.93
k0206272.v.oeSAT2.1
k0226271.c.oeSAT3.54
k0225418.connected.oeSAT9.79
k0225418.s.oeUNSAT49.39
k0026150.s.oeUNSAT51.5
k0300663.s.oeUNSAT57.43
k0225682.c.oeUNSAT155.08
k0225418.c.oeUNSAT156.14
k0302060.c.oeUNSAT156.7
k0300663.h.oeUNSAT259.84
k0225418.h.oeUNSAT263.8
k0225744.h.oeUNSAT265.95
k0026150.connected.oeFAIL900.04
k0300663.v.oeFAIL900.05
k0225744.v.oeFAIL900.07
k0300663.connected.oeFAIL900.07
k0225744.connected.oeFAIL900.08
k0026150.v.oeFAIL900.09
k0206272.connected.oeFAIL900.1