Instances of family CombinationalEquivalence solved by <a href='solver_detail.php?solver=278'>qbfrelay-limited-depqbf</a> <br> QBFEVAL'17 - Random QBFs Track

qbflib.org

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

Instance	Result	Time
klieber2017q-084-21-t1	UNSAT	84.32
klieber2017q-078-19-t1	UNSAT	95.21
klieber2017q-076-19-t1	UNSAT	95.99
klieber2017q-108-27-t1	FAIL	887.05
klieber2017q-100-25-t1	FAIL	887.35
klieber2017q-116-29-eq	FAIL	887.39
klieber2017q-092-23-t1	FAIL	887.45
klieber2017q-100-25-eq	FAIL	887.95
klieber2017q-104-26-t1	FAIL	888.04
klieber2017q-096-24-eq	FAIL	888.17
klieber2017q-112-28-eq	FAIL	888.21
klieber2017q-082-20-eq	FAIL	888.6
klieber2017q-086-21-t1	FAIL	888.73
klieber2017q-086-21-eq	FAIL	888.77
klieber2017q-104-26-eq	FAIL	888.8
klieber2017q-112-28-t1	FAIL	888.83
klieber2017q-084-21-eq	FAIL	889.18
klieber2017q-108-27-eq	FAIL	889.35
klieber2017q-096-24-t1	FAIL	889.62
klieber2017q-092-23-eq	FAIL	889.72
klieber2017q-078-19-eq	FAIL	889.73
klieber2017q-116-29-t1	FAIL	889.92
klieber2017q-088-22-eq	FAIL	890.11
klieber2017q-080-20-t1	FAIL	890.21
klieber2017q-088-22-t1	FAIL	890.31
klieber2017q-082-20-t1	FAIL	890.36
klieber2017q-076-19-eq	FAIL	890.42
klieber2017q-074-18-t1	FAIL	890.75
klieber2017q-080-20-eq	FAIL	891.01
klieber2017q-074-18-eq	FAIL	891.57

Contact | Organization | Links | Citing QBFLIB