Caqe-bloqqer-qdo results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114	4		67668.44
amba	15	1	1	1707.63
arithmetic	20	3		4500
blackbox-01X-QBF	133		10	77053.37
BMC	79	4	1	48604.76
CombinationalEquivalence	141		10	61467.51
cycle-sched	24	1		20513.25
Debug	76			68403.52
disjunctive_decomposition	20	3		4503.5
driver	14	2		49.91
dungeon	110		8	68246.91
formula_add	27	5		9979.93
fpu	22		10	142.57
genbuf	19		2	6500.49
Generalized-Tic-Tac-Toe	39	3	7	3887.54
genpatch	20	1	1	12241.76
HardwareFixpoint	100	1	6	49914.17
hwmcc	12			10800.31
incrementer-encoder	56	1	9	1394.23
irqlkeapclte	121			108906.25
ISCAS89	22	6	4	34.58
ITC99	58		3	45945.47
jmc_quant_squaring	72			64802.53
k_branch_n	56	5		11071.5
k_branch_p	85		8	832.63
k_ph_p	42		1	34551.9
LinearBitvectorRankingFunction	77	1	4	45152.45
ltl2aig-comp	13		2	443.89
LTL2DBA	7	1		6.09
LTL2DPA	7	1		47.32
Model_instances	47	1		36971.36
mqm	76	4	6	12626.13
mult-matrix	24	2		10699.83
Planning-CTE	128	2	12	85359.63
PositionalGames_gttt	45	1		38602.89
PositionalGames_hex	48	7	3	25722.25
QBF-Hardness	60	1	9	2155.44
Q_2_3	98		10	45995.45
RankingFunctions	53	15		96.95
Reduction-finding	60	3	4	21411.47
Selection-hard	30	4		6132.3
sketch	47		2	39494.54
Sorting_networks	113	3	7	8417.79
SzymanskiP	25			22501.25
terminator	85		7	36551.65
tipdiam	85			76502.87
tipfixpoint	90			81004.65
toy	8	1		118.64
trafficlight-controller	30		10	645.93
wgrowing	36	8		7891.76
wmiforward	70	9		6342.12

QBF Solver Evaluation Portal