Instances of family CombinationalEquivalence solved by QFUN
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
klieber2017q-080-20-t1UNSAT0
klieber2017q-096-24-t1UNSAT0
klieber2017q-112-28-t1UNSAT0
klieber2017q-082-20-eqSAT0
klieber2017q-074-18-eqSAT0
klieber2017q-084-21-t1UNSAT0
klieber2017q-100-25-t1UNSAT0
klieber2017q-074-18-t1UNSAT0
klieber2017q-086-21-eqSAT0
klieber2017q-076-19-eqSAT0
klieber2017q-086-21-t1UNSAT0
klieber2017q-104-26-t1UNSAT0
klieber2017q-078-19-eqSAT0
klieber2017q-078-19-t1UNSAT0
klieber2017q-108-27-t1UNSAT0
klieber2017q-080-20-eqSAT0
klieber2017q-092-23-t1UNSAT0.3
klieber2017q-104-26-eqSAT0.52
klieber2017q-092-23-eqSAT0.61
klieber2017q-096-24-eqSAT0.61
klieber2017q-100-25-eqSAT0.67
klieber2017q-116-29-eqSAT0.77
klieber2017q-108-27-eqSAT0.78
klieber2017q-112-28-eqSAT0.86
klieber2017q-116-29-t1UNSAT0.9