Family	Overall				Time	Hardness
Family	N	#	S	U	Time	EA	ME	MH
amba	2	2	1	1	63.91		2
ASP_Equivalence_Checking	25	18	9	9	987.14		18
bomb	3	2	1	1	400.67			2
BoundedSynthesisPetriGames	50	45	27	18	3592.88		45
chess_composing	8	0	0	0	-
chess_solving	25	9	9		1870.54		8	1
CombinationalEquivalence	25	25	13	12	6.02		25
Counter	2	1	1		3.89		1
cycle-sched	2	1	1		249.28		1
driver	2	2		2	0	1	1
dungeon	3	3		3	1579.63		1	2
evader-pursuer-4x4-logarithmic	2	2	2		2.19		2
evader-pursuer-4x4-standard	1	1	1		15.75			1
evader-pursuer-6x6-logarithmic	3	2		2	1017.75		1	1
evader-pursuer-8x8-logarithmic	1	1		1	5.27		1
genbuf	4	3		3	134.69		3
HardwareFixpoint	3	3	2	1	1.58		3
hwmcc	6	5	2	3	200.18	1	2	2
incrementer-encoder	3	3	1	2	0		3
jctc	17	13	8	5	1168.38		11	2
jmc_quant_squaring	4	1		1	268.88		1
k_branch_n	2	2	2		1.49		2
k_branch_p	3	3		3	0.04		3
k_ph_n	1	1	1		0		1
k_ph_p	2	1		1	26.7			1
LinearBitvectorRankingFunction	5	1		1	0		1
ltl2aig-comp	5	3		3	23.8		3
LTL2DPA	3	3	1	2	0.99		3
Model_instances	25	18	14	4	999.52		17	1
mult-matrix	4	2	2		0		1	1
PetriGames	25	10		10	424.83	2	8
Planning-CTE	2	2		2	537.9			2
Qshifter	1	1	1		1.5		1
Random-qcir-1000-50	25	25		25	0		25
RankingFunctions	3	3	3		0		3
Reduction-finding	25	23	10	13	1303.19	8	13	2
Sorting_networks	4	4	1	3	140.08		4
tipdiam	2	1		1	227.77		1
toy	5	5	3	2	0	2	3

QBF Solver Evaluation Portal