predyndep results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114	3	1	65943.69
amba	15	1		6301.29
arithmetic	20	4		63.45
blackbox-01X-QBF	133		16	31561.3
BMC	79	5	3	35620.68
CombinationalEquivalence	141		4	101630.71
cycle-sched	24			21600.88
Debug	76			68402.66
disjunctive_decomposition	20	3		4504.6
driver	14	2		22.96
dungeon	110		12	50606.92
formula_add	27	2		18260.14
fpu	22		10	534.44
genbuf	19			17100.65
Generalized-Tic-Tac-Toe	39		2	30764.52
genpatch	20	1	1	10835.92
HardwareFixpoint	100	1	11	19826.2
hwmcc	12			10800.12
incrementer-encoder	56	1	9	2709.53
irqlkeapclte	121	10		2264.94
ISCAS89	22	6	4	187.48
ITC99	58	5	3	19848.53
jmc_quant_squaring	72	1	1	46979.32
k_branch_n	56	6		431.35
k_branch_p	85		8	693
k_ph_p	42		2	24483.66
LinearBitvectorRankingFunction	77		1	60200.88
ltl2aig-comp	13		1	5514.69
LTL2DBA	7	1		10.22
LTL2DPA	7	1		32.55
Model_instances	47			42301.93
mqm	76	5	3	37809.77
mult-matrix	24	2		9594.24
Planning-CTE	128		6	89475.94
PositionalGames_gttt	45	13		6747.57
PositionalGames_hex	48	5	2	31124.05
QBF-Hardness	60		3	44023.36
Q_2_3	98		15	26924.58
RankingFunctions	53	15		121.88
Reduction-finding	60		1	47901.8
Selection-hard	30	1		21644.34
sketch	47			42301.07
Sorting_networks	113	2	3	61378.34
SzymanskiP	25			22501.01
terminator	85	1	6	22937.4
tipdiam	85	3	3	39729.86
tipfixpoint	90	4	1	43292.69
toy	8	1		44
trafficlight-controller	30		10	714.06
wgrowing	36	1		28809.2
wmiforward	70	10		73.73

QBF Solver Evaluation Portal