QFUN results solving families

Family	# Total	# Sat	# Unsat	Time
amba	13		1	8168.56
ASP_Equivalence_Checking	45	9		18120.98
bomb	21	1	1	9104.83
BoundedSynthesisPetriGames	144	22	8	62230.72
chess_composing	16			14400.7
chess_solving	35	5		19678.73
CombinationalEquivalence	144	13	12	22.62
Counter	15			13500.73
cycle-sched	2			1800.09
driver	3		2	45.04
dungeon	30		1	20334.6
evader-pursuer-4x4-logarithmic	21	1		10511.44
evader-pursuer-4x4-standard	11			9900
evader-pursuer-6x6-logarithmic	33			29701.38
evader-pursuer-8x8-logarithmic	11		1	282.48
genbuf	13		3	3252.43
HardwareFixpoint	26			23402.18
hwmcc	9		3	2700.11
incrementer-encoder	33	1	2	0
jctc	47	6	4	17570.34
jmc_quant_squaring	51			45903.35
k_branch_n	24			21601
k_branch_p	38			34201.14
k_ph_n	10	1		3985.1
k_ph_p	25		1	11147.34
LinearBitvectorRankingFunction	53		1	37801.78
ltl2aig-comp	12		3	1923.03
LTL2DPA	5		2	900.08
Model_instances	139	2		119562.41
mult-matrix	4			3600.19
PetriGames	25		2	20712.32
Planning-CTE	22		2	5916.9
Qshifter	13			11700.91
Random-qcir-1000-50	25			22501.01
RankingFunctions	23			20701.14
Reduction-finding	35	10	11	4244.45
Sorting_networks	58	1	2	16868.36
tipdiam	24		1	12861.23
toy	18	2	2	7692.05

QBF Solver Evaluation Portal