Cued_3_2018 results solving families

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

QBF Solver Evaluation Portal