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

qbflib.org

Instances of family CombinationalEquivalence solved by qfun0.1
QBFEVAL'17 - Prenex non-CNF Track

Instance	Result	Time
klieber2017q-076-19-t1	UNSAT	0.22
klieber2017q-074-18-t1	UNSAT	0.3
klieber2017q-086-21-t1	UNSAT	0.31
klieber2017q-082-20-t1	UNSAT	0.33
klieber2017q-092-23-t1	UNSAT	0.36
klieber2017q-084-21-eq	SAT	0.39
klieber2017q-078-19-t1	UNSAT	0.39
klieber2017q-080-20-t1	UNSAT	0.41
klieber2017q-086-21-eq	SAT	0.42
klieber2017q-088-22-t1	UNSAT	0.42
klieber2017q-100-25-t1	UNSAT	0.43
klieber2017q-074-18-eq	SAT	0.46
klieber2017q-078-19-eq	SAT	0.48
klieber2017q-080-20-eq	SAT	0.5
klieber2017q-082-20-eq	SAT	0.5
klieber2017q-108-27-t1	UNSAT	0.5
klieber2017q-076-19-eq	SAT	0.51
klieber2017q-084-21-t1	UNSAT	0.51
klieber2017q-104-26-t1	UNSAT	0.54
klieber2017q-116-29-t1	UNSAT	0.55
klieber2017q-092-23-eq	SAT	0.58
klieber2017q-088-22-eq	SAT	0.59
klieber2017q-096-24-eq	SAT	0.61
klieber2017q-096-24-t1	UNSAT	0.62
klieber2017q-112-28-t1	UNSAT	0.64
klieber2017q-112-28-eq	SAT	0.75
klieber2017q-100-25-eq	SAT	0.81
klieber2017q-104-26-eq	SAT	0.87
klieber2017q-108-27-eq	SAT	0.88
klieber2017q-116-29-eq	SAT	2.85

Contact | Organization | Links | Citing QBFLIB