Instances of family CombinationalEquivalence solved by <a href='solver_detail.php?solver=297'>Qute_hybrid</a> <br> QBFEVAL'17 - Prenex non-CNF Track

qbflib.org

Instances of family CombinationalEquivalence solved by Qute_hybrid
QBFEVAL'17 - Prenex non-CNF Track

Instance	Result	Time
klieber2017q-104-26-t1	UNSAT	3.71
klieber2017q-108-27-t1	UNSAT	23.42
klieber2017q-092-23-t1	UNSAT	27.91
klieber2017q-078-19-t1	UNSAT	30.9
klieber2017q-084-21-t1	UNSAT	39.6
klieber2017q-076-19-t1	UNSAT	39.7
klieber2017q-088-22-t1	UNSAT	196.54
klieber2017q-080-20-t1	UNSAT	485.04
klieber2017q-112-28-t1	UNSAT	565.88
klieber2017q-116-29-t1	FAIL	854.9
klieber2017q-086-21-t1	FAIL	856.31
klieber2017q-100-25-eq	FAIL	879.11
klieber2017q-092-23-eq	FAIL	879.21
klieber2017q-084-21-eq	FAIL	879.22
klieber2017q-078-19-eq	FAIL	879.31
klieber2017q-096-24-t1	FAIL	879.51
klieber2017q-088-22-eq	FAIL	879.51
klieber2017q-096-24-eq	FAIL	879.67
klieber2017q-076-19-eq	FAIL	879.7
klieber2017q-108-27-eq	FAIL	879.71
klieber2017q-074-18-eq	FAIL	879.72
klieber2017q-082-20-eq	FAIL	879.8
klieber2017q-082-20-t1	FAIL	879.8
klieber2017q-086-21-eq	FAIL	879.81
klieber2017q-104-26-eq	FAIL	879.84
klieber2017q-112-28-eq	FAIL	879.92
klieber2017q-080-20-eq	FAIL	879.98
klieber2017q-116-29-eq	FAIL	880.04
klieber2017q-074-18-t1	FAIL	880.2
klieber2017q-100-25-t1	FAIL	881.62

Contact | Organization | Links | Citing QBFLIB