Instances of family CombinationalEquivalence solved by GhostQ-PG_cegar
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
klieber2017q-076-19-eqSAT4.67
klieber2017q-084-21-eqSAT5.99
klieber2017q-082-20-t1UNSAT6.79
klieber2017q-084-21-t1UNSAT7.07
klieber2017q-080-20-t1UNSAT8.9
klieber2017q-078-19-eqSAT10.24
klieber2017q-096-24-t1UNSAT12.21
klieber2017q-092-23-t1UNSAT13.92
klieber2017q-088-22-t1UNSAT18.38
klieber2017q-074-18-t1UNSAT19.15
klieber2017q-078-19-t1UNSAT19.67
klieber2017q-092-23-eqSAT26.69
klieber2017q-074-18-eqSAT36.4
klieber2017q-086-21-t1UNSAT39.47
klieber2017q-076-19-t1UNSAT51.62
klieber2017q-082-20-eqSAT56.76
klieber2017q-088-22-eqSAT58.14
klieber2017q-080-20-eqSAT84.5
klieber2017q-086-21-eqSAT97.68
klieber2017q-096-24-eqSAT636.06