aqme-10 results solving families

Family	# Total	# Sat	# Unsat	Time
Abduction	172	31	19	11119.14
Adder	110	9		47060.64
blackbox-01X-QBF	200		47	77870.37
blackbox_design	13			15600
Blocks	44	2	3	297.11
BMC	85	7	9	5838.88
C432	39	1	3	17372.09
C499	21		2	39.55
C5315	77	1	2	37992.54
C6288	43	2		28994.51
C880	10	1		15.32
Chain	12	1		40.8
circuits	11	3		175.27
comp	8		2	9.54
conformant_planning	92	4	5	41635.38
Connect4	34		9	10240.59
Counter	17	3		3668.96
Debug	30	4		5416.74
evader-pursuer-4x4-logarithmic	25	2		11591.36
evader-pursuer-4x4-standard	65	1		65832.6
evader-pursuer-6x6-logarithmic	34		1	30910.73
evader-pursuer-6x6-standard	16		2	7141.18
evader-pursuer-8x8-logarithmic	59		4	23273.05
FPGA_PLB_FIT_FAST	16	1	1	19.52
FPGA_PLB_FIT_SLOW	10		1	29.68
Impl	8	1		8.83
jmc_quant	13			15600
jmc_quant_squaring	13			15600
k_branch_n	32	3		21946.19
k_branch_p	61		7	2524.36
k_d4_n	55	10		825.3
k_d4_p	28		5	40.64
k_dum_n	11	2		17.05
k_dum_p	25		4	288.65
k_grz_n	22	4		152.91
k_grz_p	21		3	40.87
k_lin_n	22	5		1333.39
k_lin_p	25		4	43.59
k_path_n	12	3		18.98
k_path_p	29		4	44.87
k_ph_n	30	6		905.27
k_ph_p	25		2	21882.21
k_poly_n	26	4		41.3
k_poly_p	11		2	17.95
k_t4p_n	26	4		467.74
k_t4p_p	41		5	212.03
Logn	10		1	61.28
mqm	483	21	69	263207.58
s1196	9			10293.57
s1269	8			9600
s27	11		1	15.84
s298	16	2		5520.34
s3330	21			15572.12
s386	8			9600
s499	13	1		8782.94
s510	14			13969.02
s713	13			14862.48
s820	8			9600
Sorting_networks	22	4	2	220.91
SzymanskiP	22		2	6880.17
term1	30	1	2	714.2
tipdiam	36	10	2	8204.75
tipfixpoint	74	3	9	46664.13
Toilet	21	3	1	40.87
ToiletA	17	5	5	36.92
ToiletC	39	15	8	100.32
ToiletG	27	4		29.14
VonNeumann	15		1	1730.75
z4ml	8		1	9.22

QBF Solver Evaluation Portal