Sota solver results for family CombinationalEquivalence <br> QBFEVAL'17

Instance	Solver	Result	Time
klieber2017q-074-18-eq	rev_qfun0.1	SAT	0.62
klieber2017q-074-18-t1	rareqs	UNSAT	0.37
klieber2017q-076-19-eq	rev_qfun0.1	SAT	1.81
klieber2017q-076-19-t1	rev_qfun0.1	UNSAT	0.51
klieber2017q-078-19-eq	QELL_default	SAT	8.47
klieber2017q-078-19-t1	rareqs	UNSAT	0.75
klieber2017q-080-20-eq	rev_qfun0.1	SAT	1.16
klieber2017q-080-20-t1	rareqs	UNSAT	0.36
klieber2017q-082-20-eq	rev_qfun0.1	SAT	2.91
klieber2017q-082-20-t1	rareqs	UNSAT	0.22
klieber2017q-084-21-eq	QELL_default	SAT	3.51
klieber2017q-084-21-t1	caqe_2017_v1	UNSAT	0.5
klieber2017q-086-21-eq	rev_qfun0.1	SAT	1.67
klieber2017q-086-21-t1	QELL_default	UNSAT	1.58
klieber2017q-088-22-eq	QELL_unit	SAT	1.52
klieber2017q-088-22-t1	rareqs	UNSAT	0.25
klieber2017q-092-23-eq	QELL_default	SAT	2.65
klieber2017q-092-23-t1	rev_qfun0.1	UNSAT	0.62
klieber2017q-096-24-eq	QELL_unit	SAT	3.13
klieber2017q-096-24-t1	rareqs	UNSAT	0.54
klieber2017q-100-25-eq	rev_qfun0.1	SAT	4.45
klieber2017q-100-25-t1	caqe_2017_v1	UNSAT	1.01
klieber2017q-104-26-eq	rev_qfun0.1	SAT	3.89
klieber2017q-104-26-t1	rareqs	UNSAT	0.7
klieber2017q-108-27-eq	QELL_unit	SAT	13.97
klieber2017q-108-27-t1	rev_qfun0.1	UNSAT	0.42
klieber2017q-112-28-eq	QELL_default	SAT	14.93
klieber2017q-112-28-t1	rareqs	UNSAT	5.14
klieber2017q-116-29-eq	QELL_unit	SAT	20.11
klieber2017q-116-29-t1	rev_qfun0.1	UNSAT	0.97

QBF Solver Evaluation Portal