Instances of family CombinationalEquivalence solved by qbfrelay
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
klieber2017q-104-26-eqFAIL6.61
klieber2017q-108-27-t1FAIL6.99
klieber2017q-104-26-t1FAIL7.01
klieber2017q-112-28-t1FAIL7.68
klieber2017q-112-28-eqFAIL7.92
klieber2017q-116-29-eqFAIL8.27
klieber2017q-108-27-eqFAIL8.41
klieber2017q-092-23-eqFAIL8.97
klieber2017q-096-24-eqFAIL9.02
klieber2017q-100-25-eqFAIL9.08
klieber2017q-100-25-t1FAIL9.35
klieber2017q-096-24-t1FAIL9.37
klieber2017q-092-23-t1FAIL9.7
klieber2017q-116-29-t1FAIL9.91
klieber2017q-084-21-t1UNSAT12.16
klieber2017q-076-19-t1UNSAT13.63
klieber2017q-078-19-t1UNSAT84.51
klieber2017q-082-20-t1UNSAT219.61
klieber2017q-086-21-t1UNSAT384.98
klieber2017q-088-22-eqFAIL651.77
klieber2017q-088-22-t1FAIL703.19
klieber2017q-080-20-eqFAIL811.46
klieber2017q-082-20-eqFAIL829.96
klieber2017q-086-21-eqFAIL863.84
klieber2017q-080-20-t1FAIL869.81
klieber2017q-084-21-eqFAIL874.24
klieber2017q-074-18-eqFAIL895.34
klieber2017q-078-19-eqFAIL900
klieber2017q-074-18-t1FAIL900
klieber2017q-076-19-eqFAIL900