ssolve-A results solving families

Family	# Total	# Sat	# Unsat	Time
Abduction	714	31	12	370975.24
Adder	201	7	2	97574.7
blackbox-01X-QBF	1084		204	378501.34
blackbox_design	131			78600
Blocks	102	2	3	36805.09
BMC	380	26	51	116004
C432	73	3	1	24025.62
C499	76	3	1	25812.47
C5315	86	2	1	35627.76
C6288	86	2		40259.41
C880	78	2		36229.12
Chain	87	12		16.55
circuits	141	1		82008.9
comp	28	4	4	1363.72
conformant_planning	124	4	1	58262.04
Counter	73	7		32427.99
Debug	182			109200
DFlipFlop	73		10	157.96
evader-pursuer-4x4-logarithmic	61	7		1670.23
evader-pursuer-4x4-standard	65			39000
evader-pursuer-6x6-logarithmic	74		5	25363.21
evader-pursuer-6x6-standard	77			46200
evader-pursuer-8x8-logarithmic	78		4	28177.44
FPGA_PLB_FIT_FAST	38	2	1	9601.01
FPGA_PLB_FIT_SLOW	25	1	2	1737.15
Impl	74	10		0.54
irqlkeapclte	269	1		159668.2
jmc_quant	49			29400
jmc_quant_squaring	118			70800
k_branch_n	116	5		54663.78
k_branch_p	127		4	71822.01
k_d4_n	101	13		31624.03
k_d4_p	95		21	115.68
k_dum_n	92	21		22.75
k_dum_p	92		21	48.49
k_grz_n	93	6		41078.79
k_grz_p	93		6	45444.23
k_lin_n	94	21		1817.46
k_lin_p	89		15	15051.69
k_path_n	93	21		63.78
k_path_p	94		21	79.62
k_ph_n	97	8		34315.21
k_ph_p	119		7	56462.98
k_poly_n	96	21		34.9
k_poly_p	85		21	23.79
k_t4p_n	96	21		3368.86
k_t4p_p	97		21	1094.74
Logn	19		2	92.68
MutexP	78	7		7.74
Qshifter	62	6		643.52
s1196	44			26400
s1269	84			50400
s27	36	1	3	3198.47
s298	93			55800
s3330	81			48600
s386	71			42600
s499	92			55200
s510	117			70200
s713	73			43800
s820	80			48000
Sorting_networks	433	7	9	233029.22
SzymanskiP	107		12	2855.75
term1	69	4	3	10219.77
terminator	872		4	519216.65
tipdiam	422	104	2	130962.05
tipfixpoint	846	19	15	467851
Toilet	33	5	3	28.94
Tree	87	5	9	0.61
uclid	30			18000
VonNeumann	75		10	1187.07
wmiforward	262	24		106346.95
z4ml	61	4	4	0.54

QBF Solver Evaluation Portal