Rareqs_2018 results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114	1	2	79997.41
amba	15	1	1	1293.33
arithmetic	20	3		4500.25
blackbox-01X-QBF	133		20	228.41
BMC	79	7	3	1417.27
CombinationalEquivalence	141		10	62017.65
cycle-sched	24	2	1	6181.04
Debug	76	4		52887.62
disjunctive_decomposition	20	3	1	290.45
driver	14	2		0
dungeon	110		2	94343.31
formula_add	27	6		7849.84
fpu	22		10	29.54
genbuf	19		2	5172.61
Generalized-Tic-Tac-Toe	39	2	5	16391.72
genpatch	20	1		14400.8
HardwareFixpoint	100	1	3	68575.82
hwmcc	12			10800.64
incrementer-encoder	56	1	9	98.8
irqlkeapclte	121			108904.14
ISCAS89	22	6	4	13.7
ITC99	58	1	3	42370.98
jmc_quant_squaring	72			64803.9
k_branch_n	56	2		37298.07
k_branch_p	85		5	22868.75
k_ph_p	42			37801.9
LinearBitvectorRankingFunction	77	1	3	45785.01
ltl2aig-comp	13		2	194.57
LTL2DBA	7	1		0
LTL2DPA	7	1		8.05
Model_instances	47	2	3	9827.43
mqm	76			68403.13
mult-matrix	24	1		15300.68
Planning-CTE	128	2	23	37921.86
PositionalGames_gttt	45	2		35101.71
PositionalGames_hex	48	3		38125.1
QBF-Hardness	60		4	39351.12
Q_2_3	98		9	51029.58
RankingFunctions	53	15		0
Reduction-finding	60	3	3	21375.43
Selection-hard	30	2		17190
sketch	47		6	23195.27
Sorting_networks	113	2	6	19161.35
SzymanskiP	25		2	1109.74
terminator	85		2	56906.08
tipdiam	85			76502.61
tipfixpoint	90			81003.94
toy	8	1		0
trafficlight-controller	30		10	42.72
wgrowing	36	4		21385.84
wmiforward	70	10		11.83

QBF Solver Evaluation Portal