QFUN results solving families

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

QBF Solver Evaluation Portal