depqbf_pre_QxQBH results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	88	0	0	79200
amba	25	3	0	10812.2
arithmetic	40	8	0	8115.89
blackbox-01X-QBF	122	0	18	20736.21
BMC	79	5	3	28404.82
bomb	10	10	0	315.79
C5315	35	0	0	31500
C6288	56	0	0	50400
cycle-sched	40	6	1	8803.82
Debug	94	0	0	84146.7
disjunctive_decomposition	43	7	0	10851.4
driver	34	6	0	50.9
dungeon	44	0	10	1471.48
evader-pursuer-6x6-logarithmic	23	0	0	20700
evader-pursuer-6x6-standard	51	0	0	44831.88
evader-pursuer-8x8-logarithmic	31	0	0	27900
formula_add	35	1	0	29888.42
fpu	14	4	6	1281.21
genbuf	14	0	0	12600
genpatch	20	1	1	11604.76
gttt-4x4_2020	10	3	6	2165.92
HardwareFixpoint	259	15	25	75551.6
hwmcc	12	1	0	6341.75
incrementer-encoder	50	3	7	6841.48
irqlkeapclte	121	10	0	10291.52
ISCAS89	13	8	2	45.55
ITC99	62	6	1	25448.26
jmc_quant	29	1	1	15484.49
jmc_quant_squaring	62	1	1	35227.42
k_branch_n	45	5	0	4613.06
k_branch_p	51	0	5	7474.68
k_ph_n	18	5	0	87.79
k_ph_p	46	0	0	41400
LinearBitvectorRankingFunction	79	1	1	57961.28
ltl2aig-comp	18	1	2	2648.46
LTL2DBA	12	2	0	12.7
LTL2DPA	7	1	0	18.2
mqm	76	4	3	25119.33
mult-matrix	35	5	0	5483.32
Planning-CTE	138	4	17	75221.03
QBF-Hardness	60	0	2	47318.96
RankingFunctions	39	10	0	13.73
Reduction-finding	130	15	23	58493.83
s1269	41	0	0	35848.91
s3330	26	0	0	22732.94
s820	17	0	0	14796.54
sketch	44	0	2	32178.65
Sorting_networks	111	2	4	55232.9
SzymanskiP	25	0	0	22500
terminator	85	1	9	4265.97
tipdiam	72	5	2	28643.15
tipfixpoint	79	5	0	32714.1
toy	30	5	0	64.98
trafficlight-controller	30	0	10	131.07
wmiforward	70	10	0	1405.23

QBF Solver Evaluation Portal