Family	Overall				Time	Hardness
Family	N	#	S	U	Time	EA	ME	MH
amba	4	2	2		46.67		2
ASP_Equivalence_Checking	40	40	40		0.12		40
BoundedSynthesisPetriGames	89	47	27	20	4846.51	9	30	8
chess_composing	8	0	0	0	-
chess_solving	32	32	32		2428.07		32
CombinationalEquivalence	35	35	15	20	0	7	28
cycle-sched	7	3	2	1	307.94		3
driver	6	6	6		5.33		6
genbuf	2	2		2	365.52		2
hwmcc	2	1	1		68.23		1
jctc	13	12	7	5	1261.13		10	2
ltl2aig-comp	3	2		2	105.01		2
LTL2DBA	2	1	1		1.4		1
LTL2DPA	1	0	0	0	-
Model_instances	30	18	13	5	240.18		16	2
mult-matrix	6	5	4	1	457.69		5
Reduction-finding	19	19	16	3	647.79	13	4	2
Reduction-finding-qcir	35	35	21	14	0	35
toy	5	5	5		642.58		4	1

QBF Solver Evaluation Portal