Instances of family CombinationalEquivalence solved by quabs___caqe-hqspre
QBFEVAL'19 - Prenex non-CNF Track

InstanceResultTime
klieber2017q-048-12-t1UNSAT0.6
klieber2017q-052-13-t1UNSAT0.82
klieber2017q-048-12-eqSAT1.09
klieber2017q-066-16-t1UNSAT1.49
klieber2017q-064-16-t1UNSAT1.5
klieber2017q-060-15-t1UNSAT1.54
klieber2017q-062-15-t1UNSAT1.59
klieber2017q-056-14-t1UNSAT1.61
klieber2017q-072-18-t1UNSAT1.65
klieber2017q-086-21-t1UNSAT1.68
klieber2017q-052-13-eqSAT1.76
klieber2017q-088-22-t1UNSAT1.82
klieber2017q-076-19-t1UNSAT2.03
klieber2017q-068-17-t1UNSAT2.16
klieber2017q-074-18-t1UNSAT2.32
klieber2017q-104-26-t1UNSAT2.52
klieber2017q-084-21-t1UNSAT3.29
klieber2017q-056-14-eqSAT4.59
klieber2017q-100-25-t1UNSAT4.76
klieber2017q-070-17-t1UNSAT4.83
klieber2017q-080-20-t1UNSAT5.36
klieber2017q-082-20-t1UNSAT8.98
klieber2017q-062-15-eqSAT9.09
klieber2017q-108-27-t1UNSAT11.69
klieber2017q-060-15-eqSAT12.09
klieber2017q-078-19-t1UNSAT14.92
klieber2017q-112-28-t1UNSAT20.15
klieber2017q-068-17-eqSAT23.53
klieber2017q-064-16-eqSAT38.4
klieber2017q-066-16-eqSAT50.97
klieber2017q-070-17-eqSAT59.56
klieber2017q-074-18-eqSAT62.49
klieber2017q-072-18-eqSAT76.98
klieber2017q-084-21-eqSAT460.56
klieber2017q-088-22-eqSAT461.07
klieber2017q-078-19-eqSAT461.3
klieber2017q-076-19-eqSAT462.36