Caqe-bloqqer-qdo results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	88	4	2	28309.59
amba	25	3	1	4692.95
arithmetic	40	8		8103.4
blackbox-01X-QBF	122		20	13218.08
BMC	79	4		48780
bomb	10	8		2110.47
C5315	35			31500
C6288	56			50400
cycle-sched	40	5		17838.88
Debug	94			84600
disjunctive_decomposition	43	6		14405.35
driver	34	5		4581.83
dungeon	44			39600
evader-pursuer-6x6-logarithmic	23			20700
evader-pursuer-6x6-standard	51			45900
evader-pursuer-8x8-logarithmic	31			24765
formula_add	35	5		17756.62
fpu	14		6	3752.53
genbuf	14		2	1438.74
genpatch	20	1	1	12027.24
gttt-4x4_2020	10	3	7	727.01
HardwareFixpoint	259	15	18	100273.04
hwmcc	12			10800
incrementer-encoder	50	3	7	1745.68
irqlkeapclte	121			108900
ISCAS89	13	8	2	36.4
ITC99	62	1	1	52320.97
jmc_quant	29	1	1	15795.36
jmc_quant_squaring	62		1	46833.48
k_branch_n	45	4		11138.94
k_branch_p	51		5	1194.26
k_ph_n	18	5		208.49
k_ph_p	46		1	40311.96
LinearBitvectorRankingFunction	79	1	4	46851.47
ltl2aig-comp	18		2	5000.1
LTL2DBA	12	2		669.97
LTL2DPA	7	1		51.73
mqm	76	7	3	15667.05
mult-matrix	35	4		14727.02
Planning-CTE	138	2	7	107946.99
QBF-Hardness	60	1	9	2329.54
RankingFunctions	39	10		108.93
Reduction-finding	130	22	28	29143.97
s1269	41			36900
s3330	26			23400
s820	17	1	1	4756.6
sketch	44			39600
Sorting_networks	111	2	7	10493.38
SzymanskiP	25			22500
terminator	85		7	30986.96
tipdiam	72	2		59426.92
tipfixpoint	79			71100
toy	30	3		17259.3
trafficlight-controller	30		10	883.35
wmiforward	70	9		6350.46

QBF Solver Evaluation Portal