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

InstanceResultTime
klieber2017q-056-14-t1UNSAT0
klieber2017q-088-22-t1UNSAT0
klieber2017q-048-12-t1UNSAT2.1
klieber2017q-052-13-t1UNSAT2.89
klieber2017q-108-27-t1UNSAT3.24
klieber2017q-048-12-eqSAT3.93
klieber2017q-056-14-eqSAT4.27
klieber2017q-052-13-eqSAT4.61
klieber2017q-060-15-t1UNSAT7.25
klieber2017q-066-16-t1UNSAT10.8
klieber2017q-062-15-eqSAT12.7
klieber2017q-060-15-eqSAT14.98
klieber2017q-062-15-t1UNSAT16.37
klieber2017q-072-18-t1UNSAT25.19
klieber2017q-064-16-t1UNSAT27.78
klieber2017q-104-26-t1UNSAT28.7
klieber2017q-100-25-t1UNSAT32.48
klieber2017q-080-20-t1UNSAT33.29
klieber2017q-086-21-t1UNSAT39.28
klieber2017q-070-17-eqSAT43.33
klieber2017q-068-17-t1UNSAT46.67
klieber2017q-064-16-eqSAT50.05
klieber2017q-074-18-t1UNSAT52.96
klieber2017q-070-17-t1UNSAT58.8
klieber2017q-072-18-eqSAT60.13
klieber2017q-084-21-eqSAT60.39
klieber2017q-078-19-t1UNSAT63.11
klieber2017q-076-19-eqSAT75.2
klieber2017q-082-20-t1UNSAT78.77
klieber2017q-112-28-t1UNSAT80.89
klieber2017q-088-22-eqSAT85.98
klieber2017q-078-19-eqSAT91
klieber2017q-074-18-eqSAT115.67
klieber2017q-084-21-t1UNSAT117.9
klieber2017q-066-16-eqSAT128.31
klieber2017q-068-17-eqSAT137.08
klieber2017q-076-19-t1UNSAT139.45