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

InstanceResultTime
klieber2017q-088-22-t1UNSAT67.14
klieber2017q-078-19-t1UNSAT205.54
klieber2017q-080-20-t1UNSAT333.43
klieber2017q-076-19-t1UNSAT348.51
klieber2017q-092-23-t1UNSAT380.07
klieber2017q-078-19-eqSAT428.84
klieber2017q-074-18-t1UNSAT498.84
klieber2017q-074-18-eqSAT629.12
klieber2017q-076-19-eqSAT658.53
klieber2017q-080-20-eqSAT723.15
klieber2017q-082-20-t1UNSAT801.01
klieber2017q-086-21-t1UNSAT808.96
klieber2017q-096-24-eqFAIL900.01
klieber2017q-096-24-t1FAIL900.02
klieber2017q-088-22-eqFAIL900.02
klieber2017q-092-23-eqFAIL900.05
klieber2017q-086-21-eqFAIL900.05
klieber2017q-084-21-eqFAIL900.06
klieber2017q-082-20-eqFAIL900.08
klieber2017q-084-21-t1FAIL900.08