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

Instance	Solver	Result	Time
klieber2017q-074-18-eq	QFUN	SAT	0
klieber2017q-074-18-t1	QFUN	UNSAT	0
klieber2017q-076-19-eq	QFUN	SAT	0
klieber2017q-078-19-eq	QFUN	SAT	0
klieber2017q-078-19-t1	Cqesto_2018	UNSAT	0
klieber2017q-080-20-eq	QFUN	SAT	0
klieber2017q-080-20-t1	Cqesto_2018	UNSAT	0
klieber2017q-082-20-eq	QFUN	SAT	0
klieber2017q-084-21-t1	QFUN	UNSAT	0
klieber2017q-086-21-eq	QFUN	SAT	0
klieber2017q-086-21-t1	QFUN	UNSAT	0
klieber2017q-092-23-eq	QFUN	SAT	0.61
klieber2017q-092-23-t1	QFUN	UNSAT	0.3
klieber2017q-096-24-eq	QFUN	SAT	0.61
klieber2017q-096-24-t1	Cqesto_2018	UNSAT	0
klieber2017q-100-25-eq	QFUN	SAT	0.67
klieber2017q-100-25-t1	QFUN	UNSAT	0
klieber2017q-104-26-eq	QFUN	SAT	0.52
klieber2017q-104-26-t1	Cqesto_2018	UNSAT	0
klieber2017q-108-27-eq	QFUN	SAT	0.78
klieber2017q-108-27-t1	Qute_opt617	UNSAT	0
klieber2017q-112-28-eq	QFUN	SAT	0.86
klieber2017q-112-28-t1	QFUN	UNSAT	0
klieber2017q-116-29-eq	QFUN	SAT	0.77
klieber2017q-116-29-t1	QFUN	UNSAT	0.9

QBF Solver Evaluation Portal