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

InstanceResultTime
klieber2017q-048-12-eqSAT0.12
klieber2017q-048-12-t1UNSAT0.13
klieber2017q-052-13-t1UNSAT0.14
klieber2017q-056-14-t1UNSAT0.7
klieber2017q-066-16-t1UNSAT1.15
klieber2017q-070-17-t1UNSAT1.26
klieber2017q-060-15-t1UNSAT1.55
klieber2017q-056-14-eqSAT1.74
klieber2017q-068-17-t1UNSAT2.29
klieber2017q-052-13-eqSAT2.72
klieber2017q-066-16-eqSAT4.7
klieber2017q-060-15-eqSAT5.7
klieber2017q-068-17-eqSAT5.84
klieber2017q-104-26-t1UNSAT6.33
klieber2017q-072-18-eqSAT6.33
klieber2017q-062-15-t1UNSAT6.6
klieber2017q-070-17-eqSAT6.79
klieber2017q-078-19-eqSAT7.17
klieber2017q-076-19-eqSAT7.38
klieber2017q-108-27-t1UNSAT8.91
klieber2017q-076-19-t1UNSAT9.19
klieber2017q-064-16-t1UNSAT9.37
klieber2017q-082-20-t1UNSAT9.99
klieber2017q-074-18-t1UNSAT10.09
klieber2017q-064-16-eqSAT10.8
klieber2017q-074-18-eqSAT11.4
klieber2017q-062-15-eqSAT11.49
klieber2017q-072-18-t1UNSAT15.76
klieber2017q-112-28-t1UNSAT16.38
klieber2017q-100-25-t1UNSAT20.44
klieber2017q-084-21-eqSAT21.86
klieber2017q-080-20-t1UNSAT22.08
klieber2017q-088-22-t1UNSAT35.08
klieber2017q-078-19-t1UNSAT41.6
klieber2017q-086-21-t1UNSAT63.06
klieber2017q-088-22-eqSAT73.08
klieber2017q-084-21-t1UNSAT171.81