Cued_3_2018 results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114			102605.01
amba	15	1		5491.95
arithmetic	20	3		4500.1
blackbox-01X-QBF	133			119704.44
BMC	79	1	1	67420.3
CombinationalEquivalence	141	1		126315.77
cycle-sched	24	2		12913.31
Debug	76			68402.98
disjunctive_decomposition	20	3	1	175.6
driver	14	2		16.73
dungeon	110			99004.21
formula_add	27			22057.96
fpu	22		10	142.86
genbuf	19			17100.43
Generalized-Tic-Tac-Toe	39	3	6	8048.67
genpatch	20	1		14411.92
HardwareFixpoint	100	1	7	42146.74
hwmcc	12			10800.38
incrementer-encoder	56		3	44776.07
irqlkeapclte	121			108904.66
ISCAS89	22	6	4	187.22
ITC99	58		3	46466.45
jmc_quant_squaring	72	1		53116.09
k_branch_n	56	5		11072.3
k_branch_p	85		6	14770.34
k_ph_p	42			37801.13
LinearBitvectorRankingFunction	77			69301.62
ltl2aig-comp	13			11700.2
LTL2DBA	7	1		8.68
LTL2DPA	7	1		28.21
Model_instances	47			42302.59
mqm	76	2	2	48088.78
mult-matrix	24	1		15353.92
Planning-CTE	128			114967.13
PositionalGames_gttt	45			40502.1
PositionalGames_hex	48	6	2	27079.31
QBF-Hardness	60	1	2	38036.5
Q_2_3	98			88203.79
RankingFunctions	53	15		97.65
Reduction-finding	60		2	50196.78
Selection-hard	30	1		21660.72
sketch	47		4	26048.06
Sorting_networks	113	2	2	77006.15
SzymanskiP	25			22501.65
terminator	85		9	23119.05
tipdiam	85	1		72171.01
tipfixpoint	90	2		67369.41
toy	8	1		41.12
trafficlight-controller	30			27001.23
wgrowing	36	1		28814.88
wmiforward	70	10		84.76

QBF Solver Evaluation Portal